The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Juris Hartmanis
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)
djvu
Author:
Juris Hartmanis
Language:
English
Year:
1987
0
0
27.01.2024
0
0
Read online
Computational Complexity Theory
djvu
Author:
Juris Hartmanis (ed.)
Language:
English
Year:
1989
0
0
27.01.2024
0
0
Read online
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
pdf
Author:
Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John Harrison (eds.)
Language:
English
Year:
1996
0
0
27.01.2024
0
0
Read online
Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings
pdf
Author:
Juris Hartmanis Suresh Chari (auth.) M. Bonuccelli P. Crescenzi R. Petreschi (eds.)
Language:
English
Year:
1994
0
0
27.01.2024
0
0
Read online
Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers
pdf
Author:
Anne Berry Jean R. S. Blair (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Luděk Kučera (eds.)
Language:
English
Year:
2002
0
0
27.01.2024
0
0
Read online
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
0
0
27.01.2024
0
0
Read online
The World Wide Web and Databases: Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers
pdf
Author:
Don Chamberlin Jonathan Robie Daniela Florescu (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Dan Suciu Gottfried Vossen (eds.)
Language:
English
Year:
2001
0
0
27.01.2024
0
0
Read online
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
pdf
Author:
Jean-Pierre Jouannaud Ralf Treinen (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Hubert Comon Claude Marché Ralf Treinen (eds.)
Language:
English
Year:
2001
0
0
27.01.2024
0
0
Read online
Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings
pdf
Author:
Jean-Daniel Boissonnat (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen D. T. Lee Shang-Hua Teng (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
Information Security: Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings
pdf
Author:
Minoru Kuribayashi Hatsukazu Tanaka (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Josef Pieprzyk Jennifer Seberry Eiji Okamoto (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
1
2
3
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
