Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Teen Health & Wellness 11 Treffer
- BazTech 11 Treffer
- Biodiversity Heritage Library 11 Treffer
- BrillOnline Primary Source 11 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 11 Treffer
-
34 weitere Werte:
- Drama Online 11 Treffer
- British Library EThOS 11 Treffer
- ICPSR Data Archive 11 Treffer
- McGraw-Hill eBook Library 11 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 11 Treffer
- PsychiatryOnline 11 Treffer
- Routledge Handbooks Online 11 Treffer
- First Research 11 Treffer
- SAGE Business Researcher 11 Treffer
- McGraw-Hill Medical 7 Treffer
- Torrossa 7 Treffer
- Sustainable Organization Library (SOL) 7 Treffer
- Openedition.org 7 Treffer
- Networked Digital Library of Theses & Dissertations 7 Treffer
- LearningExpress Library 7 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 7 Treffer
- Beeld en Geluid op school 7 Treffer
- Canada Commons 7 Treffer
- DieselNet Technology Guide 7 Treffer
- Europeana 7 Treffer
- Films on Demand 7 Treffer
- Index New Zealand 7 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 7 Treffer
- Kotar Digital Library 7 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 7 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 7 Treffer
- Janes Defence Equipment & Technology (JDET) - News 7 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 7 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 7 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 7 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 7 Treffer
- Janes Military & Security Assessments (JMSA) – News 7 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 7 Treffer
- Ambrose Digital 7 Treffer
Art der Quelle
Schlagwort
- theory and automated verification 4 Treffer
- 004 3 Treffer
- computer science 3 Treffer
- 004.35 2 Treffer
- 005.1 2 Treffer
-
22 weitere Werte:
- 005.3 2 Treffer
- 577 2 Treffer
- 658.515 2 Treffer
- abstract interpretation 2 Treffer
- abstraction 2 Treffer
- automated verification 2 Treffer
- concurrency 2 Treffer
- debugging 2 Treffer
- fault localization 2 Treffer
- formal verification 2 Treffer
- mathematical logic and foundations 2 Treffer
- model checking 2 Treffer
- process algebra 2 Treffer
- program development and tools 2 Treffer
- program synthesis 2 Treffer
- software engineering 2 Treffer
- software verification 2 Treffer
- static analysis 2 Treffer
- tools 2 Treffer
- verification 2 Treffer
- 595.7 1 Treffer
- cyber security 1 Treffer
Sprache
11 Treffer
-
2015Online HochschulschriftZugriff:
-
1984Online HochschulschriftZugriff:
-
2016Online HochschulschriftZugriff:
-
2014Online HochschulschriftZugriff:
-
2012Online HochschulschriftZugriff:
-
2020Online HochschulschriftZugriff:
-
2018Online HochschulschriftZugriff:
-
2018Online HochschulschriftZugriff: