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

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

Refinement in Z and Object-Z

Foundations and Advanced Applications

By John Derrick, Eerke A. Boiten
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 465
Language: en
ISBN_13:9781447102571
ISBN_10:1447102576
Subject: Computers

Abstraction, Refinement and Proof for Probabilistic Systems

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

By Annabelle McIver, Carroll Morgan
Publisher: Springer Science & Business Media, 2005
Pages: 412
Language: en
ISBN_10:0387401156
ISBN_13:9780387401157
Subject: Computers

Refinement

Semantics, Languages and Applications

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

By John Derrick, Eerke Boiten
Publisher: Springer, 2018-09-03
Pages: 276
Language: en
ISBN_13:9783319927114
ISBN_10:3319927116
Subject: Computers

Program Development by Refinement

Case Studies Using the B Method

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

By Emil Sekerinski, Kaisa Sere
Publisher: Springer Science & Business Media, 1999
Pages: 364
Language: en
ISBN_10:1852330538
ISBN_13:9781852330538
Subject: Computers

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004, Leiden, The Nether...

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

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Publisher: Springer, 2005-09-27
Pages: 332
Language: en
ISBN_13:9783540319399
ISBN_10:3540319395
Subject: Computers

Mathematics of Program Construction

5th International Conference, MPC 2000 Ponte de Lima, Portug...

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

By Roland Backhouse, Jose Nuno Oliveira
Publisher: Springer, 2006-12-30
Pages: 265
Language: en
ISBN_13:9783540450252
ISBN_10:3540450254
Subject: Computers

Program Design Calculi

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

By Manfred Broy
Publisher: Springer Science & Business Media, 2013-12-01
Pages: 418
Language: en
ISBN_13:9783662028803
ISBN_10:3662028808
Subject: Computers

FM'99 - Formal Methods

World Congress on Formal Methods in the Developement of Comp...

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

By Jeannette M. Wing, Jim Woodcook, Jim Davies
Publisher: Springer Science & Business Media, 1999-09-13
Pages: 955
Language: en
ISBN_13:9783540665878
ISBN_10:3540665870
Subject: Computers

$The content of this volume has been added to eMagRes (formerly Encyclopedia of Magnetic Resonance) - the ultimate online resource for NMR and MRI. The term "NMR Crystallography" has only recently come into common usage, and even now causes raised eyebrows within some parts of the diffraction community. The power of solid-state NMR to give crystallographic information has considerably increased since the CPMAS suite of techniques was introduced in 1976. In the first years of the 21st century, the ability of NMR to provide information to support and facilitate the analysis of single-crystal and powder diffraction patterns has become widely accepted. Indeed, NMR can now be used to refine diffraction results and, in favorable cases, to solve crystal structures with minimal (or even no) diffraction data. The increasing ability to relate chemical shifts (including the tensor components) to the crystallographic location of relevant atoms in the unit cell via computational methods has added significantly to the practice of NMR crystallography. Diffraction experts will increasingly welcome NMR as an allied technique in their structural analyses. Indeed, it may be that in the future crystal structures will be determined by simultaneously fitting diffraction patterns and NMR spectra. This Handbook is organised into six sections. The first contains an overview and some articles on fundamental NMR topics, followed by a section concentrating on chemical shifts, and one on coupling interactions. The fourth section contains articles describing how NMR results relate to fundamental crystallography concepts and to diffraction methods. The fifth section concerns specific aspects of structure, such as hydrogen bonding. Finally, four articles in the sixth section give applications of NMR crystallography to structural biology, organic & pharmaceutical chemistry, inorganic & materials chemistry, and geochemistry. About EMR Handbooks / eMagRes Handbooks The Encyclopedia of Magnetic Resonance (up to 2012) and eMagRes (from 2013 onward) publish a wide range of online articles on all aspects of magnetic resonance in physics, chemistry, biology and medicine. The existence of this large number of articles, written by experts in various fields, is enabling the publication of a series of EMR Handbooks / eMagRes Handbooks on specific areas of NMR and MRI. The chapters of each of these handbooks will comprise a carefully chosen selection of articles from eMagRes. In consultation with the eMagRes Editorial Board, the EMR Handbooks / eMagRes Handbooks are coherently planned in advance by specially-selected Editors, and new articles are written (together with updates of some already existing articles) to give appropriate complete coverage. The handbooks are intended to be of value and interest to research students, postdoctoral fellows and other researchers learning about the scientific area in question and undertaking relevant experiments, whether in academia or industry. Have the content of this Handbook and the complete content of eMagRes at your fingertips! Visit: www.wileyonlinelibrary.com/ref/eMagRes View other eMagRes publications here$

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

