Lecture Notes in Computer Science

Towards a Formal Description of ADA by

Lecture Notes in Computer Science

Towards a Formal Description of ADA

630 pages • 1 edition

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

Lecture Notes in Computer Science

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

412 pages • 1 edition

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

Lecture Notes in Computer Science

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

534 pages • 1 edition

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

Lecture Notes in Computer Science

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

271 pages • 1 edition

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

Lecture Notes in Computer Science

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

931 pages • 2 editions

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

Lecture Notes in Computer Science

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

316 pages • 1 edition

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

Lecture Notes in Computer Science

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

912 pages • 1 edition

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

Lecture Notes in Computer Science

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

550 pages • 1 edition

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

Lecture Notes in Computer Science

Engineering Interactive Systems 2008

306 pages • 1 edition

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

Lecture Notes in Computer Science

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

379 pages • 1 edition

nonfiction computer science mathematics science informative medium-paced