Lecture Notes in Computer Science

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

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

Lecture Notes in Computer Science

384 pages • paperback

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

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

Lecture Notes in Computer Science

534 pages • paperback

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

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

Lecture Notes in Computer Science

920 pages • paperback

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

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

Lecture Notes in Computer Science

212 pages • paperback

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

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

Lecture Notes in Computer Science

404 pages • paperback

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

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

Lecture Notes in Computer Science

243 pages • paperback

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

Euro-Par 2008 Workshops - Parallel Processing

Lecture Notes in Computer Science

462 pages • paperback

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

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

Lecture Notes in Computer Science

536 pages • paperback

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

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

Lecture Notes in Computer Science

250 pages • paperback

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

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

Lecture Notes in Computer Science

225 pages • paperback

nonfiction computer science mathematics science medium-paced