J. Hartmanis: шукати на сайті Z-Library

Вільний доступ до знань та культури

Don't use scam websites

Книги (63)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, Renato Umeton, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung, (eds.)

Рік:

2020

Мова:

english

Файл:

PDF, 71.08 MB

0 / 5.0

english, 2020

2

Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice

Gerhard Goos, Juris Hartmanis

Рік:

2024

Мова:

english

Файл:

PDF, 7.06 MB

0 / 5.0

english, 2024

3

WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

Chun-Cheng Lin & Bertrand M. T. Lin & Giuseppe Liotta & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2023

Мова:

english

Файл:

PDF, 9.73 MB

0 / 5.0

english, 2023

4

Computational Science and Its Applications – ICCSA 2022 Part I

Computational Science and Its Applications – ICCSA 2022 Part I

Osvaldo Gervasi, Beniamino Murgante, Eligius M. T. Hendrix, David Taniar, Bernady O. Apduhan, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Moti Yung

Рік:

2022

Мова:

english

Файл:

PDF, 71.48 MB

0 / 4.0

english, 2022

5

Computing the Future : A Broader Agenda for Computer Science and Engineering

Computing the Future : A Broader Agenda for Computer Science and Engineering

National Academies Press

National Research Council, Computer Science and Telecommunications Board, Committee to Assess the Scope and Direction of Computer Science and Technology, National Academy of Sciences, , J. Hartmanis, Herbert Lin

Рік:

1992

Мова:

english

Файл:

PDF, 3.70 MB

0 / 0

english, 1992

6

Medical Image Learning with Limited and Noisy Data

Medical Image Learning with Limited and Noisy Data

Gerhard Goos, Juris Hartmanis

Рік:

2023

Мова:

english

Файл:

PDF, 40.59 MB

0 / 5.0

english, 2023

