Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 215 Para Buscar '', tiempo de consulta: 0.21s Limitar resultados
1
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
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
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
4
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
5
Software engineering : ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997 : proceedings /
Berlin ; New York : Springer, 1997

Procedimiento de la Conferencia Libro
6
Advances in database technology, EDBT '88 : International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, proceedings /
Berlin ; New York : Springer-Verlag, 1988

Procedimiento de la Conferencia Libro
7
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /
Berlin ; New York : Springer-Verlag, 1986

Procedimiento de la Conferencia Libro
8
Current trends in concurrency : overviews and tutorials /
Berlin ; New York : Springer-Verlag, 1986

Procedimiento de la Conferencia Libro
9
CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings /
Berlin ; New York : Springer-Verlag, 1986

Procedimiento de la Conferencia Libro
10
Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1994

Procedimiento de la Conferencia Libro
11
Algorithms--ESA '94 : second annual European symposium, Utrecht, the Netherlands, September 26-28, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1994

Procedimiento de la Conferencia Libro
12
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1994

Procedimiento de la Conferencia Libro
13
Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings /
Berlin ; New York : Springer, 1995

Procedimiento de la Conferencia Libro
14
Parallel computing technologies : third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings /
Berlin ; New York : Springer, 1995

Procedimiento de la Conferencia Libro
15
Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers /
Berlin ; New York : Springer-Verlag, 1995

Procedimiento de la Conferencia Libro
16
Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1995

Procedimiento de la Conferencia Libro
17
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, the Netherlands, April 3-5, 1995 : proceedings /
Berlin ; New York : Springer, 1995

Procedimiento de la Conferencia Libro
18
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
Berlin ; New York : Springer, 1995

Procedimiento de la Conferencia Libro
19
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course /
Berlin ; New York : Springer Verlag, 1995

Procedimiento de la Conferencia Libro
20
Multimedia transport and teleservices : International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1994

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