Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 27.181

1

Computer Aided Verification
Piskac, Ruzica ; Rakamarić, Zvonimir

Computer Science Informatics Conference Proceedings Research Applications Artificial intelligence
E-Book
2

Dieses Ergebnis kann Gästen nicht angezeigt werden.

3

Computer-Aided Verification of P/NP Proofs: A Survey and Discussion
Rass, S. ; Jakobitsch, M. ; Haan, S. ; et al.
IEEE Access Access, IEEE. 12:13513-13524 2024

Fachzeitschrift
4

Computer Aided Verification
Arie Gurfinkel ; Vijay Ganesh ; Arie Gurfinkel ; et al.

Computer software--Verif...
E-Book
5

Computer Aided Verification
Constantin Enea ; Akash Lal ; Constantin Enea ; et al.

Artificial intelligence Computer software--Verif...
E-Book
6

Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification
Svozil, Alexander

Computer Science - Logic... Computer Science - Data...
Report
7

Computer Aided Verification
Ruzica Piskac ; Zvonimir Rakamarić ; Ruzica Piskac ; et al.

E-Book
8

Computer Aided Verification
Gurfinkel, Arie ; Ganesh, Vijay

Computer Science Informatics Conference Proceedings Research Applications Software Engineering
E-Book
9

A user-centric computer-aided verification process in a virtuality-reality continuum
Romero, Victor ; Pinquié, Romain ; Noël, Frédéric
In Computers in Industry September 2022 140

Fachzeitschrift
10

Computer Aided Verification
Sharon Shoham ; Yakir Vizel ; Sharon Shoham ; et al.

Computer software--Verif...
E-Book
11

Computer Aided Verification
Enea, Constantin ; Lal, Akash

architecture verificatio... artificial intelligence computer programming distributed computer sys... formal logic embedded systems
E-Book
12

Computer-aided verification of matrix Riccati algorithms
Tsachouridis, Vassilios A. ; Giantamidis, Georgios
2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :8073-8078 Dec, 2019

Konferenz
13

Computer Aided Verification
Alexandra Silva ; K. Rustan M. Leino ; Alexandra Silva ; et al.

Artificial intelligence Computer software--Verif...
E-Book
14

Computer Aided Verification
Shuvendu K. Lahiri ; Chao Wang ; Shuvendu K. Lahiri ; et al.

Computer software--Verif...
E-Book
15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

Computer Aided Verification
Isil Dillig ; Serdar Tasiran ; Isil Dillig ; et al.

Computer science Logic design Software engineering Computer logic Artificial intelligence Computer industry
E-Book
17

Computer aided verification: 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
CAV 2005

Etessami, Kousha. ; Rajamani, Sriram K., 1970-

Computer software -- Ver... Integrated circuits -- V... Electronic digital compu... Computer aided verificat... CAV
Buch
18

Computer Aided Verification
Hana Chockler ; Georg Weissenbacher ; Hana Chockler ; et al.

Computer software--Verif... Artificial intelligence
E-Book
19

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Păsăreanu, Corina S., editor. ; Kroening, Daniel, editor.

Computer science. Computer network archite... Software engineering. Logic design. Logics and Meanings of P... Software Engineering/Pro...
Buch
20

Computer Aided Verification
Shoham, Sharon ; Vizel, Yakir

architecting architecture verificatio... artificial intelligence computer programming computer science computer systems
E-Book

Filter