Lecture Notes in Computer Science

Prospects for Hardware Foundations: Esprit Working Group 8533 NADA -- New Hardware Design Methods Survey Chapters by

Prospects for Hardware Foundations: Esprit Working Group 8533 NADA -- New Hardware Design Methods Survey Chapters

Lecture Notes in Computer Science

470 pages • paperback

nonfiction computer science design health
Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings by

Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings

Lecture Notes in Computer Science

530 pages • paperback

nonfiction computer science mathematics science medium-paced
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings by

Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings

Lecture Notes in Computer Science

378 pages • paperback

nonfiction art computer science design technology informative medium-paced
Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings by

Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Lecture Notes in Computer Science

493 pages • paperback

nonfiction computer science design mathematics medium-paced
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, by

Bio-Inspired Systems: Computational and Ambient Intelligence: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca,

Lecture Notes in Computer Science

1356 pages • paperback

nonfiction computer science science technology
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 200 by

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 200

Lecture Notes in Computer Science

572 pages • paperback

nonfiction computer science design medium-paced
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, Gdr, April by

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, Gdr, April

Lecture Notes in Computer Science

248 pages • paperback

nonfiction computer science
Evolutionary Optimization by

Evolutionary Optimization

Lecture Notes in Computer Science

418 pages • hardcover

nonfiction business computer science economics health science medium-paced
DNA Computing: 9th International Workshop on DNA Based Computers, Dna9, Madison, Wi, Usa, June 1-3, 2003, Revised Papers by

DNA Computing: 9th International Workshop on DNA Based Computers, Dna9, Madison, Wi, Usa, June 1-3, 2003, Revised Papers

Lecture Notes in Computer Science

212 pages • paperback

nonfiction computer science science informative medium-paced
Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings by

Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings

Lecture Notes in Computer Science

470 pages • paperback

nonfiction computer science science medium-paced