Tražili ste > katalog: bez unosa Suzili ste > nakladnik: Springer poništi sužavanje 
1.332 rezultata
1
Abstract computing machines : a lambda calculus perspective / W. Kluge
Abstract computing machines : a lambda calculus perspective / W. Kluge
Kluge, Werner   detalji o autoru
Berlin, Heidelberg : Springer, 2005
Knjiga knjiga
Za posudbuZa posudbu 1
2
Abstract Harmonic Analysis : Volume II : Structures and Analysis for Compact Groups. Analysis on Locally Compact Abelian Groups / Edwin Hewitt, Kenneth A. Ross
Hewitt, Edwin   detalji o autoru
Berlin (etc.) : Springer, 1970
Knjiga knjiga
Za posudbuZa posudbu 1
3
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan
McIver, Annabelle   detalji o autoru
New York : Springer, 2005
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
4
A Concrete Introduction to Higher Algebra / Lindsay N. Childs. 2nd ed
A Concrete Introduction to Higher Algebra / Lindsay N. Childs. 2nd ed.
Childs, Lindsay N.   detalji o autoru
New York [etc.] : Springer, 1995
Knjiga knjiga
Za posudbuZa posudbu 1
5
Acoustic and electromagnetic equations : integral representations for harmonic problems / Jean-Claude Nedelec
Acoustic and electromagnetic equations : integral representations for harmonic problems / Jean-Claude Nedelec
Nedelec, Jean-Claude   detalji o autoru
New York [etc.] : Springer, 2001
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
6
Ada 95 reference manual : language and standard libraries, International standard ISO/IEC 8652:1995(E) ; S. Tucker Taft ; Robert A. Duff (Eds.)
Ada 95 reference manual : language and standard libraries, International standard ISO/IEC 8652:1995(E) ; S. Tucker Taft ; Robert A. Duff (Eds.)
Berlin [etc.] : Springer, 1995
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
7
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Poernomo, Iman Hafiz   detalji o autoru
New York : Springer, 2005
Knjiga knjiga
Za posudbuZa posudbu 1
8
Adaptive control of nonsmooth dynamic systems / Gang Tao and Frank L. Lewis (eds)
Adaptive control of nonsmooth dynamic systems / Gang Tao and Frank L. Lewis (eds)
London : Springer, 2001
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
9
Adaptive control of systems with actuator failures / Gang Tao... [et al.]
Adaptive control of systems with actuator failures / Gang Tao... [et al.]
London [etc.] : Springer, 2004
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
10
Ad-hoc networks : fundamental properties and network topologies / by Ramin Hekmat
Ad-hoc networks : fundamental properties and network topologies / by Ramin Hekmat
Hekmat, Ramin   detalji o autoru
Dordrecht : Springer, 2006
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
11
Adiabatic perturbation theory in quantum dynamics / Stefan Teufel
Adiabatic perturbation theory in quantum dynamics / Stefan Teufel
Teufel, Stefan   detalji o autoru
Berlin; Heidelberg : Springer, 2003
Knjiga knjiga
Za posudbuZa posudbu 1
12
Advanced BDD optimization / by Ruediger Ebendt, Goerschwin Fey and Rolf Drechsler
Advanced BDD optimization / by Ruediger Ebendt, Goerschwin Fey and Rolf Drechsler
Ebendt, Ruediger   detalji o autoru
Dordrecht : Springer, 2005
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
13
Advanced image processing techniques for remotely sensed hyperspectral data / P.K. Varshney, M.K. Arora
Advanced image processing techniques for remotely sensed hyperspectral data / P.K. Varshney, M.K. Arora
Varshney, Pramod K.   detalji o autoru
Berlin ; Heidelberg : Springer, 2004
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
14
Advanced linear modeling : statistical learning and dependent data / Ronald Christensen. 3rd ed.
Advanced linear modeling : statistical learning and dependent data / Ronald Christensen. 3rd ed.
Christensen, Ronald   detalji o autoru
Cham : Springer, 2019
Knjiga knjiga
Za posudbuZa posudbu 1
15
Advanced mathematical methods for scientists and engineers I : asymptotic methods and perturbation theory / Carl M. Bender, Steven A. Orszag
Advanced mathematical methods for scientists and engineers I : asymptotic methods and perturbation theory / Carl M. Bender, Steven A. Orszag
Bender, Carl M.   detalji o autoru
New York : Springer, 1999
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
16
Advanced practical process control / B. Roffel, B. H. Betlem
Advanced practical process control / B. Roffel, B. H. Betlem
Roffel, Brian   detalji o autoru
Berlin ; Heidelberg : Springer, 2004
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
17
Advanced software engineering : expanding the frontiers of software technology : IFIP 19th World computer congress, First international workshop on advanced software engineering, August 25, 2006, Santiago, Chile / edited by Sergio F. Ochoa, Gruia-Catalin Roman
Advanced software engineering : expanding the frontiers of software technology : IFIP 19th World computer congress, First international workshop on advanced software engineering, August 25, 2006, Santiago, Chile / edited by Sergio F. Ochoa, Gruia-Catalin Roman
IFIP World computer congress, First international workshop on advanced software engineering (19 ; Santiago ; 2006)   detalji o autoru
New York : Springer, 2006
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
18
Advances in computational multibody systems / edited by Jorge A.C. Ambrosio
Advances in computational multibody systems / edited by Jorge A.C. Ambrosio
Berlin [etc.] : Springer, 2005
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
19
Advances in high performance computing and computational sciences : the 1st Kazakh-German advanced workshop. Almaty, Kazakhstan, September 25 to october 1, 2005 ; Yurii Shokin...(et al.) (Editors)
Advances in high performance computing and computational sciences : the 1st Kazakh-German advanced workshop. Almaty, Kazakhstan, September 25 to october 1, 2005 ; Yurii Shokin...(et al.) (Editors)
Berlin [etc.] : Springer, 2006
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici
20
Advances in pervasive computing and networking / edited by Boleslaw K. Szymanski, Buelent Yener
Advances in pervasive computing and networking / edited by Boleslaw K. Szymanski, Buelent Yener
New York : Springer, 2005
Knjiga knjiga
Za rad u knjižniciZa rad u knjižnici