Search Results for Mathematical Logic and Formal Languages.

459 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 39

000000000000DEFAULTTR

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Yazar

Artemov, Sergei. editor.

http://dx.doi.org/10.1007/978-3-319-27683-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Refinement in Z and Object-Z Foundations and Advanced Applications

Yazar

Derrick, John. author.

http://dx.doi.org/10.1007/978-1-4471-5355-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

Yazar

Śmiałek, Michał. author.

http://dx.doi.org/10.1007/978-3-319-12838-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Introduction to Mathematica® with Applications

Yazar

Mureşan, Marian. author.

https://doi.org/10.1007/978-3-319-52003-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

Yazar

Usman, Muhammad. author.

https://doi.org/10.1007/978-981-10-7467-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

Yazar

Nguyen, Hung Son. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

An Introduction to the Technique of Formative Processes in Set Theory

Yazar

Cantone, Domenico. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

https://doi.org/10.1007/978-3-662-56641-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

10.

Controlling Language in Industry Controlled Languages for Technical Documents

Yazar

Crabbe, Stephen. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

11.

The Handbook of Formal Methods in Human-Computer Interaction

Yazar

Weyers, Benjamin. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

12.

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Yazar

Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678

https://doi.org/10.1007/978-3-030-00389-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Tümünü Seç

1 2 3 4 5 .. 39

459 sonuç bulundu

	{displayName}	{count}
{error}