UB FFM: Suchergebnisse - Computer Aided Verification

[1]
zurück
1
2
3
4
5
6
7
8
9
10
11
weiter
[13]

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Chockler, Hana (Herausgeber)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2018

E-Book

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Chockler, Hana (Herausgeber)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2018

E-Book

Synthetic biology
Pt B. Computer aided design and DNA assembly

Voigt, Christopher

Amsterdam [u.a.] : Elsevier, Acad. Press, 2011

Buch

Formal methods in computer aided design : 4th international conference ; proceedings

Aagaard, Mark (Herausgeber)

Berlin : Springer, 2002

Buch

Computer Aided Systems Theory – EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I

Quesada-Arencibia, Alexis (Herausgeber)

1st ed. 2025

Cham : Springer Nature Switzerland, 2025

E-Book

Computer Aided Systems Theory – EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III

Quesada-Arencibia, Alexis (Herausgeber)

1st ed. 2025

Cham : Springer Nature Switzerland, 2025

E-Book

Computer Aided Systems Theory – EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II

Quesada-Arencibia, Alexis (Herausgeber)

1st ed. 2025

Cham : Springer Nature Switzerland, 2025

E-Book

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

Griggio, Alberto (Herausgeber)

Vienna : TU Wien Academic Press, 2022

E-Book

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Griggio, Alberto (Verfasser)

Vienna : TU Wien Academic Press, 2022

E-Book

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Piskac, Ruzica (Verfasser)

Vienna : TU Wien Academic Press, 2021

E-Book

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Piskac, Ruzica (Herausgeber)

Vienna : TU Wien Academic Press, 2021

E-Book

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Ivrii, Alexander (Verfasser)

Vienna : TU Wien Academic Press ; TU Wien Academic Press [Imprint], 2020

E-Book

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Ivrii, Alexander (Herausgeber)

Vienna : TU Wien Academic Press, 2020

E-Book

Computer Aided Systems Theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Moreno Díaz, Roberto (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Computer aided systems theory : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19 - 23, 2001 ; revised papers

Moreno-Díaz, Roberto (Herausgeber)

Berlin : Springer, 2001

Buch

Logic synthesis and verification algorithms

Hachtel, Gary D. (Verfasser)

Boston : Kluwer Acad. Publ., 1996

Buch

Computer Aided Systems Theory – EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

Moreno-Díaz, Roberto (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

Mendoza Cervantes, Francisco (Verfasser)

[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2013

E-Book

Sequential logic testing and verification

Ghosh, Abhijit

Boston [u.a.] : Kluwer Academic Publishers, 1992

Buch

100

Automatic verification of sequential infinite state processes

Burkart, Olaf

Berlin [u.a.] : Springer, 1997

Buch

[1]
zurück
1
2
3
4
5
6
7
8
9
10
11
weiter
[13]

Treffer 81 - 100 von 257

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken