Intelligent Systems and Soft Computing: Prospects, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540678373
Format: Paperback (357 pages) Publisher: Springer Published: 26 Jul 2000
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... Computer Science and General Issues)
ISBN 13: 9783642007675
Format: Paperback (456 pages) Publisher: Springer Published: 09 Mar 2009
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 (Lecture Notes in Computer Science)
ISBN 13: 9783540006244
Format: Paperback (427 pages) Publisher: Springer Published: 21 Feb 2003
Synchronous Equivalence: Formal Methods for Embedded Systems
by Harry Hsieh,Felice Balarin,Alberto L. Sangiovanni-Vincentelli
ISBN 13: 9780792372622
Format: Hardcover (136 pages) Publisher: Springer Published: 31 Dec 2000
Categories for Software Engineering
by Jose Luiz Fiadeiro
ISBN 13: 9783540209096
Format: Hardcover (250 pages) Publisher: Springer Published: 18 Oct 2004
Frontiers of Human-Centred Computing, Online Communities and Virtual Environments
ISBN 13: 9781852332389
Format: Hardcover (482 pages) Publisher: Springer Published: 26 Feb 2001
Managing the Change: Software Configuration and Change Management: Software Best Practice 2: v. 2
ISBN 13: 9783540417859
Format: Paperback (280 pages) Publisher: Springer Published: 23 Oct 2001
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings: 8th ... / Programming and Software Engineering)
ISBN 13: 9783540290100
Format: Paperback (722 pages) Publisher: Springer Published: 19 Sep 2005
New Frontiers in Artificial Intelligence: JSAI 2006 Conference andWorkshops: 4384 (Lecture Notes in Computer Science)
by Takashi Washio,Hideaki Takeda,Ken Satoh,Akihiro Inokuchi
ISBN 13: 9783540699019
Format: Paperback (416 pages) Publisher: Springer Berlin Heidelberg Published: 02 Jun 2010
Ajax in Oracle JDeveloper
by Deepak Vohra
ISBN 13: 9783540775959
Format: Paperback (224 pages) Publisher: Springer Published: 11 Mar 2008
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by Yves Bertot,Pierre Castéran
ISBN 13: 9783540208549
Format: Hardcover (500 pages) Publisher: Springer Published: 14 May 2004
Guide to Advanced Empirical Software Engineering
ISBN 13: 9781848000438
Format: Hardcover (388 pages) Publisher: Springer Published: 25 Oct 2007