Book serie: / Книги серии: Lecture Notes in Computer Science 3618 : Theoretical Computer Science and General Issues » Page 1902 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 3618 : Theoretical Computer Science and General Issues » Page 1902

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

2

0

book SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

pdf

Author: S. Barry Cooper (auth.) Jiří Wiedermann Gerard Tel Jaroslav Pokorný Mária Bieliková Július à tuller (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Implementation of Functional Languages: 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers

Implementation of Functional Languages: 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers

pdf

Author: Claus Aßmann (auth.) Kevin Hammond Tony Davie Chris Clack (eds.)
Language: English
Year: 1999

00

26.01.2024

1

0

book Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

pdf

Author: Thomas Kropf (auth.) Yves Bertot Gilles Dowek Laurent Théry André Hirschowitz Christine Paulin (eds.)
Language: English
Year: 1999

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

2

0

book Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

pdf

Author: Petr Hájek (auth.) Georg Gottlob Etienne Grandjean Katrin Seyr (eds.)
Language: English
Year: 1999

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

1

0

book Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

pdf

Author: Luigi Acerbi Alberto Dennunzio Enrico Formenti (auth.) S. Barry Cooper Benedikt Löwe Andrea Sorbi (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0