Search Results for Engineering, general.

54 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

Yazar

Heckel, Reiko. editor.

https://doi.org/10.1007/978-3-319-75396-6

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

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ı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Computational Thinking First Algorithms, Then Code

Yazar

Ferragina, Paolo. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

Yazar

Ibrahim, Shadi. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

Yazar

Tan, Ying. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Yazar

Gheorghe, Marian. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Science, general. http://scigraph.springernature.com/things/product-market-codes/I00001

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor.

https://doi.org/10.1007/978-3-662-54069-5

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Yazar

Leporati, Alberto. editor.

https://doi.org/10.1007/978-3-319-54072-6

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

Yazar

Klasing, Ralf. editor.

https://doi.org/10.1007/978-3-662-55751-8

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

10.

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Yazar

Hague, Matthew. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

11.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Yazar

Gallardo, María del Mar. editor.

https://doi.org/10.1007/978-3-319-94111-0

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

12.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Tümünü Seç

1 2 3 4 5

54 sonuç bulundu

	{displayName}	{count}
{error}