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

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

کتاب های جدید

Teaching Statistics: A Bag of Tricks

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

Query Understanding for Search Engines

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

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

Advanced Calculus - Fundamentals of Mathematics

دانلود کتاب Advanced Calculus - Fundamentals of Mathematics

BPF для мониторинга Linux

دانلود کتاب BPF для мониторинга Linux

复分析导论：单复变函数

دانلود کتاب 复分析导论：单复变函数

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

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

Contact Tracing in Post-Covid World: A Cryptologic Approach

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

New Developments in Unsupervised Outlier Detection: Algorithms and Applications

دانلود کتاب New Developments in Unsupervised Outlier Detection: Algorithms and Applications

Proceedings of 6th International Conference on Harmony Search, Soft Computing and Applications: ICHSA 2020, Istanbul

دانلود کتاب Proceedings of 6th International Conference on Harmony Search, Soft Computing and Applications: ICHSA 2020, Istanbul

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

Data Analytics: Handbook of Formulas and Techniques

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

VCE Software Development: Core Techniques and Principles

دانلود کتاب VCE Software Development: Core Techniques and Principles

Industrial Networks and Intelligent Systems: 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27–28, 2020, Proceedings

دانلود کتاب Industrial Networks and Intelligent Systems: 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27–28, 2020, Proceedings

Algorithmic Trading Methods: Applications Using Advanced Statistics, Optimization, and Machine Learning Techniques

دانلود کتاب Algorithmic Trading Methods: Applications Using Advanced Statistics, Optimization, and Machine Learning Techniques

DNSSEC Mastery: Securing the Domain Name System with BIND

دانلود کتاب DNSSEC Mastery: Securing the Domain Name System with BIND

دانلود کتاب Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming

منطق برنامه نویسی رایانه ای

زبان : English

نویسندگان : Robert Goldblatt (auth.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1982

ISBN (شابک) : 3540112103, 9783540112105

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 130

تعداد صفحات : 304[313]

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

فرمت کتاب : djvu

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Self-similarity in turbulence

دانلود کتاب Toxicological profiles - Fuel oils

دانلود کتاب Gallipoli 1915: Frontal Assault on Turkey

دانلود کتاب A-Z of the Environment: Covering the Scientific, Economic, and Legal Issues Facing All Types of Organisation

دانلود کتاب Small-Scale Cogeneration Handbook

دانلود کتاب Modern Control Theory

دانلود کتاب The German Army in World War I (3): 1917–18

دانلود کتاب Encyclopedia of Human Computer Interaction

دانلود کتاب Anosmia - A Medical Dictionary, Bibliography, and Annotated Research Guide to Internet References

دانلود کتاب The American Heritage Dictionary of the English Language

دانلود کتاب The Royal Navy at Portland 1900-2000

دانلود کتاب High-pressure Shock Compression of Solids VIII: The Science and Technology of High-velocity Impact

دانلود کتاب Masters of illusion

دانلود کتاب Mathematics Dictionary

دانلود کتاب Languages and Compilers for Parallel Computing: 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001 Revised Papers

دانلود کتاب Theoretical Numerical Analysis A Functional Analysis Framework

دانلود کتاب Woodworking Tips & Tricks

دانلود کتاب Mozillas Firefox, Thunderbird und Lightning: Internet, Mail und mehr

دانلود کتاب Control Techniques' Drives & Controls Handbook

دانلود کتاب Symplectic Geometry and Quantum Mechanics

کتاب های دیگر

دانلود کتاب Natural deduction: A proof-theoretical study

دانلود کتاب Encyclopedia of distances

دانلود کتاب I Lost it at the Movies: Film Writings, 1954-65

دانلود کتاب Consumerology: The Market Research Myth, the Truth About Consumers, and the Psychology of Shopping

دانلود کتاب Selected Areas in Cryptography: 5th Annual International Workshop, SAC’98 Kingston, Ontario, Canada, August 17–18, 1998 Proceedings

دانلود کتاب International Legal Argument in the Permanent Court of International Justice: The Rise of the International Judiciary

دانلود کتاب The Crystal Structure of Beryllium and of Beryllium Oxide

دانلود کتاب Six Sigma Business Scorecard

دانلود کتاب Theory of Cryptography: Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings

دانلود کتاب DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers

دانلود کتاب Complete Java2 Certification Study Guide

دانلود کتاب German light anti-aircraft and anti-tank guns

دانلود کتاب Mountains

دانلود کتاب Encyclopedia of Chart Patterns

دانلود کتاب Preliminaries

دانلود کتاب Principles of Nonlinear Optical Spectroscopy

دانلود کتاب Crónicas matemáticas

دانلود کتاب Environmental Responsibility

دانلود کتاب Oracle Database 11g A Beginner's Guide

دانلود کتاب The Causes and Impact of the Asian Financial Crisis

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