Search Results for Engineering mathematics.

285 sonuç bulundu

Tümünü Seç

1 .. 3 4 5 6 7 .. 24

000000000000DEFAULTTR

49.

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

50.

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author.

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

Format:

Electronic Resources

Alıntı:

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

51.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author.

https://doi.org/10.1007/978-3-662-54314-6

Format:

Electronic Resources

Alıntı:

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

52.

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Yazar

Torra, Vicenç. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

53.

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering

Yazar

Jureta, Ivan. author.

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

Format:

Electronic Resources

Alıntı:

Requirements Engineering / Jureta, Ivan. author.

54.

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor.

http://dx.doi.org/10.1007/978-3-642-54624-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

55.

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Yazar

Bjørner, Nikolaj. editor.

https://doi.org/10.1007/978-3-030-37487-7

Format:

Electronic Resources

Alıntı:

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

56.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

57.

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Yazar

Furia, Carlo A. editor.

https://doi.org/10.1007/978-3-319-98938-9

Format:

Electronic Resources

Alıntı:

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

58.

Numerical Methods of Mathematics Implemented in Fortran

Yazar

Bose, Sujit Kumar. author.

https://doi.org/10.1007/978-981-13-7114-1

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies

59.

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Yazar

Fontaine, Pascal. editor.

https://doi.org/10.1007/978-3-030-29436-6

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

60.

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Yazar

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

https://doi.org/10.1007/978-3-030-30763-9

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

Tümünü Seç

1 .. 3 4 5 6 7 .. 24

285 sonuç bulundu

	{displayName}	{count}
{error}