Lecture Notes in Computer Science

Towards a Formal Description of ADA by

Towards a Formal Description of ADA

Lecture Notes in Computer Science

630 pages • paperback

nonfiction computer science medium-paced
Coordination Models and Languages: 5th International Conference, Coordination 2002, York, Uk, April 8-11, 2002 Proceedings by

Coordination Models and Languages: 5th International Conference, Coordination 2002, York, Uk, April 8-11, 2002 Proceedings

Lecture Notes in Computer Science

412 pages • paperback

nonfiction computer science informative medium-paced
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language by

Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Lecture Notes in Computer Science

534 pages • paperback

nonfiction computer science design informative medium-paced
Modelling and Motion Capture Techniques for Virtual Environments: International Workshop, Captech'98, Geneva, Switzerland, November 26-27, 1998, Proce by

Modelling and Motion Capture Techniques for Virtual Environments: International Workshop, Captech'98, Geneva, Switzerland, November 26-27, 1998, Proce

Lecture Notes in Computer Science

271 pages • paperback

nonfiction art computer science health informative medium-paced
Euro-Par'96 - Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II by

Euro-Par'96 - Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II

Lecture Notes in Computer Science

931 pages • paperback

nonfiction computer science medium-paced
Parallel Image Analysis: Second International Conference, Icpia '92, Ube, Japan, December 21-23, 1992. Proceedings by

Parallel Image Analysis: Second International Conference, Icpia '92, Ube, Japan, December 21-23, 1992. Proceedings

Lecture Notes in Computer Science

316 pages • paperback

nonfiction computer science medium-paced
Human-Computer Interaction. Novel Interaction Methods and Techniques: 13th International Conference, Hci International 2009, San Diego, Ca, Usa, July by

Human-Computer Interaction. Novel Interaction Methods and Techniques: 13th International Conference, Hci International 2009, San Diego, Ca, Usa, July

Lecture Notes in Computer Science

912 pages • paperback

nonfiction computer science technology informative medium-paced
Object-Oriented Information Systems: 8th International Conference, Oois 2002, Montpellier, France, September 2-5, 2002, Proceedings by

Object-Oriented Information Systems: 8th International Conference, Oois 2002, Montpellier, France, September 2-5, 2002, Proceedings

Lecture Notes in Computer Science

550 pages • paperback

nonfiction computer science technology informative medium-paced
Engineering Interactive Systems 2008 by

Engineering Interactive Systems 2008

Lecture Notes in Computer Science

306 pages • paperback

nonfiction computer science design informative medium-paced
Applying Formal Methods: Testing, Performance, and M/E-Commerce: Forte 2004 Workshops the Formemc, Epew, Itm, Toledo, Spain, October 1-2, 2004 by

Applying Formal Methods: Testing, Performance, and M/E-Commerce: Forte 2004 Workshops the Formemc, Epew, Itm, Toledo, Spain, October 1-2, 2004

Lecture Notes in Computer Science

379 pages • paperback

nonfiction computer science mathematics science informative medium-paced