کتاب های جدید

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

دانلود کتاب Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

منطق علوم کامپیوتر: نوزدهمین کارگاه بین المللی ، CSL 2005 ، چهاردهمین کنفرانس سالانه EACSL ، آکسفورد ، انگلستان ، 22 تا 25 آگوست 2005. مجموعه مقالات

زبان : English

نویسندگان : Maarten Marx (auth.), Luke Ong (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2005

ISBN (شابک) : 3540282319, 9783540282310

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

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

تعداد صفحات : 567[578]

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Drupal 6 Content Administration

دانلود کتاب Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

دانلود کتاب Scripting Windows: Automatiser les taches d’administration avec VBScript, WSH, WMI, ADSI et les objets COM

دانلود کتاب Grammar in Use Reference and Practice for Intermediate Students of English

دانلود کتاب Robot building for beginners

دانلود کتاب Elements of molecular symmetry

دانلود کتاب Expert's voice in .NET

دانلود کتاب Superlubricity

دانلود کتاب Producing Great Sound for Digital Video

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

دانلود کتاب Mathematical Analysis, Second Edition

دانلود کتاب Українська вишивка

دانلود کتاب It's Not Who You Know -- It's Who Knows You!: The Small Business Guide to Raising Your Profits by Raising Your Profile

دانلود کتاب Real World Digital Audio

دانلود کتاب How To Draw Comics The Marvel Way

دانلود کتاب Cultures of Disaster: Society and Natural Hazards in the Philippines

دانلود کتاب Causes of Exclusion

دانلود کتاب Bayesian Networks: An Introduction (Wiley Series in Probability and Statistics)

دانلود کتاب Safety Instrumented Systems: Design, Analysis, and Justification

کتاب های دیگر

دانلود کتاب CCNP ISCW Portable Command Guide

دانلود کتاب Digital Signature Schemes: General Framework and Fail-Stop Signatures

دانلود کتاب Moodle 1.9 Math

دانلود کتاب Advances in Planar Lipid Bilayers & Liposomes, Vol. 6

دانلود کتاب The Newton-Denning Method for Computing Meteor Paths with a Celestial Globe

دانلود کتاب Digital Painting Techniques: Practical Techniques of Digital Art Masters

دانلود کتاب Furniture for the 21st Century

دانلود کتاب The Subgroup of a Group of Finite Order

دانلود کتاب Advancing Artificial Intelligence through Biological Process Applications

دانلود کتاب Time in Quantum Mechanics

دانلود کتاب Switching Power Supplies A to Z

دانلود کتاب Transactions on Computational Systems Biology VI

دانلود کتاب Wine Quality Tasting And Selection

دانلود کتاب Parasitology

دانلود کتاب Knowledge Management for Health Care Procedures: From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers

دانلود کتاب Toxicological profiles - 1,1,2,2-tetrachloroethane

دانلود کتاب From Biological Control to Invasion: the Ladybird Harmonia axyridis as a Model Species

دانلود کتاب Agility kompakt: Tipps für erfolgreiche Systementwicklung (IT kompakt) (German Edition)

دانلود کتاب The Real MCTS/MCITP Exam 70-642 Prep Kit: Independent and Complete

دانلود کتاب Organosilicon Chemistry - From Molecules to Materials

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