Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers. by Cochez, Michael | Croitoru, Madalina | Marquis, Pierre | Rudolph, Sebastian. Series: Lecture Notes in Computer Science SerMaterial type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Wie greife ich auf das E-Book zu? | Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. by Groote, Jan Friso | Larsen, Kim Guldstrand. Series: Lecture Notes in Computer Science SerMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Wie greife ich auf das E-Book zu? | Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. by Guerra, Esther | Stoelinga, Mari�elle. Series: Lecture Notes in Computer Science SerMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Wie greife ich auf das E-Book zu? | Click to View Availability: No items available.
|