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
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
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
16
Computational Complexity Theory

Computational Complexity Theory

Juris Hartmanis (ed.)
کال:
1989
ژبه:
english
فایل:
DJVU, 1.64 MB
0 / 0
english, 1989
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
26
Theoretical Computer Science: 3rd Gl Conference Darmstadt, March 28–30, 1977

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

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

Hartmanis J., Stearns R.E.
کال:
1966
ژبه:
english
فایل:
DJVU, 5.45 MB
0 / 0
english, 1966
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
33
Feasible Computations and Provable Complexity Properties

Feasible Computations and Provable Complexity Properties

Juris Hartmanis
کال:
1987
ژبه:
english
فایل:
DJVU, 425 KB
0 / 0
english, 1987
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
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