Predložene teme unutar tvog pretraživanja.
Prikaz rezultata 1 – 20 od 329 za pretraživanje '', vrijeme pretraživanja: 0,16s Detaljiziraj rezultate
1
Compiling natural semantics /
od Pettersson, Mikael
Berlin ; New York : Springer, 1999

Knjiga
2
Advances in cryptology, 1981-1997 : electronic proceedings and index of the CRYPTO and EUROCRYPT conferences, 1981-1997 /
Berlin ; New York : Springer, 1998

Izvještaj sastanka Knjiga
3
Hyperedge replacement : grammars and languages /
od Habel, A. (Annegret)
Berlin ; New York : Springer-Verlag, 1992

Knjiga
4
Algebraic specification techniques in object oriented programming environments /
od Breu, R. (Ruth), 1964-
Berlin ; New York : Springer-Verlag, 1991

Knjiga
5
Operating systems of the 90s and beyond : international workshop, Dagstuhl Castle, Germany, July 8-12, 1991 : proceedings /
Berlin ; New York : Springer-Verlag, 1991

Knjiga
6
The stability theory of stream ciphers /
od Ding, C. (Cunsheng), 1962-
Berlin ; New York : Springer-Verlag, 1991

Knjiga
7
Algebraic coding : first French-Soviet workshop, Paris, July 22-24, 1991 : proceedings /
Berlin ; New York : Springer-Verlag, 1992

Knjiga
8
Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings /
Berlin ; New York : Springer-Verlag, 1991

Izvještaj sastanka Knjiga
9
A survey of verification techniques for parallel programs /
od Barringer, Howard, 1951-
Berlin ; New York : Springer-Verlag, 1985

Knjiga
10
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Izvještaj sastanka Knjiga
11
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Izvještaj sastanka Knjiga
12
Parallel computing in science and engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26, 1987 /
Berlin ; New York : Springer-Verlag, 1988

Izvještaj sastanka Knjiga
13
Pattern recognition : 4th international conference, Cambridge, U.K., March 28-30, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Izvještaj sastanka Knjiga
14
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Izvještaj sastanka Knjiga
15
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Izvještaj sastanka Knjiga
16
Natural language at the computer : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Izvještaj sastanka Knjiga
17
High-performance computing and networking : international conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1994

Knjiga
18
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Berlin ; New York : Springer-Verlag, 1990

Izvještaj sastanka Knjiga
19
Advances in cryptology, 1981-1997 : electronic proceedings and index of the CRYPTO and EUROCRYPT conferences, 1981-1997 /
Berlin ; New York : Springer, 1998

Izvještaj sastanka Knjiga
20
PARLE, parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1987

Izvještaj sastanka Knjiga
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom — Spremi pretraživanje