Concur 2000 - Concurrency Theory: 11th International Conference, University Park, Pa, Usa, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science #1877) By Catuscia Palamidessi (Editor) Cover Image
By Catuscia Palamidessi (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Ultra-Low Voltage Nano-Scale Memories (Integrated Circuits and Systems) By Kiyoo Itoh (Editor), Masashi Horiguchi (Editor), Hitoshi Tanaka (Editor) Cover Image
By Kiyoo Itoh (Editor), Masashi Horiguchi (Editor), Hitoshi Tanaka (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization (Lecture Notes in Computer Science #2628) By Thomas Fahringer, Bernhard Scholz Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Defence Applications of Multi-Agent Systems: International Workshop, Damas 2005, Utrecht, the Netherlands, July 25, 2005, Revised and Invited Papers By Simon G. Thompson (Editor), Robert Ghanea-Hercock (Editor) Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Declarative Agent Languages and Technologies III: Third International Workshop, Dalt 2005, Utrecht, the Netherlands, July 25, 2005, Selected and Revis By Matteo Baldoni (Editor), Ulle Endriss (Editor), Andrea Omicini (Editor) Cover Image
By Matteo Baldoni (Editor), Ulle Endriss (Editor), Andrea Omicini (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Component-Based Software Engineering: 9th International Symposium, Cbse 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings By Ian Gorton (Editor), George T. Heinemann (Editor), Ivica Crnkovic (Editor) Cover Image
By Ian Gorton (Editor), George T. Heinemann (Editor), Ivica Crnkovic (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science #4111) By Frank S. De Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) Cover Image
By Frank S. De Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies By Marc-Phillipe Huget (Editor) Cover Image
By Marc-Phillipe Huget (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings By Franz Baader (Editor) Cover Image
By Franz Baader (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - Samos (Lecture Notes in Computer Science #2268) By Ed F. Deprettere (Editor), Stamatis Vassiliadis (Editor) Cover Image
By Ed F. Deprettere (Editor), Stamatis Vassiliadis (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Advances in Artificial Intelligence - Iberamia-Sbia 2006: 2nd International Joint Conference, 10th Ibero-American Conference on Ai, 18th Brazilian AI By Jaime Simao Sichman (Editor), Helder Coelho (Editor), Solange Oliveira Rezende (Editor) Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, Usa, Augus By Klaus Havelund (Editor), Manuel Núnez (Editor), Grigore Rosu (Editor) Cover Image
By Klaus Havelund (Editor), Manuel Núnez (Editor), Grigore Rosu (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!

Pages