Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)
by
ISBN 13: 9783540697350
Format: Paperback (395 pages) Publisher: Springer Published: 03 Jan 2007
Save for later
Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642031373
Format: Paperback (342 pages) Publisher: Springer Published: 13 Jul 2009 Other Format: Paperback
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010