|
|
|
|
|
|
|
|
|
Transactions on Edutainment IV [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Xiaopeng Zhang, Kevin Wong. by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | Zhang, Xiaopeng [editor.] | Wong, Kevin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6250Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Integration of Software Specification Techniques for Applications in Engineering [electronic resource] : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper. by Ehrig, Hartmut [editor.] | Damm, Werner [editor.] | Desel, Jörg [editor.] | Große-Rhode, Martin [editor.] | Reif, Wolfgang [editor.] | Schnieder, Eckehard [editor.] | Westkämper, Engelbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3147Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 8th International Conference, ICCHP 2002 Linz, Austria, July 15–20, 2002 Proceedings / edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler. by Miesenberger, Klaus [editor.] | Klaus, Joachim [editor.] | Zagler, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2398Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computers for Handicapped Persons [electronic resource] : 4th International Conference, ICCHP '94 Vienna, Austria, September 14–16, 1994 Proceedings / edited by Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner. by Zagler, Wolfgang L [editor.] | Busby, Geoffrey [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 860Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Riemann and Klein surfaces, automorphisms, symmetries and moduli spaces : [electronic resource] conference in honor of Emilio Bujalance on Riemann and Klein surfaces, symmetries and moduli spaces, June 24-28, 2013, Linkoping University, Linkoping, Sweden / Milagros Izquierdo, S. Allen Broughton, Antonio F. Costa, Rubi E. Rodriguez, editors. by Izquierdo, Milagros, 1963- [editor of compilation.] | Broughton, S. Allen, 1951- [editor of compilation.] | Costa, A. F, 1960- [editor of compilation.] | Rodr�iguez, Rub�i E, 1953- [editor of compilation.]. Series: Contemporary mathematics ; v. 629Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Expert Systems in Engineering Principles and Applications [electronic resource] : International Workshop Vienna, Austria, September 24–26, 1990 Proceedings / edited by Georg Gottlob, Wolfgang Nejdl. by Gottlob, Georg [editor.] | Nejdl, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 462Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: International Workshop. Vienna, Austria, September 24-26, 1990. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Diophantine Approximation [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000 / by David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt ; edited by Francesco Amoroso, Umberto Zannier. by Masser, David [author.] | Nesterenko, Yuri V [author.] | Schlickewei, Hans Peter [author.] | Schmidt, Wolfgang [author.] | Waldschmidt, Michel [author.] | Amoroso, Francesco [editor.] | Zannier, Umberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics, Fondazione C.I.M.E., Firenze ; 1819Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings / edited by W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth, Wolfgang Händler. by Brauer, W [editor.] | Hansen, P. Brinch [editor.] | Gries, D [editor.] | Moler, C [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | Händler, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 111Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff. by Havelund, Klaus [editor.] | Núñez, Manuel [editor.] | Roşu, Grigore [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4262Source: 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): .
|
|
|
|
|
Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings / edited by Wolfgang Nejdl, Judy Kay, Pearl Pu, Eelco Herder. by Nejdl, Wolfgang [editor.] | Kay, Judy [editor.] | Pu, Pearl [editor.] | Herder, Eelco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5149Source: 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): .
|
|
|
|
|
Euro-Par 2006: Parallel Processing [electronic resource] : Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / edited by Wolfgang Lehner, Norbert Meyer, Achim Streit, Craig Stewart. by Lehner, Wolfgang [editor.] | Meyer, Norbert [editor.] | Streit, Achim [editor.] | Stewart, Craig [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4375Source: 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): .
|
|
|
|
|
Cellular Automata [electronic resource] : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini. by Umeo, Hiroshi [editor.] | Morishita, Shin [editor.] | Nishinari, Katsuhiro [editor.] | Komatsuzaki, Toshihiko [editor.] | Bandini, Stefania [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5191Source: 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): .
|
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings / edited by Juan González Nieto, Wolfgang Reif, Guojun Wang, Jadwiga Indulska. by González Nieto, Juan [editor.] | Reif, Wolfgang [editor.] | Wang, Guojun [editor.] | Indulska, Jadwiga [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5586Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero. by Rothlauf, Franz [editor.] | Branke, Jürgen [editor.] | Cagnoni, Stefano [editor.] | Corne, David Wolfe [editor.] | Drechsler, Rolf [editor.] | Jin, Yaochu [editor.] | Machado, Penousal [editor.] | Marchiori, Elena [editor.] | Romero, Juan [editor.] | Smith, George D [editor.] | Squillero, Giovanni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3449Source: 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): .
|
|
|
|
|
Particle Induced Electron Emission I [electronic resource] / edited by Max Rösler, Wolfram Brauer, Jacques Devooght, Jean-Claude Dehaes, Alain Dubus, Michel Cailler, Jean-Pierre Ganachaud. by Rösler, Max [editor.] | Brauer, Wolfram [editor.] | Devooght, Jacques [editor.] | Dehaes, Jean-Claude [editor.] | Dubus, Alain [editor.] | Cailler, Michel [editor.] | Ganachaud, Jean-Pierre [editor.] | SpringerLink (Online service). Series: Springer Tracts in Modern Physics ; 122Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Global Differential Geometry and Global Analysis [electronic resource] : Proceedings of the Colloquium Held at the Technical University of Berlin, November 21 – 24, 1979 / edited by Dirk Ferus, Wolfgang Kühnel, Udo Simon, Bernd Wegner. by Ferus, Dirk [editor.] | Kühnel, Wolfgang [editor.] | Simon, Udo [editor.] | Wegner, Bernd [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 838Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
