|
|
|
Object-Oriented Technology. ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel. by Südholt, Mario [editor.] | Consel, Charles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4379Source: 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): .
|
|
|
|
Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics [electronic resource] : 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Elena Marchiori, Jason H. Moore, Jagath C. Rajapakse. by Marchiori, Elena [editor.] | Moore, Jason H [editor.] | Rajapakse, Jagath C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4447Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. by Clavel, Manuel [author.] | Durán, Francisco [author.] | Eker, Steven [author.] | Lincoln, Patrick [author.] | Martí-Oliet, Narciso [author.] | Meseguer, José [author.] | Talcott, Carolyn [author.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4350Source: 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): .
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf. by Baral, Chitta [editor.] | Brewka, Gerhard [editor.] | Schlipf, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4483Source: 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 Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo. by Wang, Qing [editor.] | Pfahl, Dietmar [editor.] | Raffo, David M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4470Source: 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): .
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers / edited by George Almási, Călin Caşcaval, Peng Wu. by Almási, George [editor.] | Caşcaval, Călin [editor.] | Wu, Peng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4382Source: 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): .
|
|
|
|
Network Control and Optimization [electronic resource] : First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings / edited by Tijani Chahed, Bruno Tuffin. by Chahed, Tijani [editor.] | Tuffin, Bruno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4465Source: 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): .
|
|
|
|
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L [editor.] | Vitek, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4467Source: 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): .
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga [editor.] | Raymond, Kerry [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4531Source: 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): .
|
|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4468Source: 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): .
|
|
|
|
|
|
|
|
Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings / edited by Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi. by Concas, Giulio [editor.] | Damiani, Ernesto [editor.] | Scotto, Marco [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4536Source: 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 Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo [editor.] | Garcia, Alessandro [editor.] | Giese, Holger [editor.] | Leung, Ho-fung [editor.] | Lucena, Carlos [editor.] | Romanovsky, Alexander [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4408Source: 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): .
|
|
|
|
|
|
|
|
Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. by Davies, Jim [editor.] | Gibbons, Jeremy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4591Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Schmidt, Heinz W [editor.] | Crnkovic, Ivica [editor.] | Heineman, George T [editor.] | Stafford, Judith A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4608Source: 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): .
|