|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth. by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3051Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / edited by John L. Pfaltz, Manfred Nagl, Boris Böhlen. by Pfaltz, John L [editor.] | Nagl, Manfred [editor.] | Böhlen, Boris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3062Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Conceptual Structures at Work [electronic resource] : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings / edited by Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach. by Wolff, Karl Erich [editor.] | Pfeiffer, Heather D [editor.] | Delugach, Harry S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3127Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings / edited by Bruno Buchberger, John Campbell. by Buchberger, Bruno [editor.] | Campbell, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3249Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings / edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen. by Calude, Cristian S [editor.] | Calude, Elena [editor.] | Dinneen, Michael J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3340Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang. by Hong, Hoon [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3763Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Developments in Language Theory [electronic resource] : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings / edited by Clelia Felice, Antonio Restivo. by Felice, Clelia [editor.] | Restivo, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3572Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. by Kreowski, Hans-Jörg [editor.] | Montanari, Ugo [editor.] | Orejas, Fernando [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3393Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings / edited by Maciej Liśkiewicz, Rüdiger Reischuk. by Liśkiewicz, Maciej [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3623Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings / edited by Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme. by Dau, Frithjof [editor.] | Mugnier, Marie-Laure [editor.] | Stumme, Gerd [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3596Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / edited by Mario Coppo, Elena Lodi, G. Michele Pinna. by Coppo, Mario [editor.] | Lodi, Elena [editor.] | Pinna, G. Michele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3701Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings / edited by Rokia Missaoui, Jürg Schmidt. by Missaoui, Rokia [editor.] | Schmidt, Jürg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3874Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|