Тема, жанр, tags: Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Symbolic and Algeb » Page 575 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Symbolic and Algeb » Page 575

book Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

djvu

Author: R. N. Fedorova V. P. Gerdt N. N. Govorun V. P. Shirikov (auth.) James H. Davenport (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Topics in Cryptology — CT-RSA 2002: The Cryptographers’ Track at the RSA Conference 2002 San Jose, CA, USA, February 18–22, 2002 Proceedings

Topics in Cryptology — CT-RSA 2002: The Cryptographers’ Track at the RSA Conference 2002 San Jose, CA, USA, February 18–22, 2002 Proceedings

pdf

Author: Burton S. Kaliski Jr. (auth.) Bart Preneel (eds.)
Language: English
Year: 2002

00

26.01.2024

1

0

book Graph-Theoretic Concepts in Computer Science: 29th International Workshop, WG 2003. Elspeet, The Netherlands, June 19-21, 2003. Revised Papers

Graph-Theoretic Concepts in Computer Science: 29th International Workshop, WG 2003. Elspeet, The Netherlands, June 19-21, 2003. Revised Papers

pdf

Author: Michael R. Fellows (auth.) Hans L. Bodlaender (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Progress in Cryptology - INDOCRYPT 2006: 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings

Progress in Cryptology - INDOCRYPT 2006: 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings

pdf

Author: James L. Massey (auth.) Rana Barua Tanja Lange (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Orders, Algorithms, and Applications: International Workshop ORDAL '94 Lyon, France, July 4–8, 1994 Proceedings

Orders, Algorithms, and Applications: International Workshop ORDAL '94 Lyon, France, July 4–8, 1994 Proceedings

djvu

Author: Michel Habib Lhouari Nourine (auth.) Vincent Bouchitté Michel Morvan (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book A Relational Theory of Computing

A Relational Theory of Computing

djvu

Author: John G. Sanderson (auth.)
Language: English
Year: 1980

00

26.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

pdf

Author: Pierre Wolper Bernard Boigelot (auth.) Susanne Graf Michael Schwartzbach (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Advances in Cryptology — EUROCRYPT ’89: Workshop on the Theory and Application of Cryptographic Techniques Houthalen, Belgium, April 10–13, 1989 Proceedings

Advances in Cryptology — EUROCRYPT ’89: Workshop on the Theory and Application of Cryptographic Techniques Houthalen, Belgium, April 10–13, 1989 Proceedings

djvu

Author: Whitfield Diffie (auth.) Jean-Jacques Quisquater Joos Vandewalle (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0

book Computability of Julia Sets

Computability of Julia Sets

pdf

Author: Mark Braverman Michael Yampolsky (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

pdf

Author: Joshua B. Tenenbaum (auth.) Filip Železný Nada Lavrač (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0