Search Results for Foundations.

12 sonuç bulundu

Tümünü Seç

000000000000DEFAULTTR

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Yazar

Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379

https://doi.org/10.1007/978-3-319-70848-5

Format:

Electronic Resources

Alıntı:

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Yazar

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952

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

Format:

Electronic Resources

Alıntı:

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Yazar

Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243

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

Format:

Electronic Resources

Alıntı:

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams

Yazar

Roman, Adam. author.

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

Format:

Electronic Resources

Alıntı:

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams /

The In-Memory Revolution How SAP HANA Enables Business of the Future

Yazar

Plattner, Hasso. author.

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

Format:

Electronic Resources

Alıntı:

Part I: Foundations of In-Memory Technology -- Part II: New Enterprise Applications -- Part III

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor.

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

Format:

Electronic Resources

Alıntı:

of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings

Yazar

Grünbacher, Paul. editor.

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

Format:

Electronic Resources

Alıntı:

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference

Introduction to the History of Computing A Computing History Primer

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Includes an introduction to analogue and digital computers, and to the foundations of computing Examines

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Yazar

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

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

Format:

Electronic Resources

Alıntı:

to the foundations of program and system development and analysis, programming methodology and

10.

Software Product Management The ISPMA-Compliant Study Guide and Handbook

Yazar

Kittlaus, Hans-Bernd. author.

https://doi.org/10.1007/978-3-642-55140-6

Format:

Electronic Resources

Alıntı:

Introduction and Foundations -- Software Product Management Essentials -- Software Product

11.

Gender codes : why women are leaving computing

Yazar

Misa, Thomas J.

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

Format:

Electronic Resources

Alıntı:

industry and government with hiring responsibilities; and with staff and executives at foundations and

12.

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

Yazar

Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750

https://doi.org/10.1007/978-3-030-33742-1

Format:

Electronic Resources

Alıntı:

Interest in Open Source Foundations -- Dynamic Data Management for Machine Learning in Embedded Systems: A

	{displayName}	{count}
{error}