کتاب های جدید

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

دانلود کتاب Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

زبانها و سیستمهای برنامه نویسی: شانزدهمین سمپوزیوم اروپایی برنامه نویسی ، ESOP 2007 ، به عنوان بخشی از کنفرانسهای مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2007 ، براگا ، پرتغال ، 24 مارس - 1 آوریل 2007.

زبان : English

نویسندگان : Andrew Pitts (auth.), Rocco De Nicola (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 354071314X, 9783540713142

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

سری : Lecture Notes in Computer Science 4421 : Theoretical Computer Science and General Issues

تعداد صفحات : 542[550]

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب The Hermann Göring Division

دانلود کتاب Soccer Tribe

دانلود کتاب Metal Catalyzed Reductive C–C Bond Formation: A Departure from Preformed Organometallic Reagents

دانلود کتاب Handbook of Biomedical Image Analysis

دانلود کتاب Shamanism: An Introduction

دانلود کتاب Sustainable Agriculture and the Environment in the Humid Tropics

دانلود کتاب Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

دانلود کتاب Radiotracers in Drug Development

دانلود کتاب Software Error Detection through Testing and Analysis

دانلود کتاب Salyut - The First Space Station - Triumph and Tragedy

دانلود کتاب Philosophy: History, Ideas, Theories, Who's Who, How to Think

دانلود کتاب Active mining: new directions of data mining

دانلود کتاب Plein air et art de vivre : 125 sejours epicuriens au Quebec

دانلود کتاب The Infrared & Electro-Optical Systems Handbook. Passive Electro-Optical Systems

دانلود کتاب Crime Prevention Through Housing Design

دانلود کتاب Molecular Mechanisms of Photosynthesis

دانلود کتاب Dr.Riemann's Zeros

دانلود کتاب Cambridge Practice Tests for First Certificate 2 Self-Study Edition O

دانلود کتاب المرأة في القرآن

دانلود کتاب Patrick Moore's Practical Astronomy Series

کتاب های دیگر

دانلود کتاب Zeta functions of groups and rings

دانلود کتاب The Rotation and Radial Velocity of the Spiral Nebula N. G. C. 4594

دانلود کتاب Catalogos de arquitectura contemporanea

دانلود کتاب Rare Earth: Why Complex Life Is Uncommon in the Universe

دانلود کتاب Robotics: Control, Sensing, Vision, and Intelligence

دانلود کتاب Elementary Vocabulary Games

دانلود کتاب Optimization algorithms on matrix manifolds

دانلود کتاب Private Property Rights (Point Counterpoint)

دانلود کتاب Network Performance Toolkit: Using Open Source Testing Tools

دانلود کتاب Nmap in the Enterprise: Ваше руководство к сети Сканирование

دانلود کتاب Percolation Theory for Flow in Porous Media

دانلود کتاب Blenheim Squadrons of World War 2

دانلود کتاب The Cunning of History

دانلود کتاب The Constitution of Columbia Yellow (Chloramine Yellow)

دانلود کتاب Religious Diversity and Social Change: American Cities, 1890-1906

دانلود کتاب Windows 7: The Definitive Guide: The Essential Resource for Professionals and Power Users

دانلود کتاب Introduction to the Mechanics of Solids: In S.I.Units

دانلود کتاب Probability, Finance And Insurance: Proceedings Of The Workshop, The University of Hong Kong 15-17 July 2002

دانلود کتاب British Women Poets and the Romantic Writing Community

دانلود کتاب Men, Women and Property in England, 1780-1870: A Social and Economic History of Family Strategies amongst the Leeds Middle Class

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