Lecture Notes in Computer Science

Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice by

Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice

Lecture Notes in Computer Science

513 pages • paperback

nonfiction computer science mathematics science medium-paced
Advanced Functional Programming: 4th International School, Afp 2002, Oxford, Uk, August 19-24, 2002, Revised Lectures by

Advanced Functional Programming: 4th International School, Afp 2002, Oxford, Uk, August 19-24, 2002, Revised Lectures

Lecture Notes in Computer Science

216 pages • paperback

nonfiction computer science design medium-paced
Parameterized and Exact Computation: 6th International Symposium, Ipec 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers by

Parameterized and Exact Computation: 6th International Symposium, Ipec 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

Lecture Notes in Computer Science

271 pages • paperback

nonfiction computer science science medium-paced
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 2009, Proceedings by

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 2009, Proceedings

Lecture Notes in Computer Science

510 pages • paperback

nonfiction computer science mathematics science challenging informative medium-paced
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
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
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
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
New Trends in Neural Computation: International Workshop on Artificial Neural Networks, Iwann'93, Sitges, Spain, June 9-11, 1993. Proceedings by

New Trends in Neural Computation: International Workshop on Artificial Neural Networks, Iwann'93, Sitges, Spain, June 9-11, 1993. Proceedings

Lecture Notes in Computer Science

754 pages • paperback

nonfiction computer science