|
|
|
|
SOFSEM 2016: Theory and Practice of Computer Science [electronic resource] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania. by Freivalds, Rūsiņš Mārtiņš [editor.] | Engels, Gregor [editor.] | Catania, Barbara [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9587 | Lecture Notes in Computer Science ; 9587Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 11th International Symposium, ISMIS’99 Warsaw, Poland, June 8–11, 1999 Proceedings / edited by Zbigniew W. Raś, Andrzej Skowron. by Raś, Zbigniew W [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1609Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Nature Inspired Problem-Solving Methods in Knowledge Engineering [electronic resource] : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II / edited by José Mira, José R. Álvarez. by Mira, José [editor.] | Álvarez, José R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4528Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings / edited by Axel Polleres, Terrance Swift. by Polleres, Axel [editor.] | Swift, Terrance [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5837Source: 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): .
|
|
|
|
|
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen. by Ibarra, Oscar H [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4094Source: 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): .
|
|
|
|
|
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton. by Croitoru, Madalina [editor.] | Marquis, Pierre [editor.] | Rudolph, Sebastian [editor.] | Stapleton, Gem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9501 | Lecture Notes in Computer Science ; 9501Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Ontology Engineering [electronic resource] : 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers / edited by Valentina Tamma, Mauro Dragoni, Rafael Gonçalves, Agnieszka Ławrynowicz. by Tamma, Valentina [editor.] | Dragoni, Mauro [editor.] | Gonçalves, Rafael [editor.] | Ławrynowicz, Agnieszka [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9557 | Lecture Notes in Computer Science ; 9557Edition: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] | Heflin, Jeff [editor.] | Sirin, Evren [editor.] | Tudorache, Tania [editor.] | Euzenat, Jérôme [editor.] | Hauswirth, Manfred [editor.] | Parreira, Josiane Xavier [editor.] | Hendler, Jim [editor.] | Schreiber, Guus [editor.] | Bernstein, Abraham [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7650Source: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] | Heflin, Jeff [editor.] | Sirin, Evren [editor.] | Tudorache, Tania [editor.] | Euzenat, Jérôme [editor.] | Hauswirth, Manfred [editor.] | Parreira, Josiane Xavier [editor.] | Hendler, Jim [editor.] | Schreiber, Guus [editor.] | Bernstein, Abraham [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7649Source: 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): .
|
|
|
|
|
Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods. by Brebner, Gordon [editor.] | Woods, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2147Source: 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): .
|
|
|
|
|
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas. by Fitzgerald, John [editor.] | Jones, Cliff B [editor.] | Lucas, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1313Source: 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): .
|
|
|
|
|
|
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Dash, Shubhransu Sekhar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8297Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Neural Networks – ICANN 2010 [electronic resource] : 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part II / edited by Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis. by Diamantaras, Konstantinos [editor.] | Duch, Wlodek [editor.] | Iliadis, Lazaros S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6353Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings / edited by Marc P. C. Fossorier, Hideki Imai, Shu Lin, Alain Poli. by Fossorier, Marc P. C [editor.] | Imai, Hideki [editor.] | Lin, Shu [editor.] | Poli, Alain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3857Source: 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): .
|
|
|
|
|
|
|
|
|
|
Methods and Applications of Artificial Intelligence [electronic resource] : Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004. Proceedings / edited by George A. Vouros, Themistoklis Panayiotopoulos. by Vouros, George A [editor.] | Panayiotopoulos, Themistoklis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3025Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
