1
Mathematical Foundations of Software Engineering [E-Book] : A Practical Guide to Essentials /

Full text 
Favorites
Saved in:
2
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
3
Guide to Computer Processor Architecture [E-Book] : A RISC-V Approach, with High-Level Synthesis /

Full text 
Favorites
Saved in:
4
Guide to Java [E-Book] : A Concise Introduction to Programming /

Full text 
Favorites
Saved in:
5
Applicable Formal Methods for Safe Industrial Products [E-Book] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /

Full text 
Favorites
Saved in:
6
Fundamentals of Reinforcement Learning [E-Book] /

Full text 
Favorites
Saved in:
7
Applied Technologies [E-Book] : 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I /
Table of Contents: “... through the Production of Cyclopentenol -- Virtual Training Module for the Extraction of Essential Oils using a Distillation column -- Teaching Digital Competences in University professors: A meta-analysis and systematic literature review in Web of Science...”

Full text 
Favorites
Saved in:
8
Concise Guide to Software Verification [E-Book] : From Model Checking to Annotation Checking /

Full text 
Favorites
Saved in:
9
The Logic of Software. A Tasting Menu of Formal Methods [E-Book] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
10
Tales of Electrologica [E-Book] : Computers, Software and People /

Full text 
Favorites
Saved in:
11
Software Product Management [E-Book] : The ISPMA®-Compliant Study Guide and Handbook /

Full text 
Favorites
Saved in:
12
Age-Appropriate Digital Channels [E-Book] /

Full text 
Favorites
Saved in:
13
Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /

Full text 
Favorites
Saved in:
14
Concise Guide to Software Engineering [E-Book] : From Fundamentals to Application Methods /

Full text 
Favorites
Saved in:
15
A Journey from Process Algebra via Timed Automata to Model Learning [E-Book] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
16
Critical Infrastructure Protection XV [E-Book] : 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Guide to Web Development with Java [E-Book] : Understanding Website Creation /

Full text 
Favorites
Saved in:
18
Real-World Decision Support Systems [E-Book] : Case Studies /

Full text 
Favorites
Saved in:
19
Correct System Design [E-Book] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

Full text 
Favorites
Saved in:
20
Algorithms, Probability, Networks, and Games [E-Book] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:

Narrow Search Results