Depotbiblioteket

Springer, Philip
Språk ikke angitt 2017-11-03

Springer, Philip
Språk ikke angitt 2017-11-24

Springer, Philip
Språk ikke angitt 2013-12-12

Springer, Tony
Språk ikke angitt 2017-11-24

Springer, Tony
Språk ikke angitt 2018-12-05

Springer, Tony
Språk ikke angitt 2007-11-19

Der Durchfluß des Wassers durch Röhren und Gräben insbesondere durch Werkgräben großer Abmessungen

Forchheimer, Philipp
Bok Tysk 1923

Introduction to Lie groups and transformation groups

Tondeur, Philippe
Inngår i serie: Lecture notes in mathematics (7)
Bok Engelsk 1965

Javits, Joan
Engelsk 2021-11-26

Martina Jensen
Språk ikke angitt 2018-12-05 · Forventes utgitt en.on.Comp

Språk ikke angitt 2012-11-16

Javits, Joan
Språk ikke angitt 2014-11-29

Javits, Joan
Engelsk 2015-07-06

Javits, Joan Ellen
Engelsk 2012-11-23

Javits, Joan Ellen
Engelsk 2014-11-10

Journal on data semantics. VI. Special issue on emergent semantics

Stefano Spaccapietra, Karl Aberer, Philip...
Inngår i serie: Lecture notes in computer science (4090)
Bok Engelsk c2006

Xmas Massacre
Språk ikke angitt 2011-11-11 · Forventes utgitt en.on.Comp

Virtual colonoscopy : a practical guide

P. Lefere, S. Gryspeerdt (eds.)
Inngår i serie: Medical radiology, Diagnostic imaging
Bok Engelsk c2006

Algorithmic learning theory : 17th international conference, ALT 2006, Barcelona, Spain, October 7-10, 2006 : proceedings

ALT 2006
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (4264)
Bok Engelsk c2006

Technologies for advanced heterogeneous networks II : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006 : proceedings

Asian Internet Engineering Conference
Inngår i serie: Lecture notes in computer science (4311)
Bok Engelsk c2006

Parallel problem solving from nature : PPSN IX : 9th international conference, Reykjavik, Iceland, September 9-13, 2006 : proceedings

International Conference on Parallel Problem Solving fromNature
Inngår i serie: Lecture notes in computer science (4193)
Bok Engelsk c2006

Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings

International Symposium on Functional and Logic Programming
Inngår i serie: Lecture notes in computer science (3945)
Bok Engelsk c2006

Javits, Joan
Språk ikke angitt 2011-11-11

Integrated circuit and system design : power and timing modeling, optimization and simulation : 16th international workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006 : proceedings

PATMOS 2006
Inngår i serie: Lecture notes in computer science (4148)
Bok Engelsk c2006

Privacy enhancing technologies : 6th international workshop, PET 2006, Cambridge, UK, June 28-30, 2006 : revised selected papers

PET 2006
Inngår i serie: Lecture notes in computer science (4258)
Bok Engelsk c2006

Algorithms in bioinformatics : 6th international workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006 : proceedings

WABI 2006
Inngår i serier: Lecture notes in bioinformatics, Lecture notes in computer science (4175)
Bok Engelsk c2006

Technologies for advanced heterogeneous networks : First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005 : proceedings

Asian Internet Engineering Conference
Inngår i serie: Lecture notes in computer science (3837)
Bok Engelsk c2005

Javits, Joan.
Musikk på CD Engelsk 2005

Ikke til utlån

Computer analysis of images and patterns : 11th international conference, CAIP 2005, Versailles, France, September 5-8, 2005 : proceedings

CAIP 2005
Inngår i serie: Lecture notes in computer science (3691)
Bok Engelsk c2005

Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings

International Conference on Application and Theory of Petri Nets
Inngår i serie: Lecture notes in computer science (3536)
Bok Engelsk c2005

Engineering human computer interaction and interactive systems : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004 : revised selected papers

Joint Working Conference EHCI-DSVIS 2004
Inngår i serie: Lecture notes in computer science (3425)
Bok Engelsk c2005

Logical aspects of computational linguistics : 5th international conference, LACL 2005, Bordeaux, France, April 28-30, 2005 : proceedings

LACL 2005
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3492)
Bok Engelsk c2005

Introduction to algebraic independence theory

Yuri V. Nesterenko, Patrice Philippon (ed...
Inngår i serie: Lecture notes in mathematics (1752)
Bok Engelsk c2001

CONCUR 2004 - concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings

CONCUR 2004
Inngår i serie: Lecture notes in computer science (3170)
Bok Engelsk c2004

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers

DSV-IS 2000
Inngår i serie: Lecture notes in computer science (1946)
Bok Engelsk c2001

Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings

European Conference ECSQARU
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2143)
Bok Engelsk c2001

Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS'99, Toulouse, France, October 12-15, 1999 : proceedings

IDMS '99
Inngår i serie: Lecture notes in computer science (1718)
Bok Engelsk c1999

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings

International Conference on Logic Programming
Inngår i serie: Lecture notes in computer science (2237)
Bok Engelsk c2001

Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29, 2001 : proceedings

LACL 2001
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2099)
Bok Engelsk c2001

Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers

OPODIS 2003
Inngår i serie: Lecture notes in computer science (3144)
Bok Engelsk c2004

Advances in knowledge discovery and data mining : 6th Pacific-Asia conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002 : proceedings

Pacific Asia Conference on Knowledge Discovery and Data Mining
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2336)
Bok Engelsk c2002

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

PADL 2003
Inngår i serie: Lecture notes in computer science (2562)
Bok Engelsk c2002

Advances in computing science - ASIAN'98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings

Asian Computing Science Conference
Inngår i serie: Lecture notes in computer science (1538)
Bok Engelsk c1998

Knots and links in three-dimensional flows

Ghrist, Robert W.
Inngår i serie: Lecture notes in mathematics (1654)
Bok Engelsk c1997

Allgemeine Physiologie der Nerven und des Zentralnervensystems

Inngår i serie: Handbuch der normalen und pathologischen Physiologie (9)
Bok Tysk 1929

Prototyping : an approach to evolutionary system development

Reinhard Budde ... [et al.] ; with the co...
Bok Engelsk c1992

Nonlinear oscillations, dynamical systems, and bifurcations of vector fields

Guckenheimer, John
Inngår i serie: Applied mathematical sciences (42)
Bok Engelsk 1990

Kamber, Franz
Inngår i serie: Lecture notes in mathematics (67)
Bok Engelsk 1968

Vorwort und Einführung zum Gesamtwerk

List, Hans
Inngår i serie: Die Verbrennungskraftmaschine (Bd. 1, T. 1)
Bok Tysk 1949

Adaptive learning environments : foundations and frontiers

NATO Advanced Study Institute on Synthesis of Instructional Science and Computing Science for Effective Instructional Computing Systems
Inngår i serie: NATO ASI series. Series F, Computer and systems sciences (85)
Bok Engelsk c1992