Тема, жанр, tags: Logics and Meanings of Programs,Computer Science general,Software Engineering,Programming Languages » Page 1647 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Computer Science general,Software Engineering,Programming Languages » Page 1647

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 Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

pdf

Author: Marcin Bienkowski Friedhelm Meyer auf der Heide (auth.) Joanna Jȩdrzejowicz Andrzej Szepietowski (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Integer Optimization by Local Search: A Domain-Independent Approach

Integer Optimization by Local Search: A Domain-Independent Approach

pdf

Author: Fred Glover (auth.) Joachim Paul Walser (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings

pdf

Author: Alex Biryukov Adi Shamir David Wagner (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Bruce Schneier (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Algorithmic Number Theory: 5th International Symposium, ANTS-V Sydney, Australia, July 7–12, 2002 Proceedings

Algorithmic Number Theory: 5th International Symposium, ANTS-V Sydney, Australia, July 7–12, 2002 Proceedings

pdf

Author: Manjul Bhargava (auth.) Claus Fieker David R. Kohel (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Advances in Cryptology — EUROCRYPT'98: International Conference on the Theory and Application of Cryptographic Techniques Espoo, Finland, May 31 – June 4, 1998 Proceedings

Advances in Cryptology — EUROCRYPT'98: International Conference on the Theory and Application of Cryptographic Techniques Espoo, Finland, May 31 – June 4, 1998 Proceedings

djvu

Author: Victor Shoup Rosario Gennaro (auth.) Kaisa Nyberg (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Algorithms — ESA '96: Fourth Annual European Symposium Barcelona, Spain, September 25–27, 1996 Proceedings

Algorithms — ESA '96: Fourth Annual European Symposium Barcelona, Spain, September 25–27, 1996 Proceedings

djvu

Author: Robert Sedgewick (auth.) Josep Diaz Maria Serna (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Graph-Theoretic Concepts in Computer Science: 27th InternationalWorkshop, WG 2001 Boltenhagen, Germany, June 14–16, 2001 Proceedings

Graph-Theoretic Concepts in Computer Science: 27th InternationalWorkshop, WG 2001 Boltenhagen, Germany, June 14–16, 2001 Proceedings

pdf

Author: Hans-J. Bandelt (auth.) Andreas Brandstädt Van Bang Le (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings

Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings

pdf

Author: Michael J. Freedman Kobbi Nissim Benny Pinkas (auth.) Christian Cachin Jan L. Camenisch (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Experimental Algorithms: 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

Experimental Algorithms: 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

pdf

Author: Sotiris Nikoletseas (auth.) Carme Àlvarez María Serna (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0