|
|
|
|
The Semantic Web - ISWC 2008 [electronic resource] : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings / edited by Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan. by Sheth, Amit [editor.] | Staab, Steffen [editor.] | Dean, Mike [editor.] | Paolucci, Massimo [editor.] | Maynard, Diana [editor.] | Finin, Timothy [editor.] | Thirunarayan, Krishnaprasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5318Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Bassiliades, Nick [editor.] | Governatori, Guido [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5321Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / edited by Andy Schürr, Manfred Nagl, Albert Zündorf. by Schürr, Andy [editor.] | Nagl, Manfred [editor.] | Zündorf, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5088Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Cervesato, Iliano [editor.] | Veith, Helmut [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5330Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Agents and Multi-Agent Systems [electronic resource] : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings / edited by The Duy Bui, Tuong Vinh Ho, Quang Thuy Ha. by Bui, The Duy [editor.] | Ho, Tuong Vinh [editor.] | Ha, Quang Thuy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5357Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
The Semantic Web [electronic resource] : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings. / edited by John Domingue, Chutiporn Anutariya. by Domingue, John [editor.] | Anutariya, Chutiporn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5367Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Recent Advances in Constraints [electronic resource] : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / edited by François Fages, Francesca Rossi, Sylvain Soliman. by Fages, François [editor.] | Rossi, Francesca [editor.] | Soliman, Sylvain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5129Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5382Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Engineering Interactive Systems [electronic resource] : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers / edited by Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. Veer, Janet Wesson. by Gulliksen, Jan [editor.] | Harning, Morton Borup [editor.] | Palanque, Philippe [editor.] | Veer, Gerrit C [editor.] | Wesson, Janet [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4940Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
High Performance Embedded Architectures and Compilers [electronic resource] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings / edited by André Seznec, Joel Emer, Michael O’Boyle, Margaret Martonosi, Theo Ungerer. by Seznec, André [editor.] | Emer, Joel [editor.] | O’Boyle, Michael [editor.] | Martonosi, Margaret [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5409Source: 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): .
|
|
|
|
|
Computer Performance Evaluation and Benchmarking [electronic resource] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings / edited by David Kaeli, Kai Sachs. by Kaeli, David [editor.] | Sachs, Kai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5419Source: 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): .
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm. by Jones, Neil D [editor.] | Müller-Olm, Markus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5403Source: 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): .
|
|
|
|
|
Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo [editor.] | Son, Tran Cao [editor.] | Riemsdijk, M. Birna [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5397Source: 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): .
|
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers / edited by Lars Svensson, José Monteiro. by Svensson, Lars [editor.] | Monteiro, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5349Source: 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): .
|
|
|
|
|
Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by Michael Leuschel, Heike Wehrheim. by Leuschel, Michael [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5423Source: 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): .
|
|
|
|
|
Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge. by Peled, Doron A [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5348Source: 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): .
|
