Specification of Software Systems (Texts in Computer Science)
by V.S. Alagar,K. Periyasamy
ISBN 13: 9780857292766
Format: Hardcover (669 pages) Publisher: Springer Published: 28 Mar 2011
Save for later
Mining Software Specifications: Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
by
ISBN 13: 9781439806265
Format: Hardcover (460 pages) Publisher: CRC Press Published: 17 Jun 2011
A Theory of Computer Semiotics: Semiotic Approaches to Construction and Assessment of Computer Systems: 3 (Cambridge Series on Human-Computer Interaction, Series Number 3)
by Peter Bøgh Andersen
ISBN 13: 9780521393362
Format: Hardcover (458 pages) Publisher: Cambridge University Press Published: 25 Jan 1991
Advanced Simulation and Test Methodologies for VLSI Design (Reading Women Writing)
by Gordon Russell,Ian L. Sayers,I. L. Sayers
ISBN 13: 9780747600015
Format: Illustrated (396 pages) Publisher: Springer Published: 28 Feb 1989
Fundamentals of Information Theory and Coding Design (Discrete Mathematics and Its Applications)
by Roberto Togneri,Christopher J.S deSilva
ISBN 13: 9781584883104
Format: Hardcover (385 pages) Publisher: Chapman and Hall/CRC Published: 13 Jan 2003
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
Multi-Agent-Based Simulation XI: International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642183447
Format: Paperback (177 pages) Publisher: Springer Published: 14 Jan 2011
Biologically Inspired Cooperative Computing: IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired ... in Information and Communication Technology)
ISBN 13: 9780387346328
Format: Hardcover (220 pages) Publisher: Springer Published: 11 Sep 2006
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
Real-Time Embedded Systems: Optimization, Control, and Networking
by Meikang Qiu,Jiayin Li
ISBN 13: 9781439817605
Format: Hardcover (231 pages) Publisher: CRC Press Published: 29 Jun 2011
Discrete Structures with Contemporary Applications
by Alexander Stanoyevitch
ISBN 13: 9781439817681
Format: Hardcover (1002 pages) Publisher: Chapman and Hall/CRC Published: 25 Jan 2011