اینترنشنال لایبرری

📲+989117307688📲
جستجو در بین میلیون ها کتاب
وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های کمیاب در زمینه های پزشکی، تکنولوژی، علوم سیاسی، علوم اجتماعی و سایر زمینه ها با بیش 2.5 میلیون کتاب

کتاب های جدید

Landscapes of Time-Frequency Analysis: ATFA 2019

دانلود کتاب Landscapes of Time-Frequency Analysis: ATFA 2019

Proceedings of the Fourth International Conference on Microelectronics, Computing and Communication Systems: MCCS 2019

دانلود کتاب Proceedings of the Fourth International Conference on Microelectronics, Computing and Communication Systems: MCCS 2019

Computational Approaches to the Network Science of Teams

دانلود کتاب Computational Approaches to the Network Science of Teams

Contact Tracing in Post-Covid World: A Cryptologic Approach

دانلود کتاب Contact Tracing in Post-Covid World: A Cryptologic Approach

Fractional Order Crowd Dynamics: Cyber-Human System Modeling and Control

دانلود کتاب Fractional Order Crowd Dynamics: Cyber-Human System Modeling and Control

Computer Animation and Social Agents: 33rd International Conference on Computer Animation and Social Agents, CASA 2020, Bournemouth, UK, October 13-15, 2020, Proceedings

دانلود کتاب Computer Animation and Social Agents: 33rd International Conference on Computer Animation and Social Agents, CASA 2020, Bournemouth, UK, October 13-15, 2020, Proceedings

Введение в систему NetWare

دانلود کتاب Введение в систему NetWare

Affordance Theory in Game Design: A Guide Toward Understanding Players

دانلود کتاب Affordance Theory in Game Design: A Guide Toward Understanding Players

Teaching Statistics: A Bag of Tricks

دانلود کتاب Teaching Statistics: A Bag of Tricks

Smart Cities For Dummies

دانلود کتاب Smart Cities For Dummies

کتاب های برگزیده

Teaching Statistics: A Bag of Tricks

دانلود کتاب Teaching Statistics: A Bag of Tricks

Глубокое обучение для поисковых систем

دانلود کتاب Глубокое обучение для поисковых систем

Query Understanding for Search Engines

دانلود کتاب Query Understanding for Search Engines

Data Analytics: Handbook of Formulas and Techniques

دانلود کتاب Data Analytics: Handbook of Formulas and Techniques

Information Systems: 17th European, Mediterranean, and Middle Eastern Conference, EMCIS 2020, Dubai, United Arab Emirates, November 25–26, 2020, ... Notes in Business Information Processing)

دانلود کتاب Information Systems: 17th European, Mediterranean, and Middle Eastern Conference, EMCIS 2020, Dubai, United Arab Emirates, November 25–26, 2020, ... Notes in Business Information Processing)

دانلود کتاب Predicate Transformer Semantics

Predicate Transformer Semantics

معناشناسی ترانسفورماتور predictate

زبان : English

نویسندگان : Ernest G. Manes

ناشر : Cambridge University Press

سال انتشار : 2004

ISBN (شابک) : 0521420369

ویرایش :

سری : Cambridge Tracts in Theoretical Computer Science 33

تعداد صفحات : 236[237]

حجم : 1 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان




اطمینان از خرید




کتاب های دیگر

دانلود کتاب Toxicological profiles - Pentachlorophenol

دانلود کتاب Micro-optomechatronics

دانلود کتاب Dictionary of Human Resources and Personnel Management: Over 8,000 Terms Clearly Defined

دانلود کتاب Encyclopedic Dictionary of Hydrogeology

دانلود کتاب Vintage knits: 30 exquisite vintage-inspired patterns for cardigans, twin sets, crewnecks, and more

دانلود کتاب Medieval Spain: Culture, Conflict and Coexistence

دانلود کتاب Dynamics of Bone and Cartilage Metabolism: Principles and Clinical Applications, 2nd edition

دانلود کتاب A Gentle Guide to Research Methods

دانلود کتاب Discretionary Time: A New Measure of Freedom

دانلود کتاب JBoss in action: configuring the JBoss application server

دانلود کتاب Handbook Of Brain Theory And Neural Networks

دانلود کتاب Software Development for Embedded Multi-core Systems: A Practical Guide Using Embedded Intel Architecture

دانلود کتاب Muster erfolgreicher Internationalisierung von Handelsunternehmen: Eine empirische Analyse auf Basis des Konfigurationsansatzes und des Integration-Responsiveness-Frameworks

دانلود کتاب The Third Dimension

دانلود کتاب Life's Origin: The Beginnings of Biological Evolution

دانلود کتاب Panther vs T-34: Ukraine 1943

دانلود کتاب Regulation of Calcium Transport across Muscle Membranes

دانلود کتاب The Wars of Alexander the Great: 336–323 BC

دانلود کتاب The Separation of Isotopes

دانلود کتاب The Illuminati And The Council On Foreign Relations

کتاب های دیگر

دانلود کتاب A Common Law Theory of Judicial Review: The Living Tree

دانلود کتاب Roman Battle Tactics 109 BC–AD 313

دانلود کتاب Mathematik fuјr Ingenieure: Eine anschauliche Einfјhrung fјr das praxisorientierte Studium

دانلود کتاب Kybernetes The International Journal of Systems, Cybernetics and Management Science Volume 36 Number 7 8 2007

دانلود کتاب Wondergenes: Genetic Enhancement and the Future of Society

دانلود کتاب The Vibration of Air in Tubes Capped at Both Ends

دانلود کتاب Gravity, Black Holes, and the Very Early Universe. An Introduction to General Relativity and Cosmology

دانلود کتاب «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

دانلود کتاب Primary Care Recommendation

دانلود کتاب The Time of Our Lives: A Critical History of Temporality

دانلود کتاب Regulated Systems for Multiphase Catalysis

دانلود کتاب Lectures in Astrobiology

دانلود کتاب Algorithms – ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings

دانلود کتاب Statistical Methods in Engineering and Quality Assurance

دانلود کتاب The Ecological World View

دانلود کتاب Multiphase Flow Dynamics 3: Turbulence, Gas Absorption and Release, Diesel Fuel Properties (v. 3)

دانلود کتاب Mastering PHP 4.1

دانلود کتاب Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy: 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings

دانلود کتاب Beginning Visual Web Developer 2005 Express From Novice to Professional

دانلود کتاب Current Diagnosis & Treatment In Family Medicine

پشتیبانی (تماس و واتساپ) 09117179751
(جهت شروع چت کلیک کنید)
دروازه پرداخت معتبر