کتاب های جدید

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

دانلود کتاب Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی ، LOPSTR’98 منچستر ، انگلیس ، 15 تا 19 ژوئن ، 1998 مقاله های منتخب

زبان : English

نویسندگان : Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1999

ISBN (شابک) : 3540657657, 9783540657651

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

سری : Lecture Notes in Computer Science 1559

تعداد صفحات : 338[340]

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Vitamins and Hormones, Vol. 51

دانلود کتاب Der Fluch der Schriftrollen

دانلود کتاب Encyclopedia of Medical Devices and Instrumentation

دانلود کتاب Use The Balanced Scorecard To Execute Crm Strategy

دانلود کتاب Value Creation Strategies for the Chemical Industry

دانلود کتاب Israeli Aircraft in Detail Part 1. Israel Air Force Museum at Hatzerim

دانلود کتاب Український правопис у таблицях. Правила, винятки, переклади, коментарі

دانلود کتاب Electronic Processes in Ionic Crystals

دانلود کتاب HIV Protocols

دانلود کتاب Compaq Visual Fortran: A Guide to Creating Windows Applications

دانلود کتاب Animal Clinical Chemistry: A Practical Handbook for Toxicologists and Biomedical Researchers, Second Edition

دانلود کتاب Reasonable Risk: Alcohol in Perspective (Series on Alcohol in Society.)

دانلود کتاب Microbial Protein Toxins

دانلود کتاب Nasdaq Market Simulation: Ins on a Major Market from the Science of Complex Adaptive Systems (Complex Systems and Interdisciplinary Science)

دانلود کتاب Waves and Stability in Continuous Media

دانلود کتاب Sepp Holzers Permakultur

دانلود کتاب Dinosaur

دانلود کتاب Eye Wonder: Reptiles (Eye Wonder)

دانلود کتاب Historische Notizen zur Informatik

دانلود کتاب Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

کتاب های دیگر

دانلود کتاب Algorithms and Models for the Web-Graph: Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers

دانلود کتاب Lectures on Quantum Mechanics

دانلود کتاب Check Point 2000 VPN-1 for the Security Professional

دانلود کتاب IEEE Std 610.121990 IEEE Standard Glossary of Software Engineering Terminology

دانلود کتاب The Return of Dr. Fu-Manchu

دانلود کتاب Imagination: Study in the History of Ideas

دانلود کتاب Imperial Inquisitions

دانلود کتاب Common Errors in Statistics - and How to Avoid Them

دانلود کتاب CCA Citrix Metaframe XP 1.0 administration study guide

دانلود کتاب Constructing global civil society

دانلود کتاب Write it Down: Guidance for Preparing Effective and Compliant Documentation, Second Edition

دانلود کتاب German Destroyers 1939–45

دانلود کتاب A Compendium of Partial Differential Equation Models with MATLAB

دانلود کتاب Byte - November 1976

دانلود کتاب Computation, Finite And Infinite Machines

دانلود کتاب College Algebra

دانلود کتاب Shells Linux et Unix par la pratique

دانلود کتاب The Marketing Book, Fifth Edition

دانلود کتاب Recent Advances in Intrusion Detection: 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003. Proceedings

دانلود کتاب Knowledge and Censorship

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