انتشارات Springer.
کتاب های انتشارات
صفحه ۲۰۰ از ۶,۳۴۰ در بین ۱۵۸,۴۸۳ کتاب.
PDF
Advances in Temporal Logic
Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.), 2000DJVU
Advances in temporal logic
Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.), 2000PDF
Advances in verification of time petri nets and timed automata: a temporal logic approach
Wojciech Penczek, Agata Pólrola, 2006PDF
Agent-Based Defeasible Control in Dynamic Environments
John-Jules Ch. Meyer, Jan Treur (auth.), John-Jules Ch. Meyer, Jan Treur (eds.), 2002PDF
Algebraic Approaches to Program Semantics
Ernest G. Manes, Michael A. Arbib, 1986PDF
Algebraic Foundations of Many-Valued Reasoning
Roberto L. O. Cignoli, Itala M. L. D’Ottaviano, Daniele Mundici, 2000PDF
Algebraic semantics
Irène Guessarian (auth.), 1981PDF
Algorithmic Randomness and Complexity
Rodney G. Downey, Denis R. Hirschfeldt, 2010PDF
An Archaeological Evolution
Stanley South, 2005PDF
An Introduction to Formal Language Theory
Robert N. Moll, Michael A. Arbib, A. J. Kfoury, 1988DJVU
An Introduction to Kolmogorov Complexity and Its Applications
Paul Vitanyi, Ming Li, 1993PDF
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews (auth.), 2002PDF
Analyses Concerning Passive and Active Synthesis: Lectures on Transcendental Logic
Edmund Husserl, A.J. Steinbock, 2001PDF
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas, 2008PDF
Anaphora and Type Logical Grammar
Gerhard Jäger, 2005PDF
Apartness and Uniformity: A Constructive Development
Douglas S. Bridges, Luminiţa Simona Vîţă, 2011PDF
Approaches to Legal Rationality
Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin (eds.), 2011DJVU
Aspects of incompleteness
Per Lindstroem, 1997PDF
Aspects of Incompleteness
Per Lindström, 1997PDF
A Brief on Tensor Analysis
James G. Simmonds, 1994PDF
A Practical Guide to the Evaluation of Child Physical Abuse and Neglect
Angelo P. Giardino MD, PhD, MPH, Michelle A. Lyn MD, Eileen R. Giardino RN, PhD, FNP-BC (auth.), Angelo P. Giardino, Michelle A. Lyn, Eileen R. Giardino (eds.), 2009PDF
PDF
Advanced Materials and Technologies for Micro Nano-Devices, Sensors and Actuators (NATO Science for Peace and Security Series B: Physics and Biophysics)
Evgeni Gusev, Eric Garfunkel, Arthur Dideikin, 2010PDF
Alice in Quantumland: An Allegory of Quantum Physics
Robert Gilmore, 1995EPUB
