Тема, жанр, tags: Computer Science,Logics and Meanings of Programs,Software Engineering,Programming Languages Compiler » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science,Logics and Meanings of Programs,Software Engineering,Programming Languages Compiler » Page 3

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

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

pdf

Author: Fred Mesnard Peter J. Stuckey
Language: English
Year: 2019

00

30.01.2024

1

0

book Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

pdf

Author: Cyrille Artho Peter Csaba Ölveczky
Language: English
Year: 2019

00

30.01.2024

0

0

book Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

pdf

Author: Andreas Podelski
Language: English
Year: 2018

00

30.01.2024

0

0

book Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

pdf

Author: Ruzica Piskac Philipp Rümmer
Language: English
Year: 2018

00

30.01.2024

0

0

book Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

pdf

Author: Fabio Fioravanti John P. Gallagher
Language: English
Year: 2018

00

29.01.2024

0

0

book The Majesty Of Vue.js

The Majesty Of Vue.js

pdf

Author: Alex Kyriakidis Kostas Maniatis
Language: English
Year: 2016

00

29.01.2024

0

0

book Getting Started With Raspberry Pi: An Introduction to the Fastest-Selling Computer in the World

Getting Started With Raspberry Pi: An Introduction to the Fastest-Selling Computer in the World

pdf

Author: Wallace Matt Richardson
Language: English
Year: 2016

00

29.01.2024

2

0

book Getting Started with the micro:bit: Coding and Making with the BBC’s Open Development Board

Getting Started with the micro:bit: Coding and Making with the BBC’s Open Development Board

epub

Author: Wolfram Donat
Language: English
Year: 2017

00

29.01.2024

8

0

book The Book of R: A First Course in Programming and Statistics

The Book of R: A First Course in Programming and Statistics

pdf

Author: Tilman M. Davies
Language: English
Year: 2016

00

29.01.2024

2

0

book Simplifying JavaScript: Writing Modern JavaScript with ES5, ES6, and Beyond

Simplifying JavaScript: Writing Modern JavaScript with ES5, ES6, and Beyond

pdf

Author: Joe Morgan
Language: English
Year: 2018

00

29.01.2024

0

0