|
|
|
Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1289Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Image Analysis and Recognition [electronic resource] : 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings / edited by Aurélio Campilho, Mohamed Kamel. by Campilho, Aurélio [editor.] | Kamel, Mohamed [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5112Source: 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): .
|
|
|
|
Wireless Sensor Networks [electronic resource] : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings / edited by Koen Langendoen, Thiemo Voigt. by Langendoen, Koen [editor.] | Voigt, Thiemo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4373Source: 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): .
|
|
|
|
Complex Motion [electronic resource] : First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers / edited by Bernd Jähne, Rudolf Mester, Erhardt Barth, Hanno Scharr. by Jähne, Bernd [editor.] | Mester, Rudolf [editor.] | Barth, Erhardt [editor.] | Scharr, Hanno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3417Source: 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): .
|
|
|
|
|
|
|
|
Image and Signal Processing [electronic resource] : 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings / edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass. by Elmoataz, Abderrahim [editor.] | Lezoray, Olivier [editor.] | Nouboud, Fathallah [editor.] | Mammass, Driss [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5099Source: 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, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz. by Hodges, Wilfrid [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5110Source: 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, High-Performance and Grid Computing in Computational Biology [electronic resource] : International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings / edited by Werner Dubitzky, Assaf Schuster, Peter M. A. Sloot, Michael Schroeder, Mathilde Romberg. by Dubitzky, Werner [editor.] | Schuster, Assaf [editor.] | Sloot, Peter M. A [editor.] | Schroeder, Michael [editor.] | Romberg, Mathilde [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4360Source: 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): .
|
|
|
|
Information Security and Privacy [electronic resource] : 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings / edited by Yi Mu, Willy Susilo, Jennifer Seberry. by Mu, Yi [editor.] | Susilo, Willy [editor.] | Seberry, Jennifer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5107Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information Theory and Applications II [electronic resource] : 4th Canadian Workshop Lac Delage, Québec, Canada, May 28–30, 1995 Selected Papers / edited by Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver. by Chouinard, Jean-Yves [editor.] | Fortier, Paul [editor.] | Gulliver, T. Aaron [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1133Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Discrete Geometry, Combinatorics and Graph Theory [electronic resource] : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers / edited by Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu. by Akiyama, Jin [editor.] | Chen, William Y. C [editor.] | Kano, Mikio [editor.] | Li, Xueliang [editor.] | Yu, Qinglin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4381Source: 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): .
|
|
|
|
|
|
|
|
Parallel Problem Solving from Nature — PPSN IV [electronic resource] : International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings / edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel. by Voigt, Hans-Michael [editor.] | Ebeling, Werner [editor.] | Rechenberg, Ingo [editor.] | Schwefel, Hans-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1141Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|