Fundamentele Informatica

29 books
Introduction to computer theoryDaniel I. A. Cohen
⏱ 13h 43m

Introduction to computer theory

Daniel I. A. Cohen

1986823 pp.
Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)Johan Torkel Håstad
⏱ 1h 15m

Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)

Johan Torkel Håstad

198775 pp.
Aspects and prospects of theoretical computer scienceInternational Meeting of Young Computer Scientists (6th 1990 Smolenice, Slovakia)
⏱ 4h 58m

Aspects and prospects of theoretical computer science

International Meeting of Young Computer Scientists (6th 1990 Smolenice, Slovakia)

1990298 pp.
Results and trends in theoretical computer scienceArto Salomaa
⏱ 7h 25m

Results and trends in theoretical computer science

Arto Salomaa

1994445 pp.
UnificationClaude Kirchner
⏱ 10h 4m

Unification

Claude Kirchner

1991604 pp.
Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991A. Tarlecki
⏱ 7h 15m

Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991

A. Tarlecki

1991435 pp.
Computer AlgebraJ. A. van Hulzen
⏱ 5h 5m

Computer Algebra

J. A. van Hulzen

1984305 pp.
Number theory for computingSong Y. Yan
⏱ 6h 48m

Number theory for computing

Song Y. Yan

2000408 pp.
Fundamentals of computation theoryFCT '93 (1993 Szeged, Hungary)
⏱ 7h 51m

Fundamentals of computation theory

FCT '93 (1993 Szeged, Hungary)

1993471 pp.
Proceedings of the 35th Annual ACM Symposium on the Theory of ComputingUnknown Author

Proceedings of the 35th Annual ACM Symposium on the Theory of Computing

Unknown Author

2003No page data
STACS 2000Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France)
⏱ 11h 2m

STACS 2000

Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France)

2000662 pp.
LATIN 2000Latin American Symposium on Theoretical Informatics (4th 2000 Punta del Este, Uruguay)
⏱ 8h 4m

LATIN 2000

Latin American Symposium on Theoretical Informatics (4th 2000 Punta del Este, Uruguay)

2000484 pp.
EUROSAM 84International Symposium on Symbolic and Algebraic Computation (1984 Cambridge, England)
⏱ 6h 36m

EUROSAM 84

International Symposium on Symbolic and Algebraic Computation (1984 Cambridge, England)

1984396 pp.
Computer algebraEuropean Computer Algebra Conference (1st 1982 Marseille, France)
⏱ 5h 1m

Computer algebra

European Computer Algebra Conference (1st 1982 Marseille, France)

1982301 pp.
Perspectives of system informaticsD. Bjørner
⏱ 9h 0m

Perspectives of system informatics

D. Bjørner

2000540 pp.
Mathematical Foundations of Computer Science, 1998Lubos Brim
⏱ 14h 3m

Mathematical Foundations of Computer Science, 1998

Lubos Brim

1998843 pp.
Mathematical foundations of computer science, 1976Symposium on Mathematical Foundations of Computer Science (1972- ) (5th 1976 Gdańsk, Poland)
⏱ 10h 6m

Mathematical foundations of computer science, 1976

Symposium on Mathematical Foundations of Computer Science (1972- ) (5th 1976 Gdańsk, Poland)

1976606 pp.
Formal description techniques, VIIFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.)
⏱ 8h 30m

Formal description techniques, VI

IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.)

1994510 pp.
Graph-Theoretic Concepts in Computer ScienceHans L. Bodlaender
⏱ 7h 0m

Graph-Theoretic Concepts in Computer Science

Hans L. Bodlaender

2003420 pp.
Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990J. R. Gilbert
⏱ 6h 57m

Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990

J. R. Gilbert

1990417 pp.
Page 1 of 2Next →