|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. by Schreck, Pascal [editor.] | Narboux, Julien [editor.] | Richter-Gebert, Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6877Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. by Jouannaud, Jean-Pierre [editor.] | Shao, Zhong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7086Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings / edited by Antonio Fernàndez Anta, Giuseppe Lipari, Matthieu Roy. by Fernàndez Anta, Antonio [editor.] | Lipari, Giuseppe [editor.] | Roy, Matthieu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7109Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. by Domenach, Florent [editor.] | Ignatov, Dmitry I [editor.] | Poelmans, Jonas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7278Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. by Jeuring, Johan [editor.] | Campbell, John A [editor.] | Carette, Jacques [editor.] | Reis, Gabriel [editor.] | Sojka, Petr [editor.] | Wenzel, Makarius [editor.] | Sorge, Volker [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7362Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Grammar [electronic resource] : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers / edited by Philippe Groote, Mark-Jan Nederhof. by Groote, Philippe [editor.] | Nederhof, Mark-Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7395Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin. by Kahl, Wolfram [editor.] | Griffin, Timothy G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7560Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris [editor.] | Miller, Dale [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7679Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings / edited by Roberto Baldoni, Paola Flocchini, Ravindran Binoy. by Baldoni, Roberto [editor.] | Flocchini, Paola [editor.] | Binoy, Ravindran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7702Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7880Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7961Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz. by Libkin, Leonid [editor.] | Kohlenbach, Ulrich [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8071Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] | Nederhof, Mark-Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8036Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by Ida, Tetsuo [editor.] | Fleuriot, Jacques [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7993Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
