Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 329 Para Buscar '', tiempo de consulta: 0.19s Limitar resultados
1
Compiling natural semantics /
por Pettersson, Mikael
Berlin ; New York : Springer, 1999

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

Procedimiento de la Conferencia Libro
3
Hyperedge replacement : grammars and languages /
por Habel, A. (Annegret)
Berlin ; New York : Springer-Verlag, 1992

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

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

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

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

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

Procedimiento de la Conferencia Libro
9
A survey of verification techniques for parallel programs /
por Barringer, Howard, 1951-
Berlin ; New York : Springer-Verlag, 1985

Libro
10
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Procedimiento de la Conferencia Libro
11
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

Procedimiento de la Conferencia Libro
12
Pattern recognition : 4th international conference, Cambridge, U.K., March 28-30, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Procedimiento de la Conferencia Libro
13
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Procedimiento de la Conferencia Libro
14
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

Procedimiento de la Conferencia Libro
15
Natural language at the computer : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Procedimiento de la Conferencia Libro
16
High-performance computing and networking : international conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1994

Libro
17
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

Procedimiento de la Conferencia Libro
18
Advances in cryptology, 1981-1997 : electronic proceedings and index of the CRYPTO and EUROCRYPT conferences, 1981-1997 /
Berlin ; New York : Springer, 1998

Procedimiento de la Conferencia Libro
19
PARLE, parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1987

Procedimiento de la Conferencia Libro
20
EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings.
Berlin ; New York : Springer-Verlag, 1985

Procedimiento de la Conferencia Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda — Guardar Búsqueda