Correct Systems: Building a Business Process Solution (Applied Computing)
by Mike Holcombe, Florentin Ipate
ISBN 13: 9783540762461
Format: Paperback (206 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Sep 1998
Save for later
Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC
by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi
ISBN 13: 9781420044713
Format: Hardcover (288 pages) Publisher: CRC Press Published: 17 Sep 2008
Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... 5734 (Lecture Notes in Computer Science)
by Rastislav Kralovic,Damian Niwinski
ISBN 13: 9783642038150
Format: Illustrated (780 pages) Publisher: Springer Published: 06 Aug 2009
Practical SGML
by Eric van Herwijnen
ISBN 13: 9780792394341
Format: Illustrated (312 pages) Publisher: Springer Published: 30 Apr 1994
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9781848820319
Format: Illustrated (171 pages) Publisher: Springer Published: 13 Mar 2009
Three-dimensional Integrated Circuit Design (Systems on Silicon)
by Vasilis F. Pavlidis
ISBN 13: 9780123743435
Format: Illustrated (326 pages) Publisher: Morgan Kaufmann Published: 06 Nov 2008
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)
by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque
ISBN 13: 9783642117961
Format: Paperback (163 pages) Publisher: Springer Published: 18 Feb 2010
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)
by
ISBN 13: 9783540009139
Format: Paperback (558 pages) Publisher: Springer Published: 18 Mar 2003
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)
ISBN 13: 9783540430759
Format: Paperback (548 pages) Publisher: Springer Published: 14 Dec 2001 Other Format: Paperback
Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540754138
Format: Paperback (291 pages) Publisher: Springer Published: 14 Dec 2007