3540698493 : 25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.)
BJL; QA 76.76 V47 T9
BOOK
c2008
3540699236 : Informatics education - supporting computational thinking : third international conference on informatics in secondary schools - evolution and perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 proceedings / Roland T. Mittermeir, Maciej M. Syslo.; International Conference on Informatics in Secondary Schools, Evolution and Perspectives
Informatics education - supporting computational thinking : third international conference on informa
BJL; LB 1028.43 I6
BOOK
c2008
3540708170 : Corporate ethics and corporate governance / Walther Ch. Zimmerli, Klaus Richter, Markus Holzinger (editors).
Corporate ethics and corporate governance / Walther Ch. Zimmerli, Klaus Richter, Markus Holzinger (ed
BJL; HF 5387 C8
BOOK
c2007
3540712844 : Differential equations driven by rough paths / École d'été de probabilités de Saint-Flour XXXIV - 2004 ; Terry J. Lyons, Michael Caruana, Thierry Lévy ; [editor, Jean Picard]; Ecole d'été de probabilités de Saint-Flour
Differential equations driven by rough paths / École d'été de probabilités de Saint-Flour XXXIV - 200
BJL; QA 370 E1
BOOK
c2007
Your entry 3540719172 would be here
3540723099 : Business ethics of innovation / G. Hanekamp (ed.).
Business ethics of innovation / G. Hanekamp (ed.).
BJL; HF 5387 B9
BOOK
2007
3540724451 : Lagomorph biology : evolution, ecology, and conservation / Paulo C. Alves, Nuno Ferrand, Klaus Hacklander (eds.).
Lagomorph biology : evolution, ecology, and conservation / Paulo C. Alves, Nuno Ferrand, Klaus Hackla
BJL
BOOK
c2008
3540732454 : Neural-symbolic cognitive reasoning / Artur S. d'Avila, Luis C. Lamb and Dov M. Gabbay.; D'Avila Garcez, Artur S.,
Neural-symbolic cognitive reasoning / Artur S. d'Avila, Luis C. Lamb and Dov M. Gabbay.
BJL; QA 76.87 D2
BOOK
2009
3540740899 : Swarm intelligence [electronic resource] : introduction and applications / Christian Blum, Daniel Merkle (eds.).
Swarm intelligence [electronic resource] : introduction and applications / Christian Blum, Daniel Mer
Online materials
EBOOKS
c2008
3540741801 : Algal chemical ecology / Charles D. Amsler, editor.
Algal chemical ecology / Charles D. Amsler, editor.
BJL; QK568.E26 A43 2008
BOOK
c2008
3540743324 : State responsibility for interferences with the freedom of navigation in public international law / Philipp Wendel.; Wendel, Philipp.
State responsibility for interferences with the freedom of navigation in public international law / P
BJL; KZA 1348 W4
BOOK
c2007
3540752536 : Multi-agent systems and applications V : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007 : proceedings / Hans-Dieter Burkhard ... [et al.] (eds.).; International Central and Eastern European Conference on Multi-Agent Systems
Multi-agent systems and applications V : 5th International Central and Eastern European Conference on
BJL; QA 76.76 I58 I6
BOOK
c2007
3540760113 : The new writing environment : writers at work in a world of technology / Mike Sharples and Thea van der Geest (eds).
The new writing environment : writers at work in a world of technology / Mike Sharples and Thea van d
BJL; PN 171 D37 N5
3540761802 : Vector calculus / P.C. Matthews.; Matthews, P. C.
Vector calculus / P.C. Matthews.
BJL; QA 433 M4
BOOK
c1998
3540762019 : Java and object orientation : an introduction.; Hunt, John,
Java and object orientation : an introduction.
BJL; QA 76.73 J38 H9
BOOK
1998
3540762108 : Distributed applications engineering : building new applications and managing legacy applications with distributed technologies / Inji Wijegunaratne and George Fernandez.; Wijegunaratne, Inji,
Distributed applications engineering : building new applications and managing legacy applications wit
BJL; QA 76.9 D5 W6
BOOK
1998
3540762175 : Active contours : the application of techniques from graphics, vision, control theory and statistics to visual tracking of shapes in motion / Andrew Blake and Michael Isard.; Blake, Andrew,
Active contours : the application of techniques from graphics, vision, control theory and statistics
BJL; TA 1634 B6
BOOK
1998
3540762256 : The organisation of integrated product development.; Paashuis, Victor,
The organisation of integrated product development.
BJL; TS 170 P1
BOOK
c1998
3540762604 : Measure, integral, and probability / Marek Capiński and Ekkehard Kopp.; Capiński, Marek,
Measure, integral, and probability / Marek Capiński and Ekkehard Kopp.
BJL; QA 312 C2
BOOK
1999
3540766979 : Laboratory guide to the methods in biochemical genetics / [edited by] Nenad Blau, Marinus Duran, K. Michael Gibson.
Laboratory guide to the methods in biochemical genetics / [edited by] Nenad Blau, Marinus Duran, K. M
BJL; RC 627.8 L1
BOOK
c2008
3540773460 : Advances in nonlinear speech processing : International Conference on Nonlinear Speech Processing, NOLISP 2007, Paris, France, May 22-25, 2007 : revised selected papers / Mohamed Chetouani ... [et al.] (eds.).; International Conference on Non-Linear Speech Processing.
Advances in nonlinear speech processing : International Conference on Nonlinear Speech Processing, NO
BJL; TK7882.S65 I566 2007
BOOK
c2007
354077436x : Conflict prevention in project management : strategies, methods, checklists and case studies / Wolfgang Spiess, Finn Felding.; Spiess, Wolfgang.
Conflict prevention in project management : strategies, methods, checklists and case studies / Wolfga
BJL; HD 69 P75 S7
BOOK
c2008
3540781382 : Advances in web based learning - ICWL 2007 : 6th international conference, Edinburgh, UK, August 15-17, 2007, revised papers / Howard Leung ... [et al.].; International Conference on Web Based Learning
Advances in web based learning - ICWL 2007 : 6th international conference, Edinburgh, UK, August 15-1
BJL; LB 1044.87 I6
BOOK
2008
354078280x : Angiogenesis inhibition / Rüdiger Liersch, Wolfgang E. Berdel, Torsten Kessler (eds.).
Angiogenesis inhibition / Rüdiger Liersch, Wolfgang E. Berdel, Torsten Kessler (eds.).
BJL; RC 267 R29(180)
BOOK
2010
3540783423 : Usability of speech dialog systems : listening to the target audience / Thomas Hempel (ed.).
Usability of speech dialog systems : listening to the target audience / Thomas Hempel (ed.).
BJL
BOOK
c2008
3540894292 : Digital human modeling : trends in human algorithms / Yang Cai (ed.).
Digital human modeling : trends in human algorithms / Yang Cai (ed.).
BJL; QA76.9.C65 D535 2008
BOOK
c2008
3540902066 : Functions of several variables.; Fleming, Wendell Helms,
Functions of several variables.
BJL; QA 331 F5
BOOK
1977
3540905065 : Seismic waves and sources.; Ben-Menahem, Ari.
Seismic waves and sources.
BJL; QE 538.5 B4
BOOK
1981
3540906878 : The ethics of social research : surveys and experiments / edited by Joan E. Sieber.
The ethics of social research : surveys and experiments / edited by Joan E. Sieber.
BJL; HM 1033 E8
BOOK
1982
3540906916 : The ethics of social research : fieldwork, regulation and publication / edited by Joan E. Sieber.
The ethics of social research : fieldwork, regulation and publication / edited by Joan E. Sieber.
BJL; HM 1033 E8
BOOK
1982
3540907165 : Development of nonverbal behavior in children / edited by Robert S. Feldman.
Development of nonverbal behavior in children / edited by Robert S. Feldman.
BJL; BF 723 C57 D4
BOOK
1982
3540908625 : Basic group processes / edited by Paul B. Paulus.
Basic group processes / edited by Paul B. Paulus.
BJL; HM 716 B3
BOOK
1983
3540927034 : Marine hard bottom communities : patterns, dynamics, diversity and change / Martin Wahl, editor.
Marine hard bottom communities : patterns, dynamics, diversity and change / Martin Wahl, editor.
BJL
BOOK
c2009
3540927042 : Marine hard bottom communities : patterns, dynamics, diversity and change / Martin Wahl, editor.
Marine hard bottom communities : patterns, dynamics, diversity and change / Martin Wahl, editor.
BJL
BOOK
c2009
3540940472 : Mathematica graphics : techniques and applications.; Wickham-Jones, Tom.
Mathematica graphics : techniques and applications.
BJL; T 385 W6
BOOK
1994
3540940723 : Protein purification : priciples and practice.; Scopes, Robert K.
Protein purification : priciples and practice.
BJL; QP 551 S4
BOOK
1994
3540940944 : The joy of sets : fundamentals of contemporary set theory.; Devlin, Keith J.
The joy of sets : fundamentals of contemporary set theory.
BJL; QA 248 D5
BOOK
1993
3540941029 : Topology of surfaces.; Kinsey, L. Christine.
Topology of surfaces.
BJL; QA 611 K5
BOOK
1993
3540941134 : Turbulence in fluid flows : a dynamical systems approach / George R. Sell, Ciprian Foias, Roger Temam, editors.
Turbulence in fluid flows : a dynamical systems approach / George R. Sell, Ciprian Foias, Roger Temam
BJL; QA 911 T9