Showing 1 - 20 results of 213 for search '', query time: 0.23s Refine Results
  1. 1
    Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
    Published 1980
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    First-order dynamic logic /
    by Harel, David, 1950-
    Published 1979
    Connect to the full text of this electronic book
    eBook
  3. 3
    A Concurrent PASCAL compiler for minicomputers /
    by Hartmann, Alfred C., 1948-
    Published 1977
    Connect to the full text of this electronic book
    eBook
  4. 4
    ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
    Published 1986
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 5
    Simple program schemes and formal languages /
    by Engelfriet, Joost
    Published 1974
    Connect to the full text of this electronic book
    eBook
  6. 6
    Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
    Published 1975
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 /
    Published 1976
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 8
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
    Published 1994
    Connect to the full text of this electronic book
    eBook
  9. 9
    Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /
    Published 1994
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings /
    Published 1994
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 11
    Constraint processing : selected papers /
    Published 1995
    Connect to the full text of this electronic book
    eBook
  12. 12
    Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /
    Published 1995
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  13. 13
    Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
    Published 1995
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Published 1995
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    Towards evolvable hardware : the evolutionary engineering approach /
    Published 1996
    Connect to the full text of this electronic book
    eBook
  16. 16
    Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
    Published 1996
    Connect to the full text of this electronic book
    eBook
  17. 17
    Formal methods for industrial applications : specifying and programming the steam boiler control /
    Published 1996
    Connect to the full text of this electronic book
    eBook
  18. 18
    Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  19. 19
    Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
    Published 1997
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 20
    Optimal interprocedural program optimization : a new framework and its application /
    by Knoop, Jens
    Published 1998
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search