Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Computer Communication Networks,Algorithm Analy » Page 583 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Computer Communication Networks,Algorithm Analy » Page 583

book Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

pdf

Author: Michael R. Lowry (auth.) Joost-Pieter Katoen Perdita Stevens (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Algorithms – ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings

Algorithms – ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings

djvu

Author: Michael R. Fellows (auth.) Susanne Albers Tomasz Radzik (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Fast Software Encryption: 8th International Workshop, FSE 2001 Yokohama, Japan, April 2–4, 2001 Revised Papers

Fast Software Encryption: 8th International Workshop, FSE 2001 Yokohama, Japan, April 2–4, 2001 Revised Papers

pdf

Author: Stefan Lucks (auth.) Mitsuru Matsui (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Computing and Combinatorics: Third Annual International Conference, COCOON '97 Shanghai, China, August 20–22, 1997 Proceedings

Computing and Combinatorics: Third Annual International Conference, COCOON '97 Shanghai, China, August 20–22, 1997 Proceedings

djvu

Author: Sajal K. Das M. Cristina Pinotti (auth.) Tao Jiang D. T. Lee (eds.)
Language: English
Year: 1997

00

26.01.2024

1

0

book Fundamentals of Computation Theory: 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings

Fundamentals of Computation Theory: 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings

djvu

Author: Eric Allender Vivek Gore (auth.) L. Budach (eds.)
Language: English
Year: 1991

00

26.01.2024

1

0

book Online Algorithms: The State of the Art

Online Algorithms: The State of the Art

djvu

Author: Amos Fiat Gerhard J. Woeginger (auth.) Amos Fiat Gerhard J. Woeginger (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Advances in Cryptology — EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques Amsterdam, The Netherlands, April 28 – May 2, 2002 Proceedings

Advances in Cryptology — EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques Amsterdam, The Netherlands, April 28 – May 2, 2002 Proceedings

pdf

Author: Rosario Gennaro Daniele Micciancio (auth.) Lars R. Knudsen (eds.)
Language: English
Year: 2002

00

26.01.2024

2

0

book Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings

pdf

Author: Arne Løkketangen (auth.) Thomas Stützle Mauro Birattari Holger H. Hoos (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings

Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings

pdf

Author: Alex Biryukov Christophe De Cannière Michaël Quisquater (auth.) Matt Franklin (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

djvu

Author: Garrett Birkhoff (auth.) Nachum Dershowitz (eds.)
Language: English
Year: 1989

00

26.01.2024

1

0