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
Save for later
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
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by Yves Bertot,Pierre Castéran
ISBN 13: 9783540208549
Format: Hardcover (500 pages) Publisher: Springer Published: 14 May 2004
Guide to Advanced Empirical Software Engineering
by
ISBN 13: 9781848000438
Format: Hardcover (388 pages) Publisher: Springer Published: 25 Oct 2007
Software Product Management and Pricing: Key Success Factors for Software Organizations
by Hans-Bernd Kittlaus,Peter N. Clough
ISBN 13: 9783540769866
Format: Hardcover (231 pages) Publisher: Springer Published: 15 Jan 2009
Spoken Dialogue Systems Technology and Design
ISBN 13: 9781441979339
Format: Hardcover (277 pages) Publisher: Springer Published: 25 Nov 2010
The Semantic Web - ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642177484
Format: Paperback (373 pages) Publisher: Springer Published: 04 Jan 2011
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
ISBN 13: 9780857291325
Format: Paperback (315 pages) Publisher: Springer Published: 15 Dec 2010
Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems (Lecture ... Networks and Telecommunications)
ISBN 13: 9783642175985
Format: Paperback (374 pages) Publisher: Springer Published: 09 Dec 2010
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540251088
Format: Paperback (684 pages) Publisher: Springer Published: 04 Mar 2005
Sketch-based Interfaces and Modeling
ISBN 13: 9781848828117
Format: Hardcover (386 pages) Publisher: Springer Published: 16 Dec 2010
Culture and Computing: Computing and Communication for Crosscultural Interaction (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642171833
Format: Paperback (229 pages) Publisher: Springer Published: 16 Nov 2010