3,118 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 2004
    “...Lecture notes in computer science ;...”
    Connect to electronic version
    Book
    Save to List
    Saved in:
    Performance tools and applications to networked systems : revised tutorial lectures /
  3. 3
    Published 2005
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Reasoning web first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures /
  4. 4
    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 /
  5. 5
    Published 2007
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Reasoning web third international summer school 2007, Dresden, Germany, September 3-7, 2007 : tutorial lectures /
  6. 6
    by Stańczak, Sławomir
    Published 2006
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Resource allocation in wireless networks theory and algorithms /
  7. 7
    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 /
  8. 8
    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 /
  9. 9
    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 /
  10. 10
    Published 2006
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Reasoning Web second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures /
  11. 11
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    CLU reference manual /
  12. 12
    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 /
  13. 13
    by Milner, R. (Robin), 1934-
    Published 1980
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    A calculus of communicating systems /
  14. 14
    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 /
  15. 15
    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 /
  16. 16
    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 /
  17. 17
    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 /
  18. 18
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Digital image processing systems /
  19. 19
    Published 1984
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Methods and tools for computer integrated manufacturing /
  20. 20
    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 /

Search Tools: