|
101.
|
Algorithms — ESA '97 [electronic resource] :5th Annual European Symposium Graz, Austria, September 15–17, 1997 Proceedings /
by Burkard, Rainer [editor.] | Woeginger, Gerhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
102.
|
Programming Languages: Implementations, Logics, and Programs [electronic resource] :9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings /
by Glaser, Hugh [editor.] | Hartel, Pieter [editor.] | Kuchen, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
103.
|
Simulated Evolution and Learning [electronic resource] :First Asia-Pacific Conference, SEAL'96 Taejon, Korea, November 9–12, 1996 Seclected Papers /
by Yao, Xin [editor.] | Kim, Jong-Hwan [editor.] | Furuhashi, Takeshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
104.
|
Modular Compiler Verification [electronic resource] :A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
by Müller-Olm, Markus [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
105.
|
Multi-Agent Systems Methodologies and Applications [electronic resource] :Second Australian Workshop on Distributed Artificial Intelligence Cairns, QLD, Australia, August 27, 1996 Selected Papers /
by Zhang, Chengqi [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
106.
|
Mathematical Foundations of Computer Science 1997 [electronic resource] :22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings /
by Prívara, Igor [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
107.
|
Information Extraction A Multidisciplinary Approach to an Emerging Information Technology [electronic resource] :International Summer School, SCIE-97 Frascati, Italy, July 14–18, 1997 /
by Pazienza, Maria Teresa [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Other title: International Summer School, SCIE-97, Frascati, Italy, July 14-18, 1997.Online access: Click here to access online Availability: No items available
|
|
108.
|
Euro-Par'97 Parallel Processing [electronic resource] :Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings /
by Lengauer, Christian [editor.] | Griebl, Martin [editor.] | Gorlatch, Sergei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
109.
|
Spatial Data Types for Database Systems [electronic resource] :Finite Resolution Geometry for Geographic Information Systems /
by Schneider, Markus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
110.
|
Category Theory and Computer Science [electronic resource] :7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings /
by Moggi, Eugenio [editor.] | Rosolini, Giuseppe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
111.
|
Algebraic and Logic Programming [electronic resource] :6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings /
by Hanus, Michael [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
112.
|
Computer Analysis of Images and Patterns [electronic resource] :7th International Conference, CAIP '97 Kiel, Germany, September 10–12, 1997 Proceedings /
by Sommer, Gerald [editor.] | Daniilidis, Kostas [editor.] | Pauli, Josef [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
113.
|
Field-Programmable Logic and Applications [electronic resource] :7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings /
by Luk, Wayne [editor.] | Cheung, Peter Y. K [editor.] | Glesner, Manfred [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
114.
|
Static Analysis [electronic resource] :4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings /
by Hentenryck, Pascal Van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
115.
|
Formal Hardware Verification [electronic resource] :Methods and Systems in Comparison /
by Kropf, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
116.
|
Evolutionary Computing [electronic resource] :AISB International Workshop Manchester, UK, April 7–8, 1997 Selected Papers /
by Corne, David [editor.] | Shapiro, Jonathan L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
117.
|
Database and Expert Systems Applications [electronic resource] :8th International Conference, DEXA '97 Toulouse, France, September 1–5, 1997 Proceedings /
by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
118.
|
KI-97: Advances in Artificial Intelligence [electronic resource] :21st Annual German Conference on Artificial Intelligence Freiburg, Germany, September 9–12, 1997 Proceedings /
by Brewka, Gerhard [editor.] | Habel, Christopher [editor.] | Nebel, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
119.
|
Inductive Logic Programming [electronic resource] :6th International Workshop, ILP-96 Stockholm, Sweden, August 26–28, 1996 Selected Papers /
by Muggleton, Stephen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
120.
|
Image Analysis and Processing [electronic resource] :9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume I /
by Bimbo, Alberto Del [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|