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

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

The Woman Who Couldn't Wake Up

Hypersomnia and the Science of Sleepiness

By Quinn Eastman
Publisher: Columbia University Press, 2023-08-01
Pages: 230
Language: en
ISBN_13:9780231550918
ISBN_10:023155091X
Subject: Medical

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

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

By David Trachtenherz
Publisher: Springer-Verlag, 2010-09-24
Pages: 443
Language: de
ISBN_13:9783834897039
ISBN_10:3834897035
Subject: Computers

Algebraic Methodology and Software Technology

7th International Conference, AMAST'98, Amazonia, Brazil, Ja...

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

By Armando M. Haeberer
Publisher: Springer, 2003-05-20
Pages: 542
Language: en
ISBN_13:9783540492535
ISBN_10:3540492534
Subject: Computers

Relational and Kleene-Algebraic Methods in Computer Science

7th International Seminar on Relational Methods in Computer ...

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

By R. Berghammer, Bernhard Möller, Georg Struth
Publisher: Springer Science & Business Media, 2004-06-01
Pages: 291
Language: en
ISBN_13:9783540221456
ISBN_10:354022145X
Subject: Mathematics

Das Glück im antiken Judentum und im Neuen Testament

Eine Untersuchung zu den Konzepten eines guten Lebens in der...

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

By Daniel Maier
Publisher: Mohr Siebeck, 2021-06-24
Pages: 540
Language: de
ISBN_13:9783161598647
ISBN_10:3161598644
Subject: Religion

Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells

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

By Christian Facchi
Publisher: Herbert Utz Verlag, 1995
Pages: 188
Language: de
ISBN_10:3931327949
ISBN_13:9783931327941

Grammatiktheorie und Empirie in der germanistischen Linguistik

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

By Angelika Wöllstein, Peter Gallmann, Mechthild Habermann, Manfred Krifka
Publisher: Walter de Gruyter GmbH & Co KG, 2018-07-23
Pages: 634
Language: de
ISBN_13:9783110490992
ISBN_10:3110490994
Subject: Language Arts & Disciplines

Transformation-Based Reactive Systems Development

4th International AMAST Workshop on Real-Time Systems and Co...

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

By Miquel Bertran, Teodor Rus
Publisher: Springer, 2005-07-01
Pages: 442
Language: en
ISBN_13:9783540690580
ISBN_10:3540690581
Subject: Computers

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, Jul...

$Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.$

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

By Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Publisher: Springer, 2003-05-21
Pages: 287
Language: en
ISBN_13:9783540482345
ISBN_10:3540482342
Subject: Computers

The Ultimate Challenge

The $3x+1$ Problem

$The $3x+1$ problem, or Collatz problem, concerns the following seemingly innocent arithmetic procedure applied to integers: If an integer $x$ is odd then “multiply by three and add one”, while if it is even then “divide by two”. The $3x+1$ problem asks whether, starting from any positive integer, repeating this procedure over and over will eventually reach the number 1. Despite its simple appearance, this problem is unsolved. Generalizations of the problem are known to be undecidable, and the problem itself is believed to be extraordinarily difficult. This book reports on what is known on this problem. It consists of a collection of papers, which can be read independently of each other. The book begins with two introductory papers, one giving an overview and current status, and the second giving history and basic results on the problem. These are followed by three survey papers on the problem, relating it to number theory and dynamical systems, to Markov chains and ergodic theory, and to logic and the theory of computation. The next paper presents results on probabilistic models for behavior of the iteration. This is followed by a paper giving the latest computational results on the problem, which verify its truth for $x < 5.4 cdot 10^{18}$. The book also reprints six early papers on the problem and related questions, by L. Collatz, J. H. Conway, H. S. M. Coxeter, C. J. Everett, and R. K. Guy, each with editorial commentary. The book concludes with an annotated bibliography of work on the problem up to the year 2000.$

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

By Jeffrey C. Lagarias
Publisher: American Mathematical Society, 2023-04-19
Pages: 360
Language: en
ISBN_13:9781470472894
ISBN_10:1470472899
Subject: Mathematics

Relations and Kleene Algebra in Computer Science

9th International Conference on Relational Methods in Comput...

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

By Renate A. Schmidt
Publisher: Springer Science & Business Media, 2006-08-17
Pages: 443
Language: en
ISBN_13:9783540378730
ISBN_10:3540378731
Subject: Computers

Algebraic Methodology and Software Technology

12th International Conference, AMAST 2008 Urbana, IL, USA, J...

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

By José Meseguer, Grigore Rosu
Publisher: Springer Science & Business Media, 2008-07-15
Pages: 442
Language: en
ISBN_13:9783540799795
ISBN_10:3540799796
Subject: Computers

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'9...

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

By Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
Publisher: Springer, 2003-06-26
Pages: 552
Language: en
ISBN_13:9783540465621
ISBN_10:3540465626
Subject: Computers

Aspects of Molecular Computing

Essays Dedicated to Tom Head on the Occasion of His 70th Bir...

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

By Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg
Publisher: Springer, 2004-01-21
Pages: 401
Language: en
ISBN_13:9783540246350
ISBN_10:3540246355
Subject: Mathematics

Recent Trends in Data Type Specification

11th Workshop on Specification of Abstract Data Types, Joint...

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

By Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
Publisher: Springer Science & Business Media, 1996-09-04
Pages: 568
Language: en
ISBN_10:3540616292
ISBN_13:9783540616290
Subject: Computers

Algebraic Methodology and Software Technology

8th International Conference, AMAST 2000 Iowa City, Iowa, US...

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

By Teodor Rus
Publisher: Springer Science & Business Media, 2000-05-03
Pages: 556
Language: en
ISBN_13:9783540675303
ISBN_10:3540675302
Subject: Computers

Cooperative Information Agents III

Third International Workshop, CIA'99 Uppsala, Sweden, July 3...

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

By Matthias Klusch, Onn M. Shehory, Gerhard Weiß
Publisher: Springer Science & Business Media, 1999-07-21
Pages: 768
Language: en
ISBN_10:3540663258
ISBN_13:9783540663256
Subject: Computers

Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Eston...

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

By Michael Johnson, Varmo Vene
Publisher: Springer, 2006-09-27
Pages: 399
Language: en
ISBN_13:9783540356363
ISBN_10:3540356363
Subject: Computers

Grammatical theory

From transformational grammar to constraint-based approaches...

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

By Stefan Müller
Publisher: Language Science Press,
Language: en
ISBN_13:9783961100743
ISBN_10:3961100748

Grammatical theory: From transformational grammar to constraint-based approaches (Fifth revised edition)

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

By Stefan Müller
Publisher: Language Science Press, 2023-01-23
Pages: 889
Language: en
ISBN_13:9783961104024
ISBN_10:3961104026
Subject: Language Arts & Disciplines

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

خرید مانگا

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

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

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

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

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

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

کتاب خارجی

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