Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)
by Eerke A. Boiten,Bernhard Möller
ISBN 13: 9783540438571
Format: Paperback (273 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz
by Sekharipuram S. Ravi, Sandeep K. Shukla
ISBN 13: 9781402096877
Format: Hardcover (518 pages) Publisher: Springer Published: 15 Apr 2009
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)
by ZhiWu Li, MengChu Zhou
ISBN 13: 9781848822436
Format: Hardcover (239 pages) Publisher: Springer Published: 04 Mar 2009
New Trends on Human-Computer Interaction: Research, Development, New Tools and Methods
by Macías
ISBN 13: 9781848823518
Format: Illustrated (176 pages) Publisher: Springer Published: 10 Mar 2009
Euro-Par 2006 Workshops: Parallel Processing: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, ... 4375 (Lecture Notes in Computer Science)
by Wolfgang Lehner
ISBN 13: 9783540722267
Format: Paperback (356 pages) Publisher: Springer Published: 11 Jul 2007
Enterprise Service Oriented Architectures: Concepts, Challenges, Recommendations (The Enterprise Series)
by James McGovern,Oliver Sims,Ashish Jain,Mark Little
ISBN 13: 9781402037047
Format: Hardcover (408 pages) Publisher: Springer Published: 20 Mar 2006
HPC@Green IT: Green High Performance Computing Methods
by Ralf Gruber,Vincent Keller
ISBN 13: 9783642017889
Format: Hardcover (215 pages) Publisher: Springer Published: 24 Mar 2010
The Turn: Integration of Information Seeking and Retrieval in Context (The Information Retrieval Series)
by Peter Ingwersen,Kalervo Järvelin
ISBN 13: 9781402038501
Format: Hardcover (448 pages) Publisher: Springer Published: 24 Aug 2005
Systems and Software Verification: Model-Checking Techniques and Tools
by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen
ISBN 13: 9783540415237
Format: Hardcover (196 pages) Publisher: Springer Published: 20 Jun 2001
Rightshore!: Successfully Industrialize SAP® Projects Offshore
by
ISBN 13: 9783540772873
Format: Hardcover (292 pages) Publisher: Springer Published: 11 Feb 2008
Inhabited Information Spaces: Living with your Data (Computer Supported Cooperative Work)
by David N. Snowdon,Elizabeth F. Churchill,Emmanuel Frecon
ISBN 13: 9781852337285
Format: Paperback (329 pages) Publisher: Springer Published: 15 Jan 2004
Eye Tracking Methodology: Theory and Practice
by Andrew Duchowski
ISBN 13: 9781846286087
Format: Paperback (334 pages) Publisher: Springer Published: 14 Aug 2007