search result

Cover von High Performance Computing
ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21 - 25, 2023, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13999
Media group: MONOGRAPHIE
Cover von Computational Logistics
14th International Conference, ICCL 2023, Berlin, Germany, September 6 - 8, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14239
Media group: MONOGRAPHIE
Cover von Graph-Based Representation and Reasoning
28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11 - 13, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14133
Media group: MONOGRAPHIE
Cover von Reversible Computation
15th International Conference, RC 2023, Giessen, Germany, July 18 - 19, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13960
Media group: MONOGRAPHIE
Cover von Formal Concept Analysis
17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13934
Media group: MONOGRAPHIE
Cover von Detection of Intrusions and Malware, and Vulnerability Assessment
20th International Conference, DIMVA 2023, Hamburg, Germany, July 12 - 14, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13959
Media group: MONOGRAPHIE
Cover von Critical Information Infrastructures Security
17th International Conference, CRITIS 2022, Munich, Germany, September 14 - 16, 2022, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 13723
Media group: MONOGRAPHIE
Cover von Algorithmic Aspects of Cloud Computing
7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13799
Media group: MONOGRAPHIE
Cover von Correct hardware design and verification methods
10th IFIP WG10.5 advanced research working conference : Bad Herrenalb, Germany, September 27 - 29, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1703
Media group: MONOGRAPHIE
Cover von Applied formal methods
international workshop on current trends in applied formal methods : Boppard, Germany, October 7 - 9, 1998 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1641
Media group: MONOGRAPHIE
OPEN V 11.1.0.0