Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540773948
Format: Paperback (215 pages) Publisher: Springer Published: 12 Dec 2007
Save for later
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... (Lecture Notes in Computer Science)
ISBN 13: 9783540671022
Format: Paperback (540 pages) Publisher: Springer Published: 26 Jan 2000 Other Format: Paperback
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783540711551
Format: Paperback (317 pages) Publisher: Springer Published: 28 Feb 2007
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540749639
Format: Paperback (248 pages) Publisher: Springer Published: 28 Aug 2007
Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540776833
Format: Paperback (397 pages) Publisher: Springer Published: 29 Jan 2008
Bioinformatics Research and Applications: Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783540794493
Format: Paperback (510 pages) Publisher: Springer Published: 25 Apr 2008
Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540682646
Format: Paperback (347 pages) Publisher: Springer Published: 27 May 2008
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings: 6009 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642122507
Format: Paperback (366 pages) Publisher: Springer Published: 09 Apr 2010
Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540773504
Format: Paperback (281 pages) Publisher: Springer Published: 13 Dec 2007
REST in Practice: Hypermedia and Systems Architecture
by Jim Webber,Savas Parastatidis,Ian Robinson
ISBN 13: 9780596805821
Format: Paperback (448 pages) Publisher: O'Reilly Media Published: 17 Sep 2010
Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)
by Jim Smith,Ravi Nair
ISBN 13: 9781558609105
Format: Hardcover (656 pages) Publisher: Morgan Kaufmann Published: 12 Jul 2005
Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642116582
Format: Paperback (283 pages) Publisher: Springer Published: 08 Feb 2010