Suggested Topics within your search.
Showing 1 - 20 results of 329 for search '', query time: 0.10s Refine Results
2
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

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

Conference Proceeding Book
4
PARLE, parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1987

Conference Proceeding Book
5
EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings.
Berlin ; New York : Springer-Verlag, 1985

Conference Proceeding Book
6
Computation theory and logic /
Berlin ; New York : Springer-Verlag, 1987

Book
7
Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 /
Berlin ; New York : Springer-Verlag, 1987

Book
8
Systems of reductions /
by Benninghofen, B. (Benjamin), 1958-
Berlin ; New York : Springer-Verlag, 1987

Book
10
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

Conference Proceeding Book
11
Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
Berlin : New York : Springer-Verlag, 1986

Book
12
Bioluminescence and chemiluminescence.
San Diego, Calif. : Academic Press, 2000

Book
13
The IOTA programming system : a modular programming environment /
Berlin ; New York : Springer-Verlag, 1983

Book
14
RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan /
Berlin ; New York : Springer-Verlag, 1986

Book
15
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /
Berlin ; New York : Springer-Verlag, 1986

Conference Proceeding Book
16
A study in string processing languages /
by Klint, Paul
Berlin ; New York : Springer-Verlag, 1985

Book
17
Current trends in concurrency : overviews and tutorials /
Berlin ; New York : Springer-Verlag, 1986

Conference Proceeding Book
18
Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 /
Berlin ; New York : Springer-Verlag, 1986

Book
19
LUCAS associative array processor : design, programming, and application studies /
by Fernstrom, Christer, 1951-
Berlin ; New York : Springer-Verlag, 1986

Book
20
CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings /
Berlin ; New York : Springer-Verlag, 1986

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search