Lecture Notes in Computer Science

Lectures on Proof Verification and Approximation Algorithms by

Lecture Notes in Computer Science

Lectures on Proof Verification and Approximation Algorithms

348 pages • 1 edition

nonfiction computer science mathematics informative medium-paced
Handheld and Ubiquitous Computing: Second International Symposium, Huc 2000 Bristol, Uk, September 25-27, 2000 Proceedings by

Lecture Notes in Computer Science

Handheld and Ubiquitous Computing: Second International Symposium, Huc 2000 Bristol, Uk, September 25-27, 2000 Proceedings

248 pages • 1 edition

nonfiction computer science health informative reflective medium-paced
Approximation and Online Algorithms: Second International Workshop, Waoa 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers by

Lecture Notes in Computer Science

Approximation and Online Algorithms: Second International Workshop, Waoa 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

294 pages • 1 edition

nonfiction computer science mathematics science informative medium-paced
Scalability of Networks and Services by

Lecture Notes in Computer Science

Scalability of Networks and Services

210 pages • 1 edition

nonfiction computer science informative reflective medium-paced
Computing and Combinatorics: 9th Annual International Conference, Cocoon 2003, Big Sky, Mt, Usa, July 25-28, 2003, Proceedings by

Lecture Notes in Computer Science

Computing and Combinatorics: 9th Annual International Conference, Cocoon 2003, Big Sky, Mt, Usa, July 25-28, 2003, Proceedings

566 pages • 1 edition

nonfiction computer science science medium-paced
Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume by

Lecture Notes in Computer Science

Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume

336 pages • 2 editions

nonfiction computer science design medium-paced
Automata, Languages, and Programming: 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (Eatcs Sign). Proceedings by

Lecture Notes in Computer Science

Automata, Languages, and Programming: 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (Eatcs Sign). Proceedings

530 pages • 1 edition

nonfiction computer science design mathematics science medium-paced
Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings by

Lecture Notes in Computer Science

Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings

788 pages • 1 edition

nonfiction art computer science mathematics science medium-paced
Financial Cryptography: 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000 Proceedings by

Lecture Notes in Computer Science

Financial Cryptography: 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000 Proceedings

384 pages • 1 edition

nonfiction business computer science economics health science informative medium-paced
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Time by

Lecture Notes in Computer Science

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Time

402 pages • 2 editions

nonfiction computer science science