Refine your search

Your search returned 2165 results.

Not what you expected? Check for suggestions
Sort
Results
Cyber-Humans: Our Future with Machines

by Barfield, Woodrow [aut].

Edition: 1st ed. 2015Material type: Text Text; Format: print available online remote; Literary form: Not fiction Language: English Publication details: Cham ;s.l. Springer International Publishing 2015Online access: Volltext Availability: Items available for reference: Books at groups: Not for loan (1).
Information, physics, and computation Marc Mézard; Andrea Montanari

by Mézard, Marc | Montanari, Andrea [VerfasserIn].

Series: Oxford graduate textsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Oxford [u.a.] Oxford Univ. Press 2012Online access: Inhaltsverzeichnis Inhaltsverzeichnis Availability: Items available for reference: Books at groups: Not for loan (1).
Introduction to computational science : modeling and simulation for the sciences / Angela B. Shiflet and George W. Shiflet.

by Shiflet, Angela B | Shiflet, George W, 1947-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Princeton, N.J. : Princeton University Press, c2006Online access: table of contents only Availability: Items available for loan: Library (1)Call number: 004-2006.
Space plasma simulation / J. Büchner, C.T. Dum, M. Scholer (eds.).

by Büchner, J. (Jörg) | Dum, C. T. (Christian T.) | Scholer, M, 1940-.

Series: Lecture notes in physics ; 615.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

by Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany) | Mehlhorn, Kurt, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 182.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1985Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers / Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.).

by Deza, M, 1939- | Euler, Reinhardt, 1950- | Manoussakis, Ioannis, 1957-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1120.Material type: Text Text; Format: print ; 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).
Computing and combinatorics : 6th annual international conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings / Ding-Zhu Du [and others].

by COCOON (Conference) (6th : 2000 : Sydney, N.S.W.) | Du, Dingzhu.

Series: Serienbezeichnung | Lecture notes in computer science ; 1858.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / P.S. Thiagarajan, R. Yap (eds.).

by Asian Computing Science Conference (5th : 1999 : Phuket, Thailand) | Thiagarajan, P. S | Yap, Roland H. C, 1963-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1742.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Discovery science : second international conference, DS'99, Tokyo, Japan, December 6-8, 1999, proceedings / Setsuo Arikawa, Koichi Furukawa, (eds.).

by Arikawa, S. (Setsuo), 1941- | Furukawa, Kōichi | International Conference on Discovery Science (2nd : 1999 : Tokyo, Japan).

Series: Serienbezeichnung | Lecture notes in computer science ; 1721. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings / Jieh Hsiang, Atsushi Ohori (eds.).

by Asian Computing Science Conference (4th : 1998 : Manila, Philippines) | Hsiang, Jieh, 1954- | Ohori, Atsushi, 1957-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1538.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego [and others] (eds).

by Ojeda-Aciego, Manuel, 1967-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1919. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings / Sanjiv Kapoor, Sanjiva Prasad (eds.).

by Conference on Foundations of Software Technology and Theoretical Computer Science (20th : 2000 : New Delhi, India) | Kapoor, Sanjiv, 1959- | Prasad, Sanjiva.

Series: Serienbezeichnung | Lecture notes in computer science ; 1974.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2000Other title: Foundations of software technology and theoretical computer science.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.).

by Brauer, Wilfried | Freksa, C | Jantzen, Matthias, 1948- | Valk, R. (Rüdiger).

Series: Serienbezeichnung | Lecture notes in computer science ; 1337.Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal and natural computing : essays dedicated to Grzegorz Rozenberg / Wilfried Brauer [and others] (eds.).

by Brauer, Wilfried.

Series: Serienbezeichnung | Lecture notes in computer science ; 2300.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; Heidelberg : Springer, ©2002Other title: Essays dedicated to Grzegorz Rozenberg.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings / David Bustard, Weiru Liu, Roy Sterritt, eds.

by Soft-Ware 2002 (2002 : Belfast, Northern Ireland) | Bustard, David, 1949- | Liu, Weiru, 1962- | Sterritt, Roy, 1971-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2311.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Next generation information technologies and systems : 5th international workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002 : proceedings / Alon Halevy, Avigdor Gal (eds.).

by NGITS 2002 (2002 : Caesarea, Israel) | Halevy, Alon | Avigdor, Gal.

Series: Serienbezeichnung | Lecture notes in computer science ; 2382.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Abstraction, reformulation, and approximation : 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings / Sven Koenig, Robert C. Holte (eds.).

by SARA 2002 (2002 : Kananaskis, Alta.) | Koenig, Sven, 1964- | Holte, Robert C.

Series: Serienbezeichnung | Lecture notes in computer science ; 2371. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / Alessandro Armando (ed.).

by FroCoS (Symposium) (4th : 2002 : Santa Margherita Ligure, Italy) | Armando, Alessandro.

Series: Serienbezeichnung | Lecture notes in computer science ; 2309. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by International Andrei Ershov Memorial Conference (4th : 2001 : Akademgorodok, Novosibirsk, Russia) | Bjørner, D. (Dines), 1937- | Broy, M, 1949- | Zamulin, A. V. (Aleksandr Vasilʹevich) | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 2244.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2001Other title: PSI 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings / Sergio Rajsbaum (ed.).

by Latin American Symposium on Theoretical Informatics (5th : 2002 : Cancun, Mexico) | Rajsbaum, Sergio.

Series: Serienbezeichnung | Lecture notes in computer science ; 2286.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha