Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
Architecture of Computing Systems - Arcs 2017: 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings 2017 Edition (Lecture Notes in Computer Science)Knoop, JensPaperback3319549987 /
9783319549989
03/2017$52.24
Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Softwa (Lecture Notes in Computer Science)Knoop, JensPaperback3642198600 /
9783642198601
03/2011$52.24
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of 2012 Edition (Communications in Computer and Information Science)Hähnle, ReinerPaperback3642347800 /
9783642347801
10/2012$52.24
Optimal Interprocedural Program Optimization: A New Framework and Its Application 1998 Edition (Lecture Notes in Computer Science)Knoop, JensPaperback3540651233 /
9783540651239
09/1998$52.24
  (4 items found)