Search Results for Engineering mathematics.

18 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering AMINSE 2017, Tbilisi, Georgia, December 6-9

Yazar

Jaiani, George. editor.

https://doi.org/10.1007/978-3-030-10419-1

Format:

Electronic Resources

Alıntı:

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering AMINSE 2017

Springer Handbook of Model-Based Science

Yazar

Magnani, Lorenzo. editor.

https://doi.org/10.1007/978-3-319-30526-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Electrical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T24000

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Yazar

Codescu, Mihai. editor.

http://dx.doi.org/10.1007/978-3-319-28114-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Intuitionistic Fuzzy Logics

Yazar

T. Atanassov, Krassimir. author.

https://doi.org/10.1007/978-3-319-48953-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

10.

Towards Paraconsistent Engineering

Yazar

Akama, Seiki. editor.

http://dx.doi.org/10.1007/978-3-319-40418-9

Format:

Electronic Resources

Alıntı:

Towards Paraconsistent Engineering Akama, Seiki. editor.

11.

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

Yazar

Trillas, Enric. author.

https://doi.org/10.1007/978-3-319-56053-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

12.

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

https://doi.org/10.1007/978-3-319-55559-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

	{displayName}	{count}
{error}