Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)
by
ISBN 13: 9783540921875
Format: Paperback (313 pages) Publisher: Springer Published: 01 Dec 2008
Save for later
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540852377
Format: Paperback (626 pages) Publisher: Springer Published: 12 Aug 2008
Mining Software Specifications: Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
ISBN 13: 9781439806265
Format: Hardcover (460 pages) Publisher: CRC Press Published: 17 Jun 2011
Advances in Neural Networks -- ISNN 2011: 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings, ... Computer Science and General Issues)
ISBN 13: 9783642210891
Format: Paperback (668 pages) Publisher: Springer Published: 10 May 2011
Foundations on Natural and Artificial Computation: 4th International Work-conference on the Interplay Between Natural and Artificial Computation, ... Computer Science and General Issues)
ISBN 13: 9783642213434
Format: Paperback (591 pages) Publisher: Springer Published: 20 May 2011
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002
Discrete Structures with Contemporary Applications
by Alexander Stanoyevitch
ISBN 13: 9781439817681
Format: Hardcover (1002 pages) Publisher: Chapman and Hall/CRC Published: 25 Jan 2011
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, ... Computer Science and General Issues)
ISBN 13: 9783540454588
Format: Paperback (639 pages) Publisher: Springer Published: 20 Sep 2006
ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540279921
Format: Paperback (648 pages) Publisher: Springer Published: 18 Jul 2005
Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540278283
Format: Paperback (328 pages) Publisher: Springer Published: 19 Jul 2005
Advanced Lectures on Machine Learning: Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures (Lecture Notes in Computer Science)
ISBN 13: 9783540005292
Format: Paperback (268 pages) Publisher: Springer Published: 31 Jan 2003
Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings ... / Programming and Software Engineering)
ISBN 13: 9783540262770
Format: Paperback (346 pages) Publisher: Springer Published: 13 Jun 2005