Search Results for Programming Techniques.

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

Yazar

Seffah, Ahmed. author.

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

Format:

Electronic Resources

Alıntı:

Programming Techniques.

Designing Thriving Systems Marrying Technical Rationality and Appreciative Systems

Yazar

Waguespack, Leslie J. author.

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

Format:

Electronic Resources

Alıntı:

Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010

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

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

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Yazar

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

https://doi.org/10.1007/978-3-319-74896-2

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Yazar

Lucanu, Dorel. editor.

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

Format:

Electronic Resources

Alıntı:

Programming Techniques.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Escobar, Santiago. editor.

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

Format:

Electronic Resources

Alıntı:

Programming Techniques.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Yazar

Rousseau, Louis-Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies

	{displayName}	{count}
{error}