|
|
|
|
CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 329Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings / edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther. by Barstow, D [editor.] | Brauer, W [editor.] | Brinch Hansen, P [editor.] | Gries, D [editor.] | Luckham, D [editor.] | Moler, C [editor.] | Pnueli, A [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | Günther, Christoph G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 330Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Multi-Agent Systems and Applications II [electronic resource] : 9th ECCAI-ACAI / EASSS 2001, AEMAS 2001, HoloMAS 2001 Selected Revised Papers / edited by Vladimír Mařík, Olga Štěpánková, Hana Krautwurmová, Michael Luck. by Mařík, Vladimír [editor.] | Štěpánková, Olga [editor.] | Krautwurmová, Hana [editor.] | Luck, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2322Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002 Kinsale, Ireland, April 3–5, 2002 Proceedings / edited by James A. Foster, Evelyne Lutton, Julian Miller, Conor Ryan, Andrea Tettamanzi. by Foster, James A [editor.] | Lutton, Evelyne [editor.] | Miller, Julian [editor.] | Ryan, Conor [editor.] | Tettamanzi, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2278Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Discrete Geometry for Computer Imagery [electronic resource] : 10th International Conference, DGCI 2002 Bordeaux, France, April 3–5, 2002 Proceedings / edited by Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard. by Braquelaire, Achille [editor.] | Lachaud, Jacques-Olivier [editor.] | Vialard, Anne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2301Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Sensor Based Intelligent Robots [electronic resource] : International Workshop Dagstuhl Castle, Germany, October 15–20, 2000 Selected Revised Papers / edited by Gregory D. Hager, Henrik Iskov Christensen, Horst Bunke, Rolf Klein. by Hager, Gregory D [editor.] | Christensen, Henrik Iskov [editor.] | Bunke, Horst [editor.] | Klein, Rolf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2238Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Trends in Network and Pervasive Computing — ARCS 2002 [electronic resource] : International Conference on Architecture of Computing Systems Karlsruhe, Germany, April 8–12, 2002 Proceedings / edited by Hartmut Schmeck, Theo Ungerer, Lars Wolf. by Schmeck, Hartmut [editor.] | Ungerer, Theo [editor.] | Wolf, Lars [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2299Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Joost-Pieter Katoen, Perdita Stevens. by Katoen, Joost-Pieter [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2280Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3–4, 2002 Proceedings / edited by Stefano Cagnoni, Jens Gottlieb, Emma Hart, Martin Middendorf, Günther R. Raidl. by Cagnoni, Stefano [editor.] | Gottlieb, Jens [editor.] | Hart, Emma [editor.] | Middendorf, Martin [editor.] | Raidl, Günther R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2279Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers / edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa. by Kuich, Werner [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2295Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
