|
|
|
Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. by Butler, Michael [editor.] | Hinchey, Michael G [editor.] | Larrondo-Petrie, María M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4789Source: 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): .
|
|
|
|
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell. by Cerqueira, Renato [editor.] | Campbell, Roy H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4834Source: 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): .
|
|
|
|
Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. by Backhouse, Roland [editor.] | Gibbons, Jeremy [editor.] | Hinze, Ralf [editor.] | Jeuring, Johan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4719Source: 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): .
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007. Proceedings / edited by José Neves, Manuel Filipe Santos, José Manuel Machado. by Neves, José [editor.] | Santos, Manuel Filipe [editor.] | Machado, José Manuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4874Source: 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): .
|
|
|
|
Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal. by Tovar, Eduardo [editor.] | Tsigas, Philippas [editor.] | Fouchal, Hacène [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4878Source: 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): .
|
|
|
|
|
|
|
|
Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / edited by Markus Lumpe, Wim Vanderperren. by Lumpe, Markus [editor.] | Vanderperren, Wim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4829Source: 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): .
|
|
|
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / edited by Paul Hudak, David S. Warren. by Hudak, Paul [editor.] | Warren, David S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4902Source: 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): .
|
|
|
|
Distributed Computing and Networking [electronic resource] : 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / edited by Shrisha Rao, Mainak Chatterjee, Prasad Jayanti, C. Siva Ram Murthy, Sanjoy Kumar Saha. by Rao, Shrisha [editor.] | Chatterjee, Mainak [editor.] | Jayanti, Prasad [editor.] | Murthy, C. Siva Ram [editor.] | Saha, Sanjoy Kumar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4904Source: 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 Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / edited by Jesús Labarta, Kazuki Joe, Toshinori Sato. by Labarta, Jesús [editor.] | Joe, Kazuki [editor.] | Sato, Toshinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4759Source: 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): .
|
|
|
|
|
|
|
|
Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / edited by Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli. by Blockeel, Hendrik [editor.] | Ramon, Jan [editor.] | Shavlik, Jude [editor.] | Tadepalli, Prasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4894Source: 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): .
|
|
|
|
|
|
|
|
Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / edited by Gilles Barthe, Cédric Fournet. by Barthe, Gilles [editor.] | Fournet, Cédric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4912Source: 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): .
|
|
|
|
Genetic Programming [electronic resource] : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings / edited by Michael O’Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alcázar, Ivanoe Falco, Antonio Cioppa, Ernesto Tarantino. by O’Neill, Michael [editor.] | Vanneschi, Leonardo [editor.] | Gustafson, Steven [editor.] | Esparcia Alcázar, Anna Isabel [editor.] | Falco, Ivanoe [editor.] | Cioppa, Antonio [editor.] | Tarantino, Ernesto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4971Source: 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): .
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn. by Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4942Source: 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): .
|
|
|
|
Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by Sophia Drossopoulou. by Drossopoulou, Sophia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4960Source: 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): .
|
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings / edited by Elena Marchiori, Jason H. Moore. by Marchiori, Elena [editor.] | Moore, Jason H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4973Source: 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): .
|