Buy Used and New Software Design, Testing & Engineering Books

Research and Advanced Technology for Digital Libraries: 13th European Conference. ECDL 2009, Corfu, Greece, September 27 - October 2, 2009, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642043451

Format: Paperback (497 pages)
Publisher: Springer
Published: 15 Sep 2009

Save for later

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783642043673

Format: Paperback (291 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September ... / Programming and Software Engineering)

by

ISBN 13: 9783642046353

Format: Paperback (813 pages)
Publisher: Springer
Published: 15 Sep 2009

Save for later

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642046933

Format: Paperback (203 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783642047602

Format: Paperback (414 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later

Active Media Technology: 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642048746

Format: Paperback (530 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later

Ambient Intelligence: European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642054075

Format: Paperback (288 pages)
Publisher: Springer
Published: 05 Nov 2009

Save for later

Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642113543

Format: Paperback (263 pages)
Publisher: Springer
Published: 17 Feb 2010

Save for later

Functional Approach to Programming

by Guy Cousineau

ISBN 13: 9780521576819

Format: Paperback (460 pages)
Publisher: Cambridge University Press
Published: 29 Oct 1998

Save for later

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers ... / Programming and Software Engineering)

by

ISBN 13: 9783642116223

Format: Paperback (471 pages)
Publisher: Springer
Published: 27 Jan 2010

Save for later

Biomedical Engineering Systems and Technologies: International Joint Conference, BIOSTEC 2009, Porto, Portugal, January 14-17, 2009, Revised Selected ... in Computer and Information Science)

by

ISBN 13: 9783642117206

Format: Paperback (420 pages)
Publisher: Springer
Published: 25 Feb 2010

Save for later

RoboCup 2009: Robot Soccer World Cup XIII (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642118753

Format: Paperback (460 pages)
Publisher: Springer
Published: 19 Feb 2010

Save for later