انتشارات Springer Verlag
![Logical and Relational Learning (Cognitive Technologies)](http://cdn.ketabkoo.com/covers/9/917884-n.jpg)
Logical and Relational Learning (Cognitive Technologies)
Luc De Raedt, 2008![Lectures on Boolean Algebras](http://cdn.ketabkoo.com/covers/10/1074622-n.jpg)
Lectures on Boolean Algebras
Paul R. Halmos, 1974![Algebra and Geometry](http://cdn.ketabkoo.com/covers/10/1074885-n.jpg)
Algebra and Geometry
Gamkrelidze R.V. (ed.), 1972![The Molecular Basis of Human Cancer](http://cdn.ketabkoo.com/covers/10/1075923-n.jpg)
The Molecular Basis of Human Cancer
William B. Coleman, Gregory J. Tsongalis(eds.), 2017![Complexity of computer computations (proc.)](http://cdn.ketabkoo.com/covers/10/1076269-n.jpg)
Complexity of computer computations (proc.)
Miller R.E., Thatcher J.W. (eds.), 1972![Joseph Liouville 1809–1882: Master of Pure and Applied Mathematics](http://cdn.ketabkoo.com/covers/0/485-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/492-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/493-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/569-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/575-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/576-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/680-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/732-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/733-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/734-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/908-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/909-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/940-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/943-n.jpg)
Ocean Outpost: The Future of Humans Living Underwater
Erik Seedhouse (auth.), 2011![Ocean Outpost: The Future of Humans Living Underwater](http://cdn.ketabkoo.com/covers/0/944-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/1044-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/1165-n.jpg)
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](http://cdn.ketabkoo.com/covers/0/1301-n.jpg)
Meshfree Methods for Partial Differential Equations
I. Babuška, U. Banerjee (auth.), Michael Griebel, Marc Alexander Schweitzer (eds.), 2003![Meshfree Methods for Partial Differential Equations III](http://cdn.ketabkoo.com/covers/0/1305-n.jpg)