Book serie: / Книги серии: Lecture Notes in Computer Science 229 » Page 1908 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 229 » Page 1908

book Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings

Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings

djvu

Author: Jacques Calmet (eds.)
Language: English
Year: 1986

00

26.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

pdf

Author: Cinzia Bernardeschi Nicoletta De Francesco (auth.) Agostino Cortesi (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings

STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings

djvu

Author: Eric Allender Richard Beigel Ulrich Hertrampf Steven Homer (auth.) Christian Choffrut Thomas Lengauer (eds.)
Language: English
Year: 1990

00

26.01.2024

1

0

book Algorithm Engineering: 3rd International Workshop, WAE’99 London, UK, July 19–21, 1999 Proceedings

Algorithm Engineering: 3rd International Workshop, WAE’99 London, UK, July 19–21, 1999 Proceedings

pdf

Author: Andrew V. Goldberg (auth.) Jeffrey S. Vitter Christos D. Zaroliagis (eds.)
Language: English
Year: 1999

00

26.01.2024

2

0

book EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures

EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures

djvu

Author: B. F. Caviness (auth.) Bruno Buchberger (eds.)
Language: English
Year: 1985

00

26.01.2024

0

0

book Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings

Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings

djvu

Author: A. Ehrenfeucht T. Harju G. Rozenberg (auth.) Zoltán Fülöp Ferenc Gécseg (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

pdf

Author: Yonit Kesten Amir Pnueli Li-on Raviv (auth.) Kim G. Larsen Sven Skyum Glynn Winskel (eds.)
Language: English
Year: 1998

00

26.01.2024

2

0

book Fundamentals of Computation Theory: 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings

Fundamentals of Computation Theory: 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings

pdf

Author: Marek Karpinski (auth.) Gabriel Ciobanu Gheorghe Păun (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings

Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings

pdf

Author: Jose L. Balcázar Philip M. Long Frank Stephan (auth.) José L. Balcázar Philip M. Long Frank Stephan (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Advances in Cryptology: Proceedings of CRYPTO 84

Advances in Cryptology: Proceedings of CRYPTO 84

djvu

Author: S C Serpell C B Brookson B L Clark (auth.) George Robert Blakley David Chaum (eds.)
Language: English
Year: 1985

00

26.01.2024

0

0