|
|
|
|
|
|
|
Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings / edited by Sven Apel, Ethan Jackson. by Apel, Sven [editor.] | Jackson, Ethan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6708Source: 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): .
|
|
|
|
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer. by Gopalakrishnan, Ganesh [editor.] | Qadeer, Shaz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6806Source: 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): .
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. by Brünnler, Kai [editor.] | Metcalfe, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6793Source: 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): .
|
|
|
|
Knowledge Processing and Data Analysis [electronic resource] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / edited by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger. by Wolff, Karl Erich [editor.] | Palchunov, Dmitry E [editor.] | Zagoruiko, Nikolay G [editor.] | Andelfinger, Urs [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6581Source: 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): .
|
|
|
|
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost. by Pogodalla, Sylvain [editor.] | Prost, Jean-Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6736Source: 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): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings / edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel. by Bouchou-Markhoff, Béatrice [editor.] | Caron, Pascal [editor.] | Champarnaud, Jean-Marc [editor.] | Maurel, Denis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6807Source: 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): .
|
|
|
|
Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. by Bezhanishvili, Nick [editor.] | Löbner, Sebastian [editor.] | Schwabe, Kerstin [editor.] | Spada, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6618Source: 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): .
|
|
|
|
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. by Groce, Alex [editor.] | Musuvathi, Madanlal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6823Source: 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): .
|
|
|
|
Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati. by Mauri, Giancarlo [editor.] | Leporati, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6795Source: 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): .
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre. by Leite, João [editor.] | Torroni, Paolo [editor.] | Ågotnes, Thomas [editor.] | Boella, Guido [editor.] | Torre, Leon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6814Source: 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): .
|
|
|
|
Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka. by Huzar, Zbigniew [editor.] | Koci, Radek [editor.] | Meyer, Bertrand [editor.] | Walter, Bartosz [editor.] | Zendulka, Jaroslav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4980Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. by Holzer, Markus [editor.] | Kutrib, Martin [editor.] | Pighizzini, Giovanni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6808Source: 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): .
|
|
|
|
Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes. by Weyns, Danny [editor.] | Gleizes, Marie-Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6788Source: 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): .
|
|
|
|
|
|
|
|
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation [electronic resource] : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich. by Goldreich, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6650Source: 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): .
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings / edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe. by Davenport, James H [editor.] | Farmer, William M [editor.] | Urban, Josef [editor.] | Rabe, Florian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6824Source: 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): .
|