By Robin K. Harris, Roderick E. Wasylishen, Melinda J. Duer
Publisher: John Wiley & Sons, 2012-12-19
Pages: 523
Language: en
ISBN_13:9781118587324
ISBN_10:1118587324
Subject: Science

Foundation of Software Science and Computation Structures

Third International Conference, FOSSACS 2000 Held as Part of...

$ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a loose confederation in which each event retains its own identity, with a separate program committee and independent proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for \u- fying" talks on topics of interest to the whole range of ETAPS attendees.$

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

By Jerzy Tiuryn
Publisher: Springer Science & Business Media, 2000-03-15
Pages: 402
Language: en
ISBN_13:9783540672579
ISBN_10:3540672575
Subject: Computers

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers...

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

By Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti
Publisher: Springer Nature, 2020-08-10
Pages: 584
Language: en
ISBN_13:9783030549978
ISBN_10:3030549976
Subject: Computers

ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, Fran...

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

By Didier Bert
Publisher: Springer Science & Business Media, 2002-01-16
Pages: 547
Language: en
ISBN_13:9783540431664
ISBN_10:3540431667
Subject: Computers

Abstract State Machines 2003: Advances in Theory and Practice

10th International Workshop, ASM 2003, Taormina, Italy, Marc...

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

By Egon Börger, Angelo Gargantini, Elvinia Riccobene
Publisher: Springer, 2003-07-01
Pages: 441
Language: en
ISBN_13:9783540364986
ISBN_10:3540364986
Subject: Computers

Deductive Program Design

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

By Manfred Broy
Publisher: Springer Science & Business Media, 1996-06-18
Pages: 490
Language: en
ISBN_10:3540609474
ISBN_13:9783540609476
Subject: Computers

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July...

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

By Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Publisher: Springer, 2013-07-22
Pages: 508
Language: en
ISBN_13:9783642396342
ISBN_10:3642396348
Subject: Mathematics

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, Septem...

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

By Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Publisher: Springer, 2008-09-22
Pages: 393
Language: en
ISBN_13:9783540876038
ISBN_10:3540876030
Subject: Computers

Relational and Algebraic Methods in Computer Science

15th International Conference, RAMiCS 2015, Braga, Portugal,...

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

By Wolfram Kahl, Michael Winter, José Oliveira
Publisher: Springer, 2015-09-24
Pages: 401
Language: en
ISBN_13:9783319247045
ISBN_10:3319247042
Subject: Mathematics

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ...

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

By Jin Song Dong, Jim Woodcock
Publisher: Springer Science & Business Media, 2003-10-27
Pages: 693
Language: en
ISBN_13:9783540204619
ISBN_10:354020461X
Subject: Computers

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Ger...

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

By Eerke A. Boiten, Bernhard Möller
Publisher: Springer, 2003-08-02
Pages: 273
Language: en
ISBN_13:9783540454427
ISBN_10:354045442X
Subject: Computers

The Field Artillery Observer

Free Epub

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

By United States. Department of the Army
1978
Pages: 202
Language: en
OTHER:SRLF:D0002402790
Subject: Artillery, Field and mountain

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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