The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Juris Hartmanis » Page 4
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)
pdf
Author:
Juris Hartmanis
Language:
English
Year:
1987
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
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
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
26.01.2024
0
0
Read online
Conceptual Modeling: Current Issues and Future Directions
pdf
Author:
Peter P. Chen (auth.) G. Goos J. Hartmanis J. van Leeuwen Peter P. Chen Jacky Akoka Hannu Kangassalu Bernhard Thalheim (eds.)
Language:
English
Year:
1999
0
0
26.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
26.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
26.01.2024
0
0
Read online
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
0
0
26.01.2024
0
0
Read online
Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings
djvu
Author:
Juris Hartmanis Suresh Chari (auth.) M. Bonuccelli P. Crescenzi R. Petreschi (eds.)
Language:
English
Year:
1994
0
0
26.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
26.01.2024
0
0
Read online
1
2
3
4
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через