|
|
|
|
ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider. by Treharne, Helen [editor.] | King, Steve [editor.] | Henson, Martin [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3455Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Scientific Applications of Grid Computing [electronic resource] : First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers / edited by Pilar Herrero, María S. Pérez, Víctor Robles. by Herrero, Pilar [editor.] | Pérez, María S [editor.] | Robles, Víctor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3458Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings / edited by André Gagalowicz, Wilfried Philips. by Gagalowicz, André [editor.] | Philips, Wilfried [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3691Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Scale Space and PDE Methods in Computer Vision [electronic resource] : 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings / edited by Ron Kimmel, Nir A. Sochen, Joachim Weickert. by Kimmel, Ron [editor.] | Sochen, Nir A [editor.] | Weickert, Joachim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3459Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations / edited by Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad Moorsel, Maarten Steen. by Babaoglu, Ozalp [editor.] | Jelasity, Márk [editor.] | Montresor, Alberto [editor.] | Fetzer, Christof [editor.] | Leonardi, Stefano [editor.] | Moorsel, Aad [editor.] | Steen, Maarten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3460Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings / edited by Raouf Boutaba, Kevin Almeroth, Ramon Puigjaner, Sherman Shen, James P. Black. by Boutaba, Raouf [editor.] | Almeroth, Kevin [editor.] | Puigjaner, Ramon [editor.] | Shen, Sherman [editor.] | Black, James P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3462Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Service Availability [electronic resource] : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers / edited by Miroslaw Malek, Edgar Nett, Neeraj Suri. by Malek, Miroslaw [editor.] | Nett, Edgar [editor.] | Suri, Neeraj [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3694Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Dependable Computing - EDCC 5 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings / edited by Mario Cin, Mohamed Kaâniche, András Pataricza. by Cin, Mario [editor.] | Kaâniche, Mohamed [editor.] | Pataricza, András [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3463Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Spatial Information Theory [electronic resource] : International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings / edited by Anthony G. Cohn, David M. Mark. by Cohn, Anthony G [editor.] | Mark, David M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3693Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo. by Bernardo, Marco [editor.] | Bogliolo, Alessandro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3465Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Unconventional Computation [electronic resource] : 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Păun, Mario J. Pérez-Jímenez, Grzegorz Rozenberg. by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Păun, Gheorghe [editor.] | Pérez-Jímenez, Mario J [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3699Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / edited by Mario Coppo, Elena Lodi, G. Michele Pinna. by Coppo, Mario [editor.] | Lodi, Elena [editor.] | Pinna, G. Michele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3701Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings / edited by François Fages, Sylvain Soliman. by Fages, François [editor.] | Soliman, Sylvain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3703Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Brain, Vision, and Artificial Intelligence [electronic resource] : First International Symposium, BVAI 2005, Naples, Italy, October 19 – 21, 2005. Proceedings / edited by Massimo Gregorio, Vito Maio, Maria Frucci, Carlo Musio. by Gregorio, Massimo [editor.] | Maio, Vito [editor.] | Frucci, Maria [editor.] | Musio, Carlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3704Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / edited by Dominique Borrione, Wolfgang Paul. by Borrione, Dominique [editor.] | Paul, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3725Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mobility Aware Technologies and Applications [electronic resource] : Second International Workshop, MATA 2005, Montreal, Canada, October 17-19, 2005. Proceedings / edited by Thomas Magedanz, Ahmed Karmouch, Samuel Pierre, Iakovos Venieris. by Magedanz, Thomas [editor.] | Karmouch, Ahmed [editor.] | Pierre, Samuel [editor.] | Venieris, Iakovos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3744Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
