ثبت درخواست جستجو

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

Symbolic Algebraic Methods and Verification Methods
جزئیات و درخواست
By Götz Alefeld, Jiri Rohn, Siegfried Rump, Tetsuro Yamamoto
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 269
Language: en
ISBN_13:9783709162804
ISBN_10:3709162807
Subject: Mathematics

Computer Science Logic

16th International Workshop, CSL 2002, 11th Annual Conferenc...

Computer Science Logic
جزئیات و درخواست
By Julian Bradfield
Publisher: Springer, 2003-08-02
Pages: 630
Language: en
ISBN_13:9783540457930
ISBN_10:3540457933
Subject: Computers

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, Sept...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Publisher: Springer Science & Business Media, 1999-09-01
Pages: 363
Language: en
ISBN_13:9783540664635
ISBN_10:3540664637
Subject: Mathematics

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Christel Baier, Ugo Dal Lago
Publisher: Springer, 2018-04-14
Pages: 586
Language: en
ISBN_13:9783319893662
ISBN_10:3319893661
Subject: Computers

Foundations of Software Science and Computation Structures

5th International Conference, FOSSACS 2002. Held as Part of ...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Mogens Nielsen, Uffe Engberg
Publisher: Springer, 2003-08-01
Pages: 449
Language: en
ISBN_13:9783540459316
ISBN_10:3540459316
Subject: Computers
Perspectives on Enclosure Methods
جزئیات و درخواست
By Ulrich Kulisch, Rudolf Lohner, Axel Facius
Publisher: Springer Science & Business Media, 2001-06-18
Pages: 368
Language: en
ISBN_10:3211835903
ISBN_13:9783211835906
Subject: Computers
Sustainable Supply Chains: Strategies, Issues, and Models
جزئیات و درخواست
By Usha Ramanathan, Ramakrishnan Ramanathan
Publisher: Springer Nature, 2020-07-17
Pages: 314
Language: en
ISBN_13:9783030488765
ISBN_10:3030488764
Subject: Technology & Engineering

Algorithm Theory - SWAT 2006

10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia...

Algorithm Theory - SWAT 2006
جزئیات و درخواست
By Lars Arge, Rusins Freivalds
Publisher: Springer, 2006-06-27
Pages: 447
Language: en
ISBN_13:9783540357551
ISBN_10:3540357556
Subject: Computers

Mathematical Foundations of Programming Semantics

9th International Conference, New Orleans, LA, USA, April 7 ...

Mathematical Foundations of Programming Semantics
جزئیات و درخواست
By Stephen Brookes
Publisher: Springer Science & Business Media, 1994-05-20
Pages: 664
Language: en
ISBN_10:3540580271
ISBN_13:9783540580270
Subject: Computers

Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of...

Foundations of Software Science and Computational Structures
جزئیات و درخواست
By Helmut Seidl
Publisher: Springer Science & Business Media, 2007-07-02
Pages: 388
Language: en
ISBN_13:9783540713890
ISBN_10:3540713891
Subject: Computers
Stochastic Coalgebraic Logic
جزئیات و درخواست
By Ernst-Erich Doberkat
Publisher: Springer Science & Business Media, 2009-12-24
Pages: 231
Language: en
ISBN_13:9783642029950
ISBN_10:3642029957
Subject: Mathematics

Foundations of Software Science and Computation Structures

16th International Conference, FOSSACS 2013, Held as Part of...

Foundations of Software Science and Computation Structures
جزئیات و درخواست
By Frank Pfenning
Publisher: Springer, 2013-02-17
Pages: 471
Language: en
ISBN_13:9783642370755
ISBN_10:3642370756
Subject: Mathematics

Static Analysis

8th International Symposium, SAS 2001, Paris, France, July 1...

Static Analysis
جزئیات و درخواست
By Patrick Cousot
Publisher: Springer Science & Business Media, 2001-07-04
Pages: 449
Language: en
ISBN_13:9783540423140
ISBN_10:3540423141
Subject: Computers

Computer Science Logic

CSL ... : Proceedings

Computer Science Logic
جزئیات و درخواست
2004
Pages: 550
Language: en
OTHER:UOM:39015058888465
Subject: Computer science

Tenth Annual IEEE Symposium on Logic in Computer Science

Proceedings, June 26-29, 1995, San Diego, California

Tenth Annual IEEE Symposium on Logic in Computer Science
جزئیات و درخواست
By Dexter Kozen
1995
Pages: 544
Language: en
OTHER:UCSC:32106011484570
Subject: Computer science
Types for Proofs and Programs
جزئیات و درخواست
2000
Pages: 220
Language: en
OTHER:UOM:39015047813616
Subject: Automatic theorem proving
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
جزئیات و درخواست
By S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Publisher: OUP Oxford, 2001-01-25
Pages: 556
Language: en
ISBN_13:9780191546273
ISBN_10:0191546275
Subject: Computers

Perspectives of Systems Informatics

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

Perspectives of Systems Informatics
جزئیات و درخواست
By Manfred Broy, Alexandre V. Zamulin
Publisher: Springer Science & Business Media, 2004-01-13
Pages: 587
Language: en
ISBN_13:9783540208136
ISBN_10:3540208135
Subject: Computers
Domains and Lambda-Calculi
جزئیات و درخواست
By Roberto M. Amadio, Pierre-Louis Curien
Publisher: Cambridge University Press, 1998-07-02
Pages: 504
Language: en
ISBN_13:9780521622776
ISBN_10:0521622778
Subject: Computers
Advanced Topics in Bisimulation and Coinduction
جزئیات و درخواست
By Davide Sangiorgi, Jan Rutten
Publisher: Cambridge University Press, 2011-10-13
Pages: 341
Language: en
ISBN_13:9781139502900
ISBN_10:1139502905
Subject: Computers
«12345678910»

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

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

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

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

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

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

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

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

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

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

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

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

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

  • کتاب زبان اصلی J.R.R
  • دانلود کتاب لاتین
  • خرید کتاب لاتین
  • خرید مانگا
  • خرید کتاب از گوگل بوکز
  • دانلود رایگان کتاب از گوگل بوکز
  • دانلود رایگان کتاب از آمازون
  • دانلود رایگان کتاب از گوگل بوکز
  • کتاب روانشناسی به انگلیسی
  • کتاب زبان اصلی
  • کتاب خارجی
  • سایت خرید کتاب زبان اصلی
  • درخواست کتاب زبان اصلی
  • سفارش کتاب زبان اصلی
  • خرید کتاب لاتین
  • دانلود کتاب زبان اصلی
    • ضمانت بازگشت وجه بدون شرط
    اعتماد سازی
    انتقال وجه کارت به کارت
    X

    پرداخت وجه کارت به کارت

    شماره کارت : 6104337650971516
    شماره حساب : 8228146163
    شناسه شبا (انتقال پایا) : IR410120020000008228146163
    بانک ملت به نام مهدی تاج دینی

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت