Refine your search

Your search returned 364 results.

Not what you expected? Check for suggestions
Sort
Results
Recent developments in high temperature superconductivity : proceedings of the 1st Polish-US conference, held at Wrocław and Duszniki Zdrój, Poland, 11-15 September 1995 / J. Klamut [and others], eds.

by Klamut, Jan | Polish-US Conference on High Temperature Superconductivity (1st : 1995 : Wrocław and Duszniki Zdrój, Poland).

Series: Lecture notes in physics ; 475.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Dynamics of coupled map lattices and of related spatially extended systems / [editors], J.-R. Chazottes, B. Fernandez.

by CML 2004 (2004 : Paris, France) | Chazottes, J.-R. (Jean-René) | Fernandez, B. (Bastien).

Series: Lecture notes in physics ; 671.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Modern trends in superconductivity and superfluidity / M. Yu. Kagan.

by Kagan, M. Yu. (Maxim Yu.) [author.].

Series: Lecture notes in physics ; 874.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer, [2013]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Neutrino oscillations : a practical guide to basics and applications / Fumihiko Suekano.

by Suekane, Fumihiko [author.].

Series: Lecture notes in physics ; volume 898.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Tokyo : Springer, 2015Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Spectra and dynamics of small molecules : Alexander von Humboldt Lectures / by Robert W. Field.

by Field, Robert W [author.].

Series: Lecture notes in physics ; volume 900.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Gauge invariance and Weyl-polymer quantization / Franco Strocchi.

by Strocchi, F [author.].

Series: Lecture notes in physics ; v. 904.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, ©2016Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Turing machines with sublogarithmic space / edited by Andrzej Szepietowski.

by Szepietowski, Andrzej.

Series: Serienbezeichnung | Lecture notes in computer science ; 843.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / Gianfranco Ciardo, Philippe Darondeau (eds.).

by International Conference on Applications and Theory of Petri Nets (26th : 2005 : Miami, Fla.) | Ciardo, Gianfranco | Darondeau, Philippe.

Series: Serienbezeichnung | Lecture notes in computer science ; 3536.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2005Other title: ICATPN 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algebraic coding : first French-Soviet workshop, Paris, July 22-24, 1991 : proceedings / G. Cohen [and others] (eds.).

by French-Soviet Workshop on Algebraic Coding (1st : 1991 : Paris, France) | Cohen, G. (Gérard), 1951-.

Series: Serienbezeichnung | Lecture notes in computer science ; 573.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings / R.E. Zippel (ed.).

by Zippel, R. E. (Richard E.), 1952-.

Series: Serienbezeichnung | Lecture notes in computer science ; 584.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Lectures on Petri Nets I: Basic Models : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

by Reisig, Wolfgang | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 1491,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Scientific Computing in Object-Oriented Parallel Environments : First International Conference, ISCOPE 97 Marina del Rey, California, USA December 811, 1997 Proceedings / edited by Yutaka Ishikawa, Rodney R. Oldehoeft, John V.W. Reynders, Marydell Tholburn.

by Ishikawa, Yutaka | Oldehoeft, Rodney R | Reynders, John V. W | Tholburn, Marydell.

Series: Serienbezeichnung | Lecture notes in computer science ; 1343,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag, 1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.

by Dershowitz, Nachum | Lindenstrauss, Naomi.

Series: Serienbezeichnung | Lecture notes in computer science ; 968.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Efficient Graph Rewriting and Its Implementation / edited by Heiko Dörr.

by Dörr, Heiko, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 922.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
PARLE '91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings / edited by Emile H.L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, E. H. L. (Emile H. L.) | Leeuwen, Jan | Rem, Martin.

Series: Serienbezeichnung | Lecture notes in computer science ; 505.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.).

by Conference on Computability in Europe (9th : 2013 : Milan, Italy) | Bonizzoni, Paola | Brattka, Vasco, 1966- | Löwe, Benedikt.

Series: Serienbezeichnung | Lecture notes in computer science ; 7921. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: CiE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (Eds.).

by ITP (Conference) (4th : 2013 : Rennes, France) | Blazy, Sandrine [editor.] | Paulin-Mohring, Christine, 1962- [editor.] | Pichardie, David [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7998. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2013Other title: ITP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany) | Libkin, Leonid [editor.] | Kohlenbach, U. (Ulrich) [editor.] | Queiroz, Ruy J. G. B. de [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8071.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / Davide Grossi, Olivier Roy, Huaxin Huang (eds.).

by LORI (Workshop) (4th : 2013 : Hangzhou, China) | Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8196. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: LORI 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / Gerwin Klein, Ruben Gamboa (Eds.).

by ITP (Conference) (5th : 2014 : Vienna, Austria) | Klein, Gerwin [editor.] | Gamboa, Ruben [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8558. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: ITP 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha