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

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

کتاب های جدید

Marginal Models in Analysis of Correlated Binary Data with Time Dependent Covariates

دانلود کتاب Marginal Models in Analysis of Correlated Binary Data with Time Dependent Covariates

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

Reti di calcolatori. Ediz. Mylab. Con aggiornamento online. Con ebook

دانلود کتاب Reti di calcolatori. Ediz. Mylab. Con aggiornamento online. Con ebook

BTEC National Computing Student Book

دانلود کتاب BTEC National Computing Student Book

Calculus: Graphical, Numerical, Algebraic

دانلود کتاب Calculus: Graphical, Numerical, Algebraic

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

Switch/Router Architectures: Systems with Crossbar Switch Fabrics

دانلود کتاب Switch/Router Architectures: Systems with Crossbar Switch Fabrics

偏微分方程习题集

دانلود کتاب 偏微分方程习题集

复分析导论：单复变函数

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

Data Analytics: Handbook of Formulas and Techniques

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

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

Networking For Dummies

دانلود کتاب Networking For Dummies

Effective Statistical Learning Methods for Actuaries II: Tree-Based Methods and Extensions

دانلود کتاب Effective Statistical Learning Methods for Actuaries II: Tree-Based Methods and Extensions

Introduction to the Tools of Scientific Computing

دانلود کتاب Introduction to the Tools of Scientific Computing

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

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

DNSSEC Mastery: Securing the Domain Name System with BIND

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

دانلود کتاب Constructing Correct Software (Formal Approaches to Computing and Information Technology)

Constructing Correct Software (Formal Approaches to Computing and Information Technology)

ساخت نرم افزار صحیح (رویکردهای رسمی محاسبات و فناوری اطلاعات)

زبان : English

نویسندگان : D. John Cooke

ناشر : Springer

سال انتشار : 2004

ISBN (شابک) : 1852338202, 9781852338206

ویرایش : [2nd ed.]

سری : Formal Approaches to Computing and Information Technology

تعداد صفحات : 515

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Market & Mutual Fund Timing Trading Course

دانلود کتاب Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

دانلود کتاب A Course in Functional Analysis

دانلود کتاب Worldmark Encyclopedia of Religious Practices

دانلود کتاب Core C++: A Software Engineering Approach

دانلود کتاب Big questions in ecology and evolution

دانلود کتاب Children solving problems

دانلود کتاب Opportunities in Chemistry

دانلود کتاب Secondary Metabolism in Model Systems

دانلود کتاب Exploring the X-ray Universe, Second Edition

دانلود کتاب Chromatografic Analysis of Pharmaceuticals

دانلود کتاب Advances in Heterocyclic Chemistry, Vol. 70

دانلود کتاب Radioanalytical Chemistry Experiments

دانلود کتاب Electrical Safety in Flammable Gas/Vapor Laden Atmospheres

دانلود کتاب CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

دانلود کتاب Embodying the Monster: Encounters with the Vulnerable Self (Published in association with Theory, Culture & Society)

دانلود کتاب SSH, The Secure Shell: The Definitive Guide

دانلود کتاب Physical Chemistry of Polyelectrolytes (Surfactant Science Series)

دانلود کتاب Linux Power Tools

دانلود کتاب CEH Official Certified Ethical Hacker Review Guide Exam 312-50

کتاب های دیگر

دانلود کتاب Wrox's Visual Basic 2005 Express Edition Starter Kit

دانلود کتاب Electromagnetisme 1 : les equations de Maxwell

دانلود کتاب Language Hierarchies and Interfaces: International Summer School

دانلود کتاب Real-Time MicroC OS RTOS CMP

دانلود کتاب Game Theory and Economic Analysis: A Quiet Revolution in Economics

دانلود کتاب New mathematical diversions

دانلود کتاب Logistic Regression: A Self-learning Text

دانلود کتاب Mathematical Aspects of Evolving Interfaces: Lectures given at the C.I.M.-C.I.M.E. joint Euro-Summer School held in Madeira Funchal, Portugal, July 3-9, ... Mathematics / Fondazione C.I.M.E., Firenze)

دانلود کتاب Trusting others, trusting God: concepts of belief, faith and rationality

دانلود کتاب La Cavalerie Prussienne

دانلود کتاب No Little People

دانلود کتاب Complete Idiot's

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

دانلود کتاب Savannas, Barrens, and Rock Outcrop Plant Communities of North America

دانلود کتاب Pompe Disease - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers

دانلود کتاب The Constitution of the So-Called Pechmann Dyes and the Mechanism of Their Formation from Beta-Benzoylacrylic Acid

دانلود کتاب The geometry of jet bundles

دانلود کتاب How Confidence Facilitates Illegal Transactions: An Empirical Approach

دانلود کتاب Introducing Microsoft ASP.Net 2.0

دانلود کتاب Foundations of GTK+ Development (Expert's Voice in Open Source)

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