Search Results for Engineering, general.

14 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Press on : principles of interaction programming

Yazar

Thimbleby, Harold, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346

Format:

Electronic Resources

Alıntı:

COMPUTERS / Software Development & Engineering / General.

Automatic algorithm recognition and replacement : a new approach to program optimization

Yazar

Metzger, Robert C., author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414

Format:

Electronic Resources

Alıntı:

COMPUTERS -- Software Development & Engineering -- General.

A small matter of programming : perspectives on end user computing

Yazar

Nardi, Bonnie A., author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418

Format:

Electronic Resources

Alıntı:

COMPUTERS -- Software Development & Engineering -- General.

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Yazar

Zsók, Viktória. editor.

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

Format:

Electronic Resources

Alıntı:

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

Retrogame Archeology Exploring Old Computer Games

Yazar

Aycock, John. author.

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

Format:

Electronic Resources

Alıntı:

professionals and advanced-level students in computer science, engineering, and mathematics but would also be of

Generating language-based environments

Yazar

Reps, Thomas W., (Thomas William) author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325

Format:

Electronic Resources

Alıntı:

environment-generator to select the most efficient applicable algorithm; a general method for sharing storage among

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

Yazar

Chlipala, Adam, 1981-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486

Format:

Electronic Resources

Alıntı:

adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Yazar

Mesnard, Fred. editor.

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

Format:

Electronic Resources

Alıntı:

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

The computer boys take over : computers, programmers, and the politics of technical expertise

Yazar

Ensmenger, Nathan, 1972-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480

Format:

Electronic Resources

Alıntı:

Software engineering -- History.

10.

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Yazar

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

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

Format:

Electronic Resources

Alıntı:

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

11.

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Yazar

Zsók, Viktória. editor.

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

Format:

Electronic Resources

Alıntı:

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania

12.

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Yazar

Nejati, Shiva. editor.

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

Format:

Electronic Resources

Alıntı:

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

	{displayName}	{count}
{error}