search result

Cover von Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 16481
Media group: MONOGRAPHIE
Cover von Lectures on Parallel Computing
Author: Träff, Jesper Larsson Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 14600
Media group: MONOGRAPHIE
Cover von Reasoning Web
Declarative Artificial Intelligence : Knowledge, Rules, Logic : 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 15400
Media group: MONOGRAPHIE
Cover von Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1 - 7, 2021, Tutorial Lectures
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 13490
Media group: MONOGRAPHIE
Cover von Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17 - 21, 2019, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 11950
Media group: MONOGRAPHIE
Cover von Lectures on data security
modern cryptology in theory and practice
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 1561
Media group: MONOGRAPHIE
Cover von Optimal interprocedural program optimization
a new framework and its application
Author: Knoop, Jens Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 1428
Media group: MONOGRAPHIE
Cover von Lectures on embedded systems
European educational forum : school on embedded systems : Veldhoven, the Netherlands, November 25 - 29, 1996
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 1494
Media group: MONOGRAPHIE
Cover von Lectures on proof verification and approximation algorithms
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 1367
Media group: MONOGRAPHIE
Cover von Algorithmic foundations of geographic information systems
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 1340
Media group: MONOGRAPHIE
OPEN V 11.1.0.0