Search Results for Mathematical Logic and Formal Languages.

562 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 47

000000000000DEFAULTTR

13.

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

14.

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

15.

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context

Yazar

Calosi, Claudio. editor.

http://dx.doi.org/10.1007/978-3-319-05356-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

16.

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

17.

Formal Languages and Compilation

Yazar

Crespi Reghizzi, Stefano. author.

https://doi.org/10.1007/978-3-030-04879-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

18.

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

19.

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

20.

Nonsymmetric Operads in Combinatorics

Yazar

Giraudo, Samuele. author.

https://doi.org/10.1007/978-3-030-02074-3

Format:

Electronic Resources

Alıntı:

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

21.

Linguistic Expressions and Semantic Processing A Practical Approach

Yazar

Butler, Alastair. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

22.

David Makinson on Classical Methods for Non-Classical Problems

Yazar

Hansson, Sven Ove. editor.

http://dx.doi.org/10.1007/978-94-007-7759-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

23.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Yazar

Ölveczky, Peter Csaba. author.

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Electronic Resources

Alıntı:

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

24.

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Yazar

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

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

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 .. 47

562 sonuç bulundu

	{displayName}	{count}
{error}