Author books / Книги автора Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John » Page 6 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John » Page 6

book Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

djvu

Author: Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John Harrison (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings

Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings

djvu

Author: Andrew V. Goldberg (auth.) Jan van Leeuwen (eds.)
Language: English
Year: 1994

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 Handbook of Theoretical Computer Science. Volume A. Algorithms and Complexity

Handbook of Theoretical Computer Science. Volume A. Algorithms and Complexity

djvu

Author: Jan van Leeuwen (ed.)
Language: English
Year: 1990

00

26.01.2024

0

0