Search Results for State, The.

181 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 16

000000000000DEFAULTTR

Programming with Actors State-of-the-Art and Research Perspectives

Yazar

Ricci, Alessandro. editor.

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

Format:

Electronic Resources

Alıntı:

Programming with Actors State-of-the-Art and Research Perspectives / Ricci, Alessandro. editor.

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

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

Format:

Electronic Resources

Alıntı:

Computing and Software Science State of the Art and Perspectives / Steffen, Bernhard. editor

Automotive Systems and Software Engineering State of the Art and Future Trends

Yazar

Dajsuren, Yanja. editor.

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

Format:

Electronic Resources

Alıntı:

Automotive Systems and Software Engineering State of the Art and Future Trends / Dajsuren, Yanja

Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments

Yazar

Motta, Gianmario. editor.

http://dx.doi.org/10.1007/978-3-319-04217-6

Format:

Electronic Resources

Alıntı:

Software Engineering Education for a Global E-Service Economy State of the Art, Trends and

Automatic Generation of Combinatorial Test Data

Yazar

Zhang, Jian. author.

http://dx.doi.org/10.1007/978-3-662-43429-1

Format:

Electronic Resources

Alıntı:

This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the

Synthesizable VHDL Design for FPGAs

Yazar

Bezerra, Eduardo Augusto. author.

http://dx.doi.org/10.1007/978-3-319-02547-6

Format:

Electronic Resources

Alıntı:

over 20 years of teaching experience in the subject. The examples in the book were planned targeting

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses

Yazar

H. M. Cruz, Eduardo. author.

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

Format:

Electronic Resources

Alıntı:

. On the software side, this book describes the characteristics present in parallel applications that

Handbook of Hardware/Software Codesign

Yazar

Ha, Soonhoi. editor.

https://doi.org/10.1007/978-94-017-7267-9

Format:

Electronic Resources

Alıntı:

state-of-the-art techniques. Students and researchers will appreciate the wide spectrum of subjects that belong to

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Yazar

Butler, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

the area of formal methods and software engineering and are devoted to advancing the state of the art

10.

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

Yazar

Gurfinkel, Arie. editor.

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

Format:

Electronic Resources

Alıntı:

25 submissions. The goal of this conference is to advance the state of the art in the science and

11.

Enterprise Information Systems 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, Revised Selected Papers

Yazar

Cordeiro, José. editor.

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

Format:

Electronic Resources

Alıntı:

full-paper invited talks. The selected papers reflect state-of-the-art research that is oriented toward

12.

Future Internet Testing First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers

Yazar

Vos, Tanja E.J. editor.

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

Format:

Electronic Resources

Alıntı:

This book constitutes the proceedings of the First International Workshop on future Internet

Tümünü Seç

1 2 3 4 5 .. 16

181 sonuç bulundu

	{displayName}	{count}
{error}