|
|
|
|
Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5635Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Category Theory [electronic resource] : Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / edited by Aurelio Carboni, Maria Cristina Pedicchio, Guiseppe Rosolini. by Carboni, Aurelio [editor.] | Pedicchio, Maria Cristina [editor.] | Rosolini, Guiseppe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1488Source: 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): .
|
|
|
|
|
|
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2001 Workshop Post-Proceedings / edited by Takao Terano, Yukio Ohsawa, Toyoaki Nishida, Akira Namatame, Syusaku Tsumoto, Takashi Washio. by Terano, Takao [editor.] | Ohsawa, Yukio [editor.] | Nishida, Toyoaki [editor.] | Namatame, Akira [editor.] | Tsumoto, Syusaku [editor.] | Washio, Takashi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2253Source: 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): .
|
|
|
|
|
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond. by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings / edited by Zoltán Fülöp, Ferenc Gécseg. by Fülöp, Zoltán [editor.] | Gécseg, Ferenc [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 944Source: 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): .
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela. by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1256Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings / edited by Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko. by Chan, Chien-Chung [editor.] | Grzymala-Busse, Jerzy W [editor.] | Ziarko, Wojciech P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5306Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 598Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Baek, Joonsang [editor.] | Bao, Feng [editor.] | Chen, Kefei [editor.] | Lai, Xuejia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5324Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings / edited by Volker Diekert, Dirk Nowotka. by Diekert, Volker [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5583Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch. by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3967Source: 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): .
|
