|
|
|
Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings / edited by Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg. by Ehrig, Hartmut [editor.] | Kreowski, Hans-Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 532Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Category Theory and Computer Science [electronic resource] : Paris, France, September 3–6, 1991 Proceedings / edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard. by Pitt, David H [editor.] | Curien, Pierre-Louis [editor.] | Abramsky, Samson [editor.] | Pitts, Andrew M [editor.] | Poigné, Axel [editor.] | Rydeheard, David E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 530Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26–29, 2003 Proceedings / edited by Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron. by Wang, Guoyin [editor.] | Liu, Qing [editor.] | Yao, Yiyu [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2639Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Conceptual Modeling - ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003. Proceedings / edited by Il-Yeol Song, Stephen W. Liddle, Tok-Wang Ling, Peter Scheuermann. by Song, Il-Yeol [editor.] | Liddle, Stephen W [editor.] | Ling, Tok-Wang [editor.] | Scheuermann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2813Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker. by Wirsing, Martin [editor.] | Pattinson, Dirk [editor.] | Hennicker, Rolf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2755Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele. by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers / edited by Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith. by Coquand, Thierry [editor.] | Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1956Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Conceptual Structures: Broadening the Base [electronic resource] : 9th International Conference on Conceptual Structures, ICCS 2001 Stanford, CA, USA, July 30–August 3, 2001 Proceedings / edited by Harry S. Delugach, Gerd Stumme. by Delugach, Harry S [editor.] | Stumme, Gerd [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2120Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Learning Classifier Systems [electronic resource] : Third International Workshop, IWLCS 2000 Paris, France, September 15–16, 2000 Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson. by Luca Lanzi, Pier [editor.] | Stolzmann, Wolfgang [editor.] | Wilson, Stewart W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1996Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Category Theory and Computer Science [electronic resource] : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings / edited by David Pitt, David E. Rydeheard, Peter Johnstone. by Pitt, David [editor.] | Rydeheard, David E [editor.] | Johnstone, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 953Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|