دانلود کتاب خارجی - دانلود رایگان کتاب لاتین PDF علمی

تعداد نتایج: 636

Allgemeinmedizin

Der Mentor für die Facharztprüfung und für die allgemeinmedi...

By Hans-Dieter Klimm, Frank Peters-Klimm
Publisher: Georg Thieme Verlag, 2023-08-02
Pages: 855
Language: de
ISBN_13:9783132435940
ISBN_10:3132435945
Subject: Medical

Welt-Adressenbuch

der Industriellen, Kaufleute, Gewerbetreibenden, Advocaten, ...

Free Epub

جزئیات و درخواست

1880
Pages: 758
Language: de
OTHER:ONB:+Z115545600

Ω-Bibliography of Mathematical Logic

Model Theory

جزئیات و درخواست

By Heinz-Dieter Ebbinghaus
Publisher: Springer Science & Business Media, 2013-06-29
Pages: 653
Language: en
ISBN_13:9783662090589
ISBN_10:3662090589
Subject: Mathematics

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conferenc...

جزئیات و درخواست

By Matthias Baaz, Johann M. Makowsky
Publisher: Springer, 2003-12-10
Pages: 603
Language: en
ISBN_13:9783540452201
ISBN_10:3540452206
Subject: Mathematics

Handbook of Modal Logic

جزئیات و درخواست

By Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter
Publisher: Elsevier, 2006-11-03
Pages: 1260
Language: en
ISBN_10:0080466664
ISBN_13:9780080466668
Subject: Mathematics

Quantifiers: Logics, Models and Computation

Volume One: Surveys

جزئیات و درخواست

By Michal Krynicki, M. Mostowski, L.W. Szczerba
Publisher: Springer Science & Business Media, 2013-04-09
Pages: 430
Language: en
ISBN_13:9789401705226
ISBN_10:9401705224
Subject: Philosophy

Logic Colloquium '03

جزئیات و درخواست

By Viggo Stoltenberg-Hansen, Jouko Väänänen
Publisher: Cambridge University Press, 2017-03-30
Language: en
ISBN_13:9781108587143
ISBN_10:1108587143
Subject: Mathematics

Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verita, Switzerland, ...

$The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl ̈asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ̈ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.$

جزئیات و درخواست

By Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Publisher: Springer, 2003-07-31
Pages: 386
Language: en
ISBN_13:9783540445180
ISBN_10:3540445188
Subject: Computers

Graph-based Knowledge Representation

Computational Foundations of Conceptual Graphs

جزئیات و درخواست

By Michel Chein, Marie-Laure Mugnier
Publisher: Springer Science & Business Media, 2008-10-20
Pages: 428
Language: en
ISBN_13:9781848002869
ISBN_10:1848002866
Subject: Mathematics

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France,...

جزئیات و درخواست

By Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Publisher: Springer Science & Business Media, 2010-06-30
Pages: 637
Language: en
ISBN_13:9783642141614
ISBN_10:3642141617
Subject: Computers

Philosophy of Logic

جزئیات و درخواست

Publisher: Elsevier, 2006-11-29
Pages: 1218
Language: en
ISBN_10:008046663X
ISBN_13:9780080466637
Subject: Mathematics

Fields of Logic and Computation

Essays Dedicated to Yuri Gurevich on the Occasion of His 70t...

$Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). The meeting received generous support from Microsoft Research. In preparation for this 70th birthday event, we asked Yuri’s colleagues (whether or not they were able to attend the symposium) to contribute to a volume in his honor. This book is the result of that e?ort. The collection of articles herein begins with an academic biography, an annotated list of Yuri’s publications and reports, and a personaltribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles – though they cover a broad range of topics – represent only a fraction of Yuri’s multiple areas of interest. Each contribution was reviewed by one or two readers. In this regard, the editors wish to thank several anonymous individuals for their assistance.$

جزئیات و درخواست

By Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Publisher: Springer, 2010-08-16
Pages: 627
Language: en
ISBN_13:9783642150258
ISBN_10:364215025X
Subject: Computers

Mathematical Foundations of Computer Science 2001

26th International Symposium, MFCS 2001 Marianske Lazne, Cze...

جزئیات و درخواست

By Jiri Sgall, Ales Pultr, Petr Kolman
Publisher: Springer, 2003-08-06
Pages: 735
Language: en
ISBN_13:9783540446835
ISBN_10:3540446834
Subject: Computers

