Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Bernhard Steffen
266 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
TOOLympics 2019 - An overview of competitions in formal methods
|
Czech Republic Prague April 6–11 TACAS 2019 Ezio Bartocci
|
2019 |
Engelska |
| 2 |
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
|
Bernhard Steffen
|
2024 |
Engelska |
| 3 |
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
|
Bernhard Steffen
|
2021 |
Okänt |
| 4 |
Verification, Model Checking, and Abstract Interpretation: 5Th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 2937)
|
Bernhard Steffen
|
uuuu-uuuu |
Okänt |
| 5 |
Bridging the Gap Between AI and Reality. - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
|
|
2025 |
Engelska |
| 6 |
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
|
|
2025 |
Okänt |
| 7 |
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
|
|
2024 |
Okänt |
| 8 |
Active Learning for Extended Finite State Machines
|
Sofia Cassel
|
2015 |
Engelska |
| 9 |
Secure Transaction Protocol Analysis - Models and Applications
|
Qingfeng. Chen
|
2008 |
Engelska |
| 10 |
The concurrency workbench - a semantics based tool for the verification of concurrent systems
|
Rance Cleaveland
|
1991 |
Engelska |
| 11-12 |
Correct system design - recent insights and advances
(flera utgåvor)
|
|
cop. 1999 |
Engelska |
| 13 |
Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career
|
Susanne. Graf
|
2024 |
Engelska |
| 14 |
Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
|
Mike. Hinchey
|
2024 |
Engelska |
| 15 |
Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 16 |
Ad-hoc, Mobile and Wireless Networks - 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 17 |
Adaptive Hypermedia and Adaptive Web-Based Systems electronic resource - 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 18 |
Advanced Concepts for Intelligent Vision Systems - 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 19 |
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues - 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 20 |
Advanced Web and NetworkTechnologies, and Applications - APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008. Revised Selected Papers
|
David. Hutchison
|
2008 |
Engelska |
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.