کتاب های جدید

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

دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی ، LOPSTR 2001 پافوس ، قبرس ، 28 تا 30 نوامبر ، 2001 مقاله های منتخب

زبان : English

نویسندگان : Natarajan Shankar (auth.), Alberto Pettorossi (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540439153, 9783540439158

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

سری : Lecture Notes in Computer Science 2372

تعداد صفحات : 272[274]

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Ajax: Creating Web Pages with Asynchronous JavaScript

دانلود کتاب English Pronunciation in Use - Elementary - произношение английского языка для начинающих

دانلود کتاب Visual Perception and Action in Sport

دانلود کتاب Fundamentals of Three-Dimensional Digital Image Processing

دانلود کتاب If White Kids Die: Memories of a Civil Rights Movement Volunteer

دانلود کتاب Frommer's Eastern Europe 2009 (Frommer's Complete) 2nd Edition

دانلود کتاب Using Crystal Reports Templates User Guide

دانلود کتاب Multinationals and Emerging Economies: The Quest for Innovation and Sustainability

دانلود کتاب The Anatomical Atlas of Gallus

دانلود کتاب Mastering Windows XP Registry

دانلود کتاب The cholesterol wars: the skeptics vs. the preponderance of evidence

دانلود کتاب Long-term Perspective in Coastal Zone Development: Multifunctional Coastal Protection Zones

دانلود کتاب Howland - Kierkegaard and Socrates

دانلود کتاب La correspondance entre Henri Poincaré et les physiciens, chimistes et ingénieurs

دانلود کتاب Water Vapor Measurement Methods and Instrumentation

دانلود کتاب Lipobiology

دانلود کتاب Statistical Methodology in the Pharmaceutical Sciences

دانلود کتاب Food Labelling

دانلود کتاب Chemical Oceanography and the Marine Carbon Cycle

دانلود کتاب Access Denied: The Practice and Policy of Global Internet Filtering

کتاب های دیگر

دانلود کتاب Fundamentals of Relational Database Management Systems

دانلود کتاب

دانلود کتاب Aspern & Wagram 1809: Mighty clash of Empires

دانلود کتاب Safe Design and Operation of Process Vents and Emission Control Systems

دانلود کتاب ABC of Clinical Electrocardiography

دانلود کتاب Vegetation-climate Interaction: How Vegetation Makes the Global Environment

دانلود کتاب Vanguard of Victory The 79th Armoured Division Hobart's Funnies WWII Specialised Armour

دانلود کتاب Digital Image Processing

دانلود کتاب Liposomes: Methods and Protocols, Volume 1: Pharmaceutical Nanocarriers

دانلود کتاب Advanced Data Management in Access

دانلود کتاب WEBKDD 2001 — Mining Web Log Data Across All Customers Touch Points: Third International Workshop San Francisco, CA, USA, August 26, 2001 Revised Papers

دانلود کتاب Reproductive Biology and Phylogeny of Birds: Phylogeny, Morphology, Hormones, Fertilization (Reproductive Biology and Phylogeny, Vol 6A)

دانلود کتاب Connexins: A Guide

دانلود کتاب Ahmad al-Mansur (Makers of the Muslim World)

دانلود کتاب Mastering Windows Server 2003

دانلود کتاب Latin For Beginners

دانلود کتاب New Directions in Solid State Chemistry

دانلود کتاب Advances in Photochemistry

دانلود کتاب Getting started in six sigma

دانلود کتاب The Handbook of Business Valuation and Intellectual Property Analysis

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