Lecture Notes in Computer Science

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings by

Lecture Notes in Computer Science

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

384 pages • 1 edition

nonfiction computer science design mathematics medium-paced
Scale-Space Theories in Computer Vision: Second International Conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999, Proceedings by

Lecture Notes in Computer Science

Scale-Space Theories in Computer Vision: Second International Conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999, Proceedings

534 pages • 1 edition

nonfiction art computer science medium-paced
Intelligent Tutoring Systems: 7th International Conference, Its 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings by

Lecture Notes in Computer Science

Intelligent Tutoring Systems: 7th International Conference, Its 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings

920 pages • 1 edition

nonfiction computer science education technology informative medium-paced
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures by

Lecture Notes in Computer Science

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

212 pages • 1 edition

nonfiction computer science medium-paced
Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings by

Lecture Notes in Computer Science

Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings

404 pages • 1 edition

nonfiction computer science design mathematics medium-paced
Compiler Compilers and High Speed Compilation: 2nd Cchsc Workshop, Berlin, Gdr, October 10-14, 1988. Proceedings by

Lecture Notes in Computer Science

Compiler Compilers and High Speed Compilation: 2nd Cchsc Workshop, Berlin, Gdr, October 10-14, 1988. Proceedings

243 pages • 1 edition

nonfiction art computer science medium-paced
Euro-Par 2008 Workshops - Parallel Processing by

Lecture Notes in Computer Science

Euro-Par 2008 Workshops - Parallel Processing

462 pages • 1 edition

nonfiction computer science science medium-paced
Software Engineering - Esec/Fse '99: 7th European Software Engineering Conference Held Jointly with the 7th ACM Sigsoft Symposium on the Foundations o by

Lecture Notes in Computer Science

Software Engineering - Esec/Fse '99: 7th European Software Engineering Conference Held Jointly with the 7th ACM Sigsoft Symposium on the Foundations o

536 pages • 1 edition

nonfiction computer science technology medium-paced
Database Schema Evolution and Meta-Modeling: 9th International Workshop on Foundations of Models and Languages for Data and Objects Fomlado/Demm 2000 by

Lecture Notes in Computer Science

Database Schema Evolution and Meta-Modeling: 9th International Workshop on Foundations of Models and Languages for Data and Objects Fomlado/Demm 2000

250 pages • 1 edition

nonfiction computer science health informative medium-paced
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development by

Lecture Notes in Computer Science

Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development

225 pages • 1 edition

nonfiction computer science mathematics science medium-paced