You need to sign in or sign up before continuing.

Lecture Notes in Computer Science

Static Analysis: 10th International Symposium, SAS 2003, San Diego, Ca, Usa, June 11-13, 2003. Proceedings by

Lecture Notes in Computer Science

Static Analysis: 10th International Symposium, SAS 2003, San Diego, Ca, Usa, June 11-13, 2003. Proceedings

510 pages • 2 editions

nonfiction computer science design medium-paced
String Processing and Information Retrieval: 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings by

Lecture Notes in Computer Science

String Processing and Information Retrieval: 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings

406 pages • 7 editions

nonfiction computer science science
Research in Cryptology: 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers by

Lecture Notes in Computer Science

Research in Cryptology: 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers

150 pages • 1 edition

nonfiction computer science mathematics medium-paced
Information Hiding: Second International Workshop, Ih'98, Portland, Oregon, Usa, April 14-17, 1998, Proceedings by

Lecture Notes in Computer Science

Information Hiding: Second International Workshop, Ih'98, Portland, Oregon, Usa, April 14-17, 1998, Proceedings

369 pages • 1 edition

nonfiction computer science health science
Algorithmic Number Theory: 6th International Symposium, Ants-VI, Burlington, Vt, Usa, June 13-18, 2004, Proceedings by

Lecture Notes in Computer Science

Algorithmic Number Theory: 6th International Symposium, Ants-VI, Burlington, Vt, Usa, June 13-18, 2004, Proceedings

456 pages • 1 edition

nonfiction computer science mathematics science informative medium-paced
Interval Mathematics: Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975 by

Lecture Notes in Computer Science

Interval Mathematics: Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975

335 pages • 1 edition

nonfiction computer science science medium-paced
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28 by

Lecture Notes in Computer Science

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28

312 pages • 1 edition

nonfiction computer science mathematics medium-paced
Algebraic Methods II: Theory, Tools and Applications by

Lecture Notes in Computer Science

Algebraic Methods II: Theory, Tools and Applications

436 pages • 1 edition

nonfiction computer science design medium-paced
25 Years of Model Checking: History, Achievements, Perspectives by

Lecture Notes in Computer Science

25 Years of Model Checking: History, Achievements, Perspectives

230 pages • 3 editions

nonfiction computer science design medium-paced
Numerical Methods and Applications: 5th International Conference, Nma 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers by

Lecture Notes in Computer Science

Numerical Methods and Applications: 5th International Conference, Nma 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers

580 pages • 1 edition

nonfiction business computer science mathematics informative reflective medium-paced