کتاب های جدید

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

دانلود کتاب Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

بازنویسی مدت و کاربردها: هفدهمین کنفرانس بین المللی ، RTA 2006 سیاتل ، WA ، ایالات متحده آمریکا ، 12 تا 14 آگوست ، 2006 مجموعه مقالات

زبان : English

نویسندگان : Randal E. Bryant (auth.), Frank Pfenning (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2006

ISBN (شابک) : 3540368345, 9783540368342

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

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

تعداد صفحات : 418[425]

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

فرمت کتاب : pdf

قیمت : 36000 تومان




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




کتاب های دیگر

دانلود کتاب Forensic and Clinical Applications of Solid Phase Extraction (Forensic Science and Medicine)

دانلود کتاب Floer Homology Groups in Yang-Mills Theory

دانلود کتاب Secrets from the Innovation Room: How to Create High-Voltage Ideas That Make Money, Win Business, and Outwit the Competition

دانلود کتاب The Little Black Book of Computer Viruses: The Basic Technology

دانلود کتاب Expert Trading Systems - Modeling Financial Markets with Kernel Regression

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

دانلود کتاب How Diplomats Make War

دانلود کتاب Calculus Demystified

دانلود کتاب Mathematical Tools for One-Dimensional Dynamics

دانلود کتاب Early Life on Earth: A Practical Guide

دانلود کتاب Analysis of drum and disk storage units

دانلود کتاب Ontologia lui Noica. O exegeza

دانلود کتاب Epitope Mapping Protocols

دانلود کتاب Reassessing Suez 1956

دانلود کتاب Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

دانلود کتاب OpenSocial network programming

دانلود کتاب Epigenetics in Biology and Medicine

دانلود کتاب Focke-Wulf Fw 200 Condor

دانلود کتاب Beginning SQL Server 2005 Administration

دانلود کتاب Perfect Phrases for Customer Service: Hundreds of Tools, Techniques, and Scripts for Handling Any Situation

کتاب های دیگر

دانلود کتاب Peoples of Hawai'i, the Pacific, & Asia

دانلود کتاب Gamma

دانلود کتاب Sports Science: 40 Goal-Scoring, High-Flying, Medal-Winning Experiments for Kids

دانلود کتاب Automata, Languages and Programming: 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings

دانلود کتاب Local invariant feature detectors: A survey

دانلود کتاب In Situ Detection of DNA Damage: Methods and Protocols

دانلود کتاب Mechanics of Turbulence of Multicomponent Gases

دانلود کتاب Example of Chinese Ornament

دانلود کتاب Forex Revolution: An Insider's Guide to the Real World of Foreign Exchange Trading

دانلود کتاب Building Your Own Home for Dummies

دانلود کتاب The Fungal Community: Its Organization and Role in the Ecosystem (Mycology)

دانلود کتاب The Satanic Bible

دانلود کتاب Data Assimilation The Ensemble Kalman Filter

دانلود کتاب Arzemnieku legions un latviesi.

دانلود کتاب Automotive Computer Codes (Spanish) (Haynes Manuals)

دانلود کتاب Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

دانلود کتاب Statistical inference based on divergence measures

دانلود کتاب Luftwaffe Fighter Units: Europe, 1939–41

دانلود کتاب Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings

دانلود کتاب Handbook of Neural Network Signal Processing

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