|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9537 | Lecture Notes in Computer Science ; 9537Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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): .
|
|
|
|
|
Mathematical Foundations of Computer Science 2003 [electronic resource] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings / edited by Branislav Rovan, Peter Vojtáš. by Rovan, Branislav [editor.] | Vojtáš, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2747Source: 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): .
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings / edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger. by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2719Source: 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): .
|
|
|
|
|
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield. by Bradfield, Julian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, Proceedings.Online 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): .
|
|
|
|
|
|
|
|
|
|
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 713Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 1988 [electronic resource] : Proceedings of the 13th Symposium Carlsbad, Czechoslovakia, August 29 – September 2, 1988 / edited by Michal P. Chytil, Václav Koubek, Ladislav Janiga. by Chytil, Michal P [editor.] | Koubek, Václav [editor.] | Janiga, Ladislav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 324Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