Index-catalogue of Medical and Veterinary Zoology

Supplement

Free Epub

جزئیات و درخواست

1957
Pages: 1090
Language: en
OTHER:UCAL:B3130735
Subject: Parasites

Index-catalogue of Medical and Veterinary Zoology

Free Epub

جزئیات و درخواست

By United States. Bureau of Animal Industry. Zoological Division
1932
Pages: 724
Language: en
OTHER:UOM:39015078070862
Subject: Parasites

STACS 2002

19th Annual Symposium on Theoretical Aspects of Computer Sci...

جزئیات و درخواست

By Helmut Alt, Afonso Ferreira
Publisher: Springer Science & Business Media, 2002-02-27
Pages: 673
Language: en
ISBN_13:9783540432838
ISBN_10:3540432833
Subject: Computers

Algorithms and Complexity

6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2...

جزئیات و درخواست

By Tiziana Calamoneri, Irene Finocchi, Guiseppe F. Italiano
Publisher: Springer, 2006-06-03
Pages: 404
Language: en
ISBN_13:9783540343783
ISBN_10:3540343784
Subject: Computers

Logic Colloquium '02

جزئیات و درخواست

By Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers
Publisher: Cambridge University Press, 2017-03-31
Language: en
ISBN_13:9781108631679
ISBN_10:1108631673
Subject: Mathematics

Language and Automata Theory and Applications

6th International Conference, LATA 2012, A Coruña, Spain, Ma...

جزئیات و درخواست

By Adrian-Horia Dediu, Carlos Martín-Vide
Publisher: Springer Science & Business Media, 2012-02-20
Pages: 565
Language: en
ISBN_13:9783642283314
ISBN_10:3642283314
Subject: Computers

Classes of Directed Graphs

جزئیات و درخواست

By Jørgen Bang-Jensen, Gregory Gutin
Publisher: Springer, 2018-06-18
Pages: 636
Language: en
ISBN_13:9783319718408
ISBN_10:3319718401
Subject: Mathematics

«1 2 3 4 5 6 7 8 9 10 »

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه ISBN، موضوع و یاهمه قسمت ها دکمه جستجو را بزنید. در نتایج می توانید کتاب خارجی مد نظر خود را انتخاب کنید و سپس درخواست خود را برای خرید کتاب خارجی ثبت کنید.

جستجو و دانلود کتاب لاتین

برای دانلود کتاب های لاتین ابتدا کلمه کلیدی خود را داخل کادر جستجو وارد کنید و سپس زبان مربوطه را انتخاب کنید (انگلیسی، اسپانیایی، فرانسوی، آلمانی و ...) و در نهایت دکمه جستجو را بزنید. از نتایج جستجو کتاب لاتین مد نظر خود را انتخاب کنید و سپس درخواست آن را ثبت کنید. همکاران ما در کمتر چند ساعت درخواست شما را بررسی و قیمت گذاری می کنند.

خرید کتاب از آمازون

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

خرید کتاب از گوگل بوکز

خرید کتاب زبان اصلی

سایت خرید کتاب زبان اصلی

نحوه ثبت درخواست دانلود کتاب لاتین

پس از جستجو و یافتن کتاب و یا منابع لاتین، روی تصویر کتاب و یا دکمه درخواست کلیک کنید و سپس در صفحه ثبت درخواست، مشخصات کامل درخواست خود را بررسی و ایمیل و شماره تماس خود را وارد کنید. در نهایت همکاران ما هزینه و مدت زمان تهیه کتاب خارجی شما را بررسی و از طریق پیامک و ایمیل به شما اطلاع رسانی خواهند کرد. شما پس از پرداخت وجه روی لینک دانلود کتاب لاتین کلیک کنید و کتاب خود را دانلود و استفاده کنید.

کتاب زبان اصلی J.R.R

دانلود کتاب لاتین

خرید کتاب لاتین

خرید مانگا

خرید کتاب از گوگل بوکز

دانلود رایگان کتاب از گوگل بوکز

دانلود رایگان کتاب از آمازون

دانلود رایگان کتاب از گوگل بوکز

کتاب روانشناسی به انگلیسی

کتاب زبان اصلی

کتاب خارجی

سایت خرید کتاب زبان اصلی