search result

Cover von Correct hardware design and verification methods

Correct hardware design and verification methods
12th IFIP WG 10.5 advanced research working conference, L'Aquila, Itlay, October 21 - 24, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2860
Media group: MONOGRAPHIE
Cover von Part I.; Design for Better Futures

Part I.; Design for Better Futures
21st International Conference on Design Science Research in Information Systems and Technology, DESRIST 2026, Münster, Germany, June 8–10, 2026, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science; 16605
Media group: MONOGRAPHIE
Cover von Part III.; Computer Security

Part III.; Computer Security
ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part III
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Computer Security
Volume: Part III.
Series: Lecture notes in computer science; 16055
Media group: MONOGRAPHIE
Cover von Part II.; Computer Security

Part II.; Computer Security
ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part II
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Computer Security
Volume: Part II.
Series: Lecture notes in computer science; 16054
Media group: MONOGRAPHIE
Cover von Part I.; Computer Security

Part I.; Computer Security
ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Computer Security
Volume: Part I.
Series: Lecture notes in computer science; 16053
Media group: MONOGRAPHIE
Cover von Part IV.; Computer Security

Part IV.; Computer Security
ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part IV
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Computer Security
Volume: Part IV.
Series: Lecture notes in computer science; 16056
Media group: MONOGRAPHIE
Cover von Part VIII.; Machine Learning and Knowledge Discovery in Databases

Part VIII.; Machine Learning and Knowledge Discovery in Databases
Research Track and Applied Data Science Track : European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part VIII
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part VIII.
Series: Lecture notes in artificial intelligence; 16020
Media group: MONOGRAPHIE
Cover von Part I.; Local Solutions for Global Challenges

Part I.; Local Solutions for Global Challenges
20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2–4, 2025, Proceedings, Part I
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15703
Media group: MONOGRAPHIE
Cover von Part II.; Local Solutions for Global Challenges

Part II.; Local Solutions for Global Challenges
20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2–4, 2025, Proceedings, Part II
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science; 15704
Media group: MONOGRAPHIE
Cover von Part III.; Computer Security

Part III.; Computer Security
ESORICS 2024 : 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part III
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science; 14984
Media group: MONOGRAPHIE
OPEN V 11.1.0.0