Тема, жанр, tags: Computer Science general,Combinatorics,Probability Theory and Stochastic Processes,Geometry,Order La » Page 295 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science general,Combinatorics,Probability Theory and Stochastic Processes,Geometry,Order La » Page 295

book From Combinatorics to Philosophy

From Combinatorics to Philosophy

pdf

Author: Ester Gasperoni Rota (auth.) Ernesto Damiani Ottavio D’Antona Vincenzo Marra Fabrizio Palombi (eds.)
Language: English
Year: 2009

00

26.01.2024

3

0

book Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

djvu

Author: Egidio Astesiano Gerardo Costa (auth.) Hermann A. Maurer (eds.)
Language: English-French
Year: 1979

00

26.01.2024

0

0

book STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings

STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings

pdf

Author: Victor Vianu (auth.) Helmut Alt Michel Habib (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book Public Key Cryptography — PKC 2003: 6th International Workshop on Practice and Theory in Public Key Cryptography Miami, FL, USA, January 6–8, 2003 Proceedings

Public Key Cryptography — PKC 2003: 6th International Workshop on Practice and Theory in Public Key Cryptography Miami, FL, USA, January 6–8, 2003 Proceedings

pdf

Author: Yevgeniy Dodis (auth.) Yvo G. Desmedt (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

pdf

Author: V. Michele Abrusci (auth.) Marta Cialdea Mayer Fiora Pirri (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Algorithmic Learning Theory: 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings

Algorithmic Learning Theory: 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings

pdf

Author: Nicolò Cesa-Bianchi Masayuki Numao Rüdiger Reischuk (eds.)
Language: English
Year: 2002

00

26.01.2024

3

0

book Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

pdf

Author: Joshua D. Guttman (auth.) Bernhard Steffen Giorgio Levi (eds.)
Language: English
Year: 2004

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 Advances in Cryptology — EUROCRYPT ’97: International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11–15, 1997 Proceedings

Advances in Cryptology — EUROCRYPT ’97: International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11–15, 1997 Proceedings

djvu

Author: Johan Borst Lars R. Knudsen Vincent Rijmen (auth.) Walter Fumy (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977

Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977

djvu

Author: Alfred V. Aho Ravi Sethi (auth.) Arto Salomaa Magnus Steinby (eds.)
Language: English
Year: 1977

00

26.01.2024

0

0