Book serie: / Книги серии: Lecture Notes in Computer Science 52 » Page 1910 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 52 » Page 1910

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

book Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

pdf

Author: Ricardo Peña Clara Segura (auth.) Markus Mohnen Pieter Koopman (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

djvu

Author: Nicolas Halbwachs (auth.) Alan J. Hu Moshe Y. Vardi (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Fast Software Encryption: Third International Workshop Cambridge, UK, February 21–23 1996 Proceedings

Fast Software Encryption: Third International Workshop Cambridge, UK, February 21–23 1996 Proceedings

djvu

Author: Xuejia Lai Rainer A. Rueppel (auth.) Dieter Gollmann (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Membrane Computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers

Membrane Computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers

pdf

Author: Ioan I. Ardelean (auth.) Gheorghe PĂun Grzegorz Rozenberg Arto Salomaa Claudio Zandron (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book Algorithms and Computation: 9th International Symposium, ISAAC’98 Taejon, Korea, December 14–16, 1998 Proceedings

Algorithms and Computation: 9th International Symposium, ISAAC’98 Taejon, Korea, December 14–16, 1998 Proceedings

pdf

Author: Bernard Chazelle (auth.) Kyung-Yong Chwa Oscar H. Ibarra (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Advances in Cryptology — EUROCRYPT ’91: Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings

Advances in Cryptology — EUROCRYPT ’91: Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings

djvu

Author: Eli Biham Adi Shamir (auth.) Donald W. Davies (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

pdf

Author: Doron Peled (auth.) Rajeev Alur Doron A. Peled (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Algorithmic Learning Theory: 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings

Algorithmic Learning Theory: 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings

djvu

Author: Leslie G. Valiant (auth.) Setsuo Arikawa Arun K. Sharma (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Algorithms and Data Structures: Third Workshop, WADS '93 Montréal, Canada, August 11–13, 1993 Proceedings

Algorithms and Data Structures: Third Workshop, WADS '93 Montréal, Canada, August 11–13, 1993 Proceedings

djvu

Author: Mikhail J. Atallah Danny Z. Chen (auth.) Frank Dehne Jörg-Rüdiger Sack Nicola Santoro Sue Whitesides (eds.)
Language: English
Year: 1993

00

26.01.2024

2

0