Showing 1 - 20 of 2,091 Search: '', query time: 0.23s
Book List 0
1

Algorithms - ESA '97 5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings

by Burkard, Rainer
Published 1997
Springer Berlin Heidelberg
3

Simulated Evolution and Learning First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers.

by Yao, Xin
Published 1997
Springer Berlin Heidelberg
4

Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction

by Müller-Olm, Markus
Published 1997
Springer Berlin Heidelberg
6

Mathematical Foundations of Computer Science 1997 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings

by Privara, Igor
Published 1997
Springer Berlin Heidelberg
7

Information Extraction A Multidisciplinary Approach to an Emerging Information Technology

by Pazienza, Maria T
Published 1997
Springer Berlin Heidelberg
8

Euro-Par '97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings

by Lengauer, Christian
Published 1997
Springer Berlin Heidelberg
9

Spatial Data Types for Database Systems Finite Resolution Geometry for Geographic Information Systems

by Schneider, Markus
Published 1997
Springer Berlin Heidelberg
10

Category Theory and Computer Science 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

by Moggi, Eugenio
Published 1997
Springer Berlin Heidelberg
11

Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

by Hanus, Michael
Published 1997
Springer Berlin Heidelberg
12

Computer Analysis of Images and Patterns 7th International Conference, CAIP '97, Kiel, Germany, September 10-12, 1997. Proceedings.

by Sommer, Gerald
Published 1997
Springer Berlin Heidelberg
13

Field Programmable Logic and Applications 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.

by Luk, Wayne
Published 1997
Springer Berlin Heidelberg
14

Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings

by Hentenryck, Pascal van
Published 1997
Springer Berlin Heidelberg
15

Formal Hardware Verification Methods and Systems in Comparison

by Kropf, Thomas
Published 1997
Springer Berlin Heidelberg
16

Evolutionary Computing AISB International Workshop, Manchester, UK, April 7-8, 1997. Selected Papers.

by Corne, David
Published 1997
Springer Berlin Heidelberg
17

Database and Expert Systems Applications 8th International Conference, DEXA'97, Toulouse, France, September 1-5, 1997, Proceedings

by Hameurlain, A
Published 1997
Springer Berlin Heidelberg
18

KI-97: Advances in Artificial Intelligence 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings

by Brewka, Gerhard
Published 1997
Springer Berlin Heidelberg
19

Inductive Logic Programming 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers

by Muggleton, Stephen
Published 1997
Springer Berlin Heidelberg
20

Image Analysis and Processing 9th International Conference, ICIAP'97, Florence, Italy, September 17-19, 1997, Proceedings, Volume 1

by Bimbo, Alberto del
Published 1997
Springer Berlin Heidelberg