7

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Algorithms and Computation: 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Daniel Boissonnat (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, D. T. Lee, Shang-Hua Teng (eds.)

Рік:

2000

Мова:

english

Файл:

PDF, 3.44 MB

0 / 0

english, 2000

8

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Society for Industrial Mathematics

Juris Hartmanis

Рік:

1987

Мова:

english

Файл:

PDF, 4.61 MB

0 / 0

english, 1987

9

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Spyridon Bakas & Alessandro Crimi & Ujjwal Baid & Sylwia Malec & Monika Pytlarz & Bhakti Baheti & Maximilian Zenk & Reuben Dorent & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2023

Файл:

PDF, 46.35 MB

0 / 0

2023

10

Algebraic Structure Theory of Sequential Machines [appl math]

Algebraic Structure Theory of Sequential Machines [appl math]

J. Hartmanis, R. Stearns,

Рік:

1966

Мова:

english

Файл:

PDF, 9.72 MB

0 / 0

english, 1966

11

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2022

Мова:

english

Файл:

EPUB, 122.08 MB

0 / 4.5

english, 2022

12

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Springer Berlin Heidelberg

Goos, Gerhard, Hartmanis, Juris, Van Leeuwen, Jan

Рік:

2003

Мова:

english

Файл:

PDF, 3.80 MB

0 / 0

english, 2003

13

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Рік:

2021

Мова:

english

Файл:

PDF, 7.67 MB

0 / 0

english, 2021

14

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2022

Мова:

english

Файл:

EPUB, 74.87 MB

0 / 5.0

english, 2022

15

Conceptual Modeling: Current Issues and Future Directions

Conceptual Modeling: Current Issues and Future Directions

Springer-Verlag Berlin Heidelberg

Peter P. Chen (auth.), G. Goos, J. Hartmanis, J. van Leeuwen, Peter P. Chen, Jacky Akoka, Hannu Kangassalu, Bernhard Thalheim (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 5.98 MB

0 / 0

english, 1999

16

Computational Complexity Theory

Computational Complexity Theory

Amer Mathematical Society

Juris Hartmanis (ed.)

Рік:

1989

Мова:

english

Файл:

DJVU, 1.64 MB

0 / 0

english, 1989

17

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Society for Industrial Mathematics

Juris Hartmanis

Рік:

1987

Мова:

english

Файл:

DJVU, 374 KB

0 / 0

english, 1987

18

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Juris Hartmanis

Рік:

1966

Мова:

english

Файл:

DJVU, 2.07 MB

0 / 0

english, 1966

19

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Walter Cazzola, Shigeru Chiba, Thomas Ledoux (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Jacques Malenfant, Sabine Moisan, Ana Moreira (eds.)

Рік:

2000

Мова:

english

Файл:

PDF, 2.74 MB

0 / 0

english, 2000

20

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

Springer Berlin Heidelberg

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 3.17 MB

0 / 0

english, 1996

21

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Рік:

2021

Мова:

english

Файл:

EPUB, 601 KB

0 / 0

english, 2021

22

SWAT 90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings

SWAT 90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Juris Hartmanis, Richard Chang, Desh Ranjan, Pankaj Rohatgi (auth.), John R. Gilbert, Rolf Karlsson (eds.)

Рік:

1990

Мова:

english

Файл:

DJVU, 5.68 MB

0 / 0

english, 1990

23

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

Springer Berlin Heidelberg

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)

Рік:

1996

Мова:

english

Файл:

PDF, 5.33 MB

0 / 0

english, 1996

24

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2023

Мова:

english

Файл:

PDF, 6.81 MB

0 / 5.0

english, 2023

25

Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Juris Hartmanis (auth.), Rudrapatna K. Shyamasundar (eds.)

Рік:

1993

Мова:

english

Файл:

DJVU, 4.56 MB

0 / 0

english, 1993

26

Theoretical Computer Science: 3rd Gl Conference Darmstadt, March 28–30, 1977

Theoretical Computer Science: 3rd Gl Conference Darmstadt, March 28–30, 1977

Springer-Verlag Berlin Heidelberg

L. Berman, J. Hartmanis (auth.)

Рік:

1977

Мова:

english

Файл:

DJVU, 3.11 MB

0 / 0

english, 1977

27

Algebraic Structure Theory of Sequential Machines

Algebraic Structure Theory of Sequential Machines

Prentice-Hall, Inc.

Hartmanis J., Stearns R.E.

Рік:

1966

Мова:

english

Файл:

DJVU, 5.45 MB

0 / 0

english, 1966

28

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Файл:

RTF , 3.98 MB

0 / 0

29

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Society for Industrial Mathematics

Juris Hartmanis

Рік:

1987

Мова:

english

Файл:

DJVU, 894 KB

0 / 0

english, 1987

30

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen

Рік:

2008

Мова:

english

Файл:

EPUB, 2.27 MB

0 / 0

english, 2008

31

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung

Рік:

2021

Мова:

english

Файл:

AZW3 , 5.69 MB

0 / 0

english, 2021

32

Advances in Cryptology – CRYPTO 2022

Advances in Cryptology – CRYPTO 2022

Yevgeniy Dodis & Thomas Shrimpton & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2022

Файл:

PDF, 10.06 MB

0 / 0

2022

33

Feasible Computations and Provable Complexity Properties

Feasible Computations and Provable Complexity Properties

Society for Industrial Mathematics

Juris Hartmanis

Рік:

1987

Мова:

english

Файл:

DJVU, 425 KB

0 / 0

english, 1987

34

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Рік:

2021

Мова:

english

Файл:

LIT , 5.52 MB

0 / 0

english, 2021

35

Computer Vision – ECCV 2022 Workshops

Computer Vision – ECCV 2022 Workshops

Leonid Karlinsky & Tomer Michaeli & Ko Nishino & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2023

Файл:

PDF, 70.86 MB

0 / 0

2023

36

Graphical Models for Security

Graphical Models for Security

Harley Eades III & Olga Gadyatskaya & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Рік:

2020

Мова:

english

Файл:

PDF, 13.15 MB

0 / 5.0

english, 2020

37

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Рік:

2021

Мова:

english

Файл:

MOBI , 2.09 MB

0 / 0

english, 2021

38

Integer Programming and Combinatorial Optimization: 6th International IPCO '98 Conference, Houston, Texas, June 22-24, 1998. Proceedings

Integer Programming and Combinatorial Optimization: 6th International IPCO '98 Conference, Houston, Texas, June 22-24, 1998. Proceedings

Springer-Verlag

Robert E. Bixby, E. Andrew Boyd, Robert Z. Rios-Mercado, G. Goos, J. Hartmanis

Рік:

1998

Мова:

english

Файл:

RTF , 2.95 MB

0 / 0

english, 1998

39

Mining of Massive Datasets

Mining of Massive Datasets

G. Goos, J. Hartmanis, and J. van Leeuwen

Мова:

english

Файл:

MOBI , 1.06 MB

0 / 0

english

40

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos, Juris Hartmanis & Jan van Leeuwen

Рік:

2009

Мова:

english

Файл:

FB2 , 2.04 MB

0 / 0

english, 2009

41

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos & Juris Hartmanis & Jan van Leeuwen

Рік:

2008

Мова:

english

Файл:

LIT , 3.10 MB

0 / 0

english, 2008

42

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Рік:

2021

Мова:

english

Файл:

FB2 , 7.71 MB

0 / 0

english, 2021

43

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

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 4.11 MB

0 / 0

english, 2001

44

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

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 2.22 MB

0 / 0

english, 2001

45

Conceptual Modeling: Current Issues and Future Directions

Conceptual Modeling: Current Issues and Future Directions

Springer-Verlag Berlin Heidelberg

Peter P. Chen (auth.), G. Goos, J. Hartmanis, J. van Leeuwen, Peter P. Chen, Jacky Akoka, Hannu Kangassalu, Bernhard Thalheim (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 1.94 MB

0 / 0

english, 1999

46

Database Systems for Advanced Applications 28th International Conference, DASFAA 2023 Tianjin, China, April 17–20, 2023 Proceedings, Part II

Database Systems for Advanced Applications 28th International Conference, DASFAA 2023 Tianjin, China, April 17–20, 2023 Proceedings, Part II

Xin Wang & Maria Luisa Sapino & Wook-Shin Han & Amr El Abbadi & Gill Dobbie & Zhiyong Feng & Yingxiao Shao & Hongzhi Yin & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Рік:

2023

Файл:

PDF, 46.80 MB

0 / 0

2023

47

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 2.01 MB

0 / 0

english, 2001

48

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

Springer-Verlag Berlin Heidelberg

Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 3.00 MB

0 / 0

english, 2001

49

Group Theoretical Methods in Image Processing

Group Theoretical Methods in Image Processing

Goos G., Hartmanis J.

Мова:

english

Файл:

PDF, 8.63 MB

0 / 0

english

50

Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Juris Hartmanis, Suresh Chari (auth.), M. Bonuccelli, P. Crescenzi, R. Petreschi (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 1.83 MB

0 / 0

english, 1994