Search Results for System theory.

69 sonuç bulundu

Tümünü Seç

1 2 3 4 5 6

000000000000DEFAULTTR

Augmented Marked Graphs

Yazar

Cheung, King Sing. author.

http://dx.doi.org/10.1007/978-3-319-06428-4

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

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.

Transactions on Petri Nets and Other Models of Concurrency XIV

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-60651-3

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

Yazar

Meisen, Philipp. author.

http://dx.doi.org/10.1007/978-3-658-15728-9

Format:

Electronic Resources

Alıntı:

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis /

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Carl Adam Petri: Ideas, Personality, Impact

Yazar

Reisig, Wolfgang. editor.

https://doi.org/10.1007/978-3-319-96154-5

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Yazar

Duan, Zhenhua. editor.

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

10.

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Yazar

Daydé, Michel. editor.

http://dx.doi.org/10.1007/978-3-319-17353-5

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

11.

Formal Methods An Appetizer

Yazar

Nielson, Flemming. author. (orcid)0000-0001-7362-6176

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

12.

Managed Software Evolution

Yazar

Reussner, Ralf. editor.

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Tümünü Seç

1 2 3 4 5 6

69 sonuç bulundu

	{displayName}	{count}
{error}