2,020 results Refine Results
  1. 1
    Published 2004
    “...Lecture notes in computer science ;...”
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
  2. 2
    Published 2008
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday /
  3. 3
    Published 2006
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for hardware verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
  4. 4
    Published 2008
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Book
    Save to List
    Saved in:
    The common component modeling example comparing software component models /
  5. 5
    Published 2006
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Software engineering education in the modern age software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005 : revised lectures /
  6. 6
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    CLU reference manual /
  7. 7
    Published 1981
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings /
  8. 8
    by Milner, R. (Robin), 1934-
    Published 1980
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    A calculus of communicating systems /
  9. 9
    by Nijholt, Anton, 1946-
    Published 1980
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Context-free grammars : covers, normal forms, and parsing /
  10. 10
    by Dehning, Waltraud, 1952-
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    The adaptation of virtual man-computer interfaces to user requirements in dialogs /
  11. 11
    Published 1981
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
  12. 12
    Published 1981
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981 : proceedings /
  13. 13
    Published 1982
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980 /
  14. 14
    Published 1982
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
  15. 15
    Published 1985
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    The Munich Project CIP /
  16. 16
    by Thayse, Andre, 1940-
    Published 1984
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms /
  17. 17
    Published 1980
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  18. 18
    Published 1980
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : seventh Colloquium Noordwijkerhout, the Netherlands, July 14-18, 1980 /
  19. 19
    Published 1982
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /
  20. 20
    Published 1982
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics of Programs Workshop, Yorktown Heights, New York, May 1981 /

Search Tools: