Search Results for Engineering mathematics.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

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

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

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

Introduction to Discrete Mathematics via Logic and Proof

Yazar

Jongsma, Calvin. author.

https://doi.org/10.1007/978-3-030-25358-5

Format:

Electronic Resources

Alıntı:

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

Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions

Yazar

Buscema, Paolo Massimo. author.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}