|
|
|
|
|
|
|
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Peña. by Loidl, Hans-Wolfgang [editor.] | Peña, Ricardo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7829Source: 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 Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8123Source: 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): .
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8137Source: 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 Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by Cabalar, Pedro [editor.] | Son, Tran Cao [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8148Source: 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): .
|
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller. by Rendell, Alistair P [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8122Source: 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): .
|
|
|
|
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [editor.] | Bensalem, Saddek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8174Source: 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): .
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by Fontaine, Pascal [editor.] | Ringeissen, Christophe [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8152Source: 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): .
|
|
|
|
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Bois, Phil Trinder. by Bois, André Rauber [editor.] | Trinder, Phil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8129Source: 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 Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by Groves, Lindsay [editor.] | Sun, Jing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8144Source: 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): .
|
|
|
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf. by Tompits, Hans [editor.] | Abreu, Salvador [editor.] | Oetsch, Johannes [editor.] | Pührer, Jörg [editor.] | Seipel, Dietmar [editor.] | Umeda, Masanobu [editor.] | Wolf, Armin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7773Source: 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): .
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsoukiàs, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8176Source: 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 for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8312Source: 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): .
|
|
|
|
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal Fallah Seghrouchni, Michael Winikoff. by Cossentino, Massimo [editor.] | Fallah Seghrouchni, Amal [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8245Source: 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): .
|
|
|
|
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | Leroy, Pascal [editor.] | Schonberg, Edmond [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8339Source: 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): .
|
|
|
|
|
|
|
|
|