|
|
|
|
|
|
|
Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge. by Najm, Elie [editor.] | Pradat-Peyre, Jean-François [editor.] | Donzeau-Gouge, Véronique Viguié [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4229Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4143Source: 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): .
|
|
|
|
|
|
|
|
Information Retrieval Technology [electronic resource] : Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006. Proceedings / edited by Hwee Tou Ng, Mun-Kew Leong, Min-Yen Kan, Donghong Ji. by Ng, Hwee Tou [editor.] | Leong, Mun-Kew [editor.] | Kan, Min-Yen [editor.] | Ji, Donghong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4182Source: 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): .
|
|
|
|
|
|
|
|
Genetic Programming [electronic resource] : European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000. Proceedings / edited by Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian Miller, Peter Nordin, Terence C. Fogarty. by Poli, Riccardo [editor.] | Banzhaf, Wolfgang [editor.] | Langdon, William B [editor.] | Miller, Julian [editor.] | Nordin, Peter [editor.] | Fogarty, Terence C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1802Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms [electronic resource] : AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers / edited by Han Poutré, Norman M. Sadeh, Sverker Janson. by Poutré, Han [editor.] | Sadeh, Norman M [editor.] | Janson, Sverker [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3937Source: 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): .
|
|
|
|
General Theory of Information Transfer and Combinatorics [electronic resource] / edited by Rudolf Ahlswede, Lars Bäumer, Ning Cai, Harout Aydinian, Vladimir Blinovsky, Christian Deppe, Haik Mashurian. by Ahlswede, Rudolf [editor.] | Bäumer, Lars [editor.] | Cai, Ning [editor.] | Aydinian, Harout [editor.] | Blinovsky, Vladimir [editor.] | Deppe, Christian [editor.] | Mashurian, Haik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4123Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Fault Diagnosis and Tolerance in Cryptography [electronic resource] : Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006. Proceedings / edited by Luca Breveglieri, Israel Koren, David Naccache, Jean-Pierre Seifert. by Breveglieri, Luca [editor.] | Koren, Israel [editor.] | Naccache, David [editor.] | Seifert, Jean-Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4236Source: 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): .
|
|
|
|
Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. by Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3167Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings / edited by Hee Yong Youn, Minkoo Kim, Hiroyuki Morikawa. by Youn, Hee Yong [editor.] | Kim, Minkoo [editor.] | Morikawa, Hiroyuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4239Source: 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): .
|
|
|
|
Advances in Information Systems [electronic resource] : 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20,2006. Proceedings / edited by Tatyana Yakhno, Erich J. Neuhold. by Yakhno, Tatyana [editor.] | Neuhold, Erich J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4243Source: 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): .
|