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

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

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: 636
Language: en
ISBN_13:9783642150258
ISBN_10:364215025X
Subject: Computers

Mathematical Foundations of Computer Science 2005

30th International Symposium, MFCS 2005, Gdansk, Poland, Aug...

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

By Joanna Jedrzejowicz, Andrzej Szepietowski
Publisher: Springer, 2005-09-14
Pages: 829
Language: en
ISBN_13:9783540318675
ISBN_10:3540318674
Subject: Computers

Fields of Logic and Computation III

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

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

By Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Publisher: Springer Nature, 2020-05-22
Pages: 349
Language: en
ISBN_13:9783030480066
ISBN_10:3030480062
Subject: Computers

Fields of Logic and Computation II

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

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

By Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Publisher: Springer, 2015-09-05
Pages: 330
Language: en
ISBN_13:9783319235349
ISBN_10:3319235346
Subject: Computers

Foundations of Information and Knowledge Systems

Third International Symposium, FoIKS 2004, Wilhelminenburg C...

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

By Dietmar Seipel, Jose Maria Turull-Torres
Publisher: Springer Science & Business Media, 2004-02-03
Pages: 331
Language: en
ISBN_13:9783540209652
ISBN_10:3540209654
Subject: Computers

Perspectives of System Informatics

4th International Andrei Ershov Memorial Conference, PSI 200...

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

By Dines Bjørner, Manfred Broy, Alexandre Zamulin
Publisher: Springer, 2003-06-30
Pages: 561
Language: en
ISBN_13:9783540455752
ISBN_10:3540455752
Subject: Computers

2011

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

Publisher: Walter de Gruyter, 2013-03-01
Pages: 2983
Language: en
ISBN_13:9783110312287
ISBN_10:311031228X
Subject: Reference

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9,...

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

By Rocco De Nicola
Publisher: Springer Science & Business Media, 2005-12-13
Pages: 379
Language: en
ISBN_13:9783540300076
ISBN_10:3540300074
Subject: Computers

Proof, Computation and Agency

Logic at the Crossroads

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

By Johan van Benthem, Amitabha Gupta, Rohit Parikh
Publisher: Springer Science & Business Media, 2011-04-02
Pages: 381
Language: en
ISBN_13:9789400700802
ISBN_10:9400700806
Subject: Philosophy

Axiomatic Thinking II

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

By Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Publisher: Springer Nature, 2022-09-17
Pages: 293
Language: en
ISBN_13:9783030777999
ISBN_10:3030777995
Subject: Mathematics

Logics of Specification Languages

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

By Dines Bjørner, Martin C. Henson
Publisher: Springer Science & Business Media, 2007-12-05
Pages: 624
Language: en
ISBN_13:9783540741077
ISBN_10:3540741070
Subject: Mathematics

ICDT '90

Third International Conference on Database Theory, Paris, Fr...

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

By Serge Abiteboul
Publisher: Springer Science & Business Media, 1990-12-03
Pages: 540
Language: en
ISBN_10:3540535071
ISBN_13:9783540535072
Subject: Computers

Future Generation Information Technology

Second International Conference, FGIT 2010, Jeju Island, Kor...

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

By Jung-Hyun Lee, Byeong-Ho Kang, Dominik Ślęzak
Publisher: Springer, 2010-11-26
Pages: 771
Language: en
ISBN_13:9783642175695
ISBN_10:3642175694
Subject: Computers

Turing’s Revolution

The Impact of His Ideas about Computability

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

By Giovanni Sommaruga, Thomas Strahm
Publisher: Birkhäuser, 2016-01-21
Pages: 347
Language: en
ISBN_13:9783319221564
ISBN_10:3319221566
Subject: Mathematics

Logic, Computation and Rigorous Methods

Essays Dedicated to Egon Börger on the Occasion of His 75th ...

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

By Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
Publisher: Springer Nature, 2021-06-04
Pages: 367
Language: en
ISBN_13:9783030760205
ISBN_10:3030760200
Subject: Computers

Computer Science Logic

8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30,...

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

By Leszek Pacholski, Jerzy Tiuryn
Publisher: Springer Science & Business Media, 1995-07-18
Pages: 564
Language: en
ISBN_10:3540600175
ISBN_13:9783540600176
Subject: Computers

Formal Methods in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia...

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

By Dines Bjorner, Manfred Broy, Igor V. Pottosin
Publisher: Springer Science & Business Media, 1993-10-05
Pages: 446
Language: en
ISBN_10:354057316X
ISBN_13:9783540573166
Subject: Computers

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of t...

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

By European Association for Computer Science Logic. Conference
Publisher: Springer Science & Business Media, 2000-08-09
Pages: 556
Language: en
ISBN_13:9783540678953
ISBN_10:3540678956
Subject: Computers

Fields of Logic and Computation

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

$This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personal tribute 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 Gurevich’s multiple areas of interest.$

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

By Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Publisher: Springer Science & Business Media, 2010-08-05
Pages: 637
Language: en
ISBN_13:9783642150241
ISBN_10:3642150241
Subject: Computers

Fields of Logic and Computation II

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

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

By Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
2015
Language: en
ISBN_10:3319235354
ISBN_13:9783319235356

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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