انتشارات Springer Verlag Ny

Logical and Relational Learning (Cognitive Technologies)
Luc De Raedt, 2008
Lectures on Boolean Algebras
Paul R. Halmos, 1974
Algebra and Geometry
Gamkrelidze R.V. (ed.), 1972
The Molecular Basis of Human Cancer
William B. Coleman, Gregory J. Tsongalis(eds.), 2017
Complexity of computer computations (proc.)
Miller R.E., Thatcher J.W. (eds.), 1972
Joseph Liouville 1809–1882: Master of Pure and Applied Mathematics
Jesper Lützen (auth.), 1990
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Digital Interactive TV and Metadata: Future Broadcast Multimedia
Artur Lugmayr, Samuli Niiranen, Seppo Kalli (auth.), 2004
Geographic Information Metadata for Spatial Data Infrastructures: Resources, Interoperability and Information Retrieval
Dr. Javier Nogueras-Iso, Dr. F. Javier Zarazaga-Soria, Dr. Pedro R. Muro-Medrano (auth.), 2005
Geoinformation Metadata in INSPIRE and SDI: Understanding. Editing. Publishing
Leszek Litwin, Maciej Rossa (auth.), 2011
Hamiltonian and Lagrangian Flows on Center Manifolds: with Applications to Elliptic Variational Problems
Alexander Mielke (auth.), 1991
1,001 Celestial Wonders to See Before You Die: The Best Sky Objects for Star Gazers
Michael E. Bakich (auth.), 2010
1,001 Celestial Wonders to See Before You Die: The Best Sky Objects for Star Gazers
Michael E. Bakich (auth.), 2010
1,001 Celestial Wonders to See Before You Die: The Best Sky Objects for Star Gazers
Michael E. Bakich (auth.), 2010
From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series
Werner Balser (auth.), 1994
From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series
Werner Balser (auth.), 1994
Humans as Components of Ecosystems: The Ecology of Subtle Human Effects and Populated Areas
Mark J. McDonnell, Steward T. A. Pickett (auth.), Mark J. McDonnell, Steward T. A. Pickett (eds.), 1993
Ocean Outpost: The Future of Humans Living Underwater
Erik Seedhouse (auth.), 2011
Ocean Outpost: The Future of Humans Living Underwater
Erik Seedhouse (auth.), 2011
Advances in Computer Science and Engineering: 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers
Mohammad Taheri, Elham Chitsaz, Seraj D. Katebi, Mansoor Z. Jahromi (auth.), Hamid Sarbazi-Azad, Behrooz Parhami, Seyed-Ghassem Miremadi, Shaahin Hessabi (eds.), 2009
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990
Meshfree Methods for Partial Differential Equations
I. Babuška, U. Banerjee (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2003