Refine your search

Your search returned 2100 results.

Not what you expected? Check for suggestions
1.
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 Publisher: Cham ;s.l. Springer International Publishing 2015Online access: Volltext Availability: Items available for reference: Books at IST Austria (1). Location(s): PhD Association .
2.
Information, physics, and computation Marc Mézard; Andrea Montanari

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

Material 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 IST Austria (1). Location(s): Serbyn Group .
3.
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 Publisher: Princeton, N.J. : Princeton University Press, c2006Online access: Table of contents only Availability: Items available for loan: Library (1). Location(s): 004.
4.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
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-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
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-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag [and others], (eds.).

by International Seminar on Logic Databases and the Meaning of Change (1996 : Schloss Dagstuhl) | Freitag, Burkhard, 1953- | Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (1997 : Port Jefferson, N.Y.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Fundamental approaches to software engineering : first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Egidio Astesiano, ed.

by FASE'98 (1998 : Lisbon, Portugal) | Astesiano, E. (Egidio), 1939- | ETAPS (Conference) (1st : 1998 : Lisbon, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Agents and multi-agent systems : formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 / Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.).

by Wobcke, Wayne, 1963- | Pagnucco, Maurice | Zhang, Chengqi | Australian Joint Artificial Intelligence Conference (10th : 1997 : Perth, W.A.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: Agents and multi-agent systems (Online).Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: 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). Location(s): EBook .
16.
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 : revised papers / Tom Wagner, Omer Rana (eds.).

by International Workshop on Infrastructure for Scalable Multi-Agent Systems (2000 : Barcelona, Spain) | Wagner, Tom, 1966- | Rana, Omer.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).

by International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany) | Grieskamp, Wolfgang, 1960- | Santen, Thomas, 1965- | Stoddart, Bill, 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers / Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin (eds.).

by IMS 2000 (2000 : Cambridge, Mass.) | Chong, Frederic T, 1968- | Kozyrakis, Christoforos, 1974- | Oskin, Mark, 1974-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Active media technology : 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001 : proceedings / Jiming Liu [and others] (eds.).

by International Computer Science Conference (6th : 2001 : Hong Kong, China) | Liu, Jiming, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha