Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... Computer Science and General Issues)
by
ISBN 13: 9783642205507
Format: Paperback (259 pages) Publisher: Springer Published: 02 May 2011
Save for later
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642209192
Format: Paperback (321 pages) Publisher: Springer Published: 02 May 2011
Transactions of Computational Collective Intelligence IV (Lecture Notes in Computer Science / Transactions on Computational Collective Intelligence)
ISBN 13: 9783642218835
Format: Paperback (220 pages) Publisher: Springer Published: 22 Jun 2011
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642203978
Format: Paperback (536 pages) Publisher: Springer Published: 06 Apr 2011
Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642212215
Format: Paperback (519 pages) Publisher: Springer Published: 16 May 2011 Other Format: Paperback
Software Engineering and Computer Systems, Part III: Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, ... in Computer and Information Science)
ISBN 13: 9783642222023
Format: Paperback (846 pages) Publisher: Springer Published: 22 Jun 2011
Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers ... Computer Science and General Issues)
ISBN 13: 9783642222559
Format: Paperback (312 pages) Publisher: Springer Published: 05 Jul 2011
Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642216565
Format: Paperback (711 pages) Publisher: Springer Published: 24 Jun 2011 Other Format: Paperback
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
by Steven S. Skiena, Miguel A. Revilla
ISBN 13: 9780387001630
Format: Paperback (368 pages) Publisher: Springer Published: 14 May 2003
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Compilation Techniques for Reconfigurable Architectures
by João M.P. Cardoso,Pedro C. Diniz
ISBN 13: 9780387096704
Format: Illustrated (236 pages) Publisher: Springer Published: 26 Nov 2008
Living with the Chip
by T. Makimoto,D. Manners
ISBN 13: 9780412616907
Format: Paperback (224 pages) Publisher: Springer Published: 30 Nov 1994