Výsledky vyhledávání

1

Algorithmen : Entwurf und Analyse /

Autor Horowitz, E.
Vydáno 1981

Kniha

2

Anwendungen der Netztheorie zur formalen Systemspezifikation /

Autor Thieler-Mevissen, Gerda.
Vydáno 1987

Kniha

3

Categorical combinators, sequential algorithms, and functional programming /

Autor Curien, Pierre-Louis, 1953-
Vydáno 1986

Kniha

4

Codes and ciphers : Julius Caesar, the Enigma and the internet /

Autor Churchhouse, R. F.
Vydáno 2002

Kniha

5

Coding and complexity /

Vydáno 1975

Kniha

6

Computability, complexity, and languages : fundamentals of theoretical computer science /

Autor Davis, Martin, 1928-2023, Weyuker, Elaine J.
Vydáno 1983

Kniha

7

Computational complexity of bilinear forms : algebraic coding theory and applications to digital communication systems /

Autor Krishna, Hari
Vydáno 1987

Kniha

8

Computer systems performance evaluation /

Autor Ferrari, Domenico
Vydáno 1978

Kniha

9

Concepts, syntax and semantics of SEGRAS : a specification language for distributed systems /

Autor Krämer, Bernd, 1947-
Vydáno 1989

Kniha

10

Data structures and algorithms. 2, Graph algorithms and NP completeness /

Autor Mehlhorn, Kurt, 1949-
Vydáno 1984

Kniha

11

Úvod do kybernetiky

Autor Gluškov, Viktor Michajlovič, 1923-1982
Vydáno 1968

Kniha

12

Sintez upravljajuščich avtomatov /

Autor Lazarev, Vladimir Georgijevič, Pijl', Jelena Ivanovna
Vydáno 1989

Kniha

13

Semantics of type theory : correctness, completeness and independence results /

Autor Streicher, Thomas
Vydáno 1991

Kniha

14

Some combinatorial and algorithmic problems in many-valued logics /

Autor Stojmenović, Ivan, 1957-
Vydáno 1987

Kniha

15

Generative attributierte Grammatiken /

Autor Dencker, Peter
Vydáno 1986

Kniha

16

Higher order operational techniques in semantics /

Vydáno 1998

Kniha

17

Informations- und Codierungstheorie : mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen /

Autor Heise, Werner, 1944-2013, Quattrocchi, Pasquale
Vydáno 1983

Kniha

18

Iteration theories : the equational logic of iterative processes /

Autor Bloom, Stephen L., 1940-2010
Vydáno 1993

Kniha

19

Kausale Semantik nichtsequentieller Programme /

Autor Best, Eike, 1951-
Vydáno 1989

Kniha

20

Kybernetika neboli řízení a sdělování v živých organismech a strojích /

Autor Wiener, Norbert, 1894-1964
Vydáno 1960

Kniha

Upřesnit hledání