Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- artificial intelligence 7 Treffer
- formal logic 7 Treffer
- architecture verification and validation 6 Treffer
- computer programming 6 Treffer
- programming languages 6 Treffer
-
45 weitere Werte:
- software quality 6 Treffer
- software engineering 5 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 4 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 4 Treffer
- distributed computer systems 4 Treffer
- distributed systems 4 Treffer
- embedded systems 4 Treffer
- software architecture 4 Treffer
- software design 4 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 3 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 3 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umb algorithms and data structures 3 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 3 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 3 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 3 Treffer
- computer systems 2 Treffer
- theory of computation 2 Treffer
- automata theory 1 Treffer
- automated reasoning 1 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 1 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 1 Treffer
- boolean functions 1 Treffer
- category theory 1 Treffer
- compositionality 1 Treffer
- computer algebra 1 Treffer
- concurrent program 1 Treffer
- constrained horn clauses 1 Treffer
- data race 1 Treffer
- distributed algorithms 1 Treffer
- dynamical systems 1 Treffer
- floating-point 1 Treffer
- formal languages 1 Treffer
- formal methods 1 Treffer
- formal specification 1 Treffer
- hyperproperties 1 Treffer
- interpolation 1 Treffer
- logic programming 1 Treffer
- markov decision process 1 Treffer
- maude 1 Treffer
- model repair 1 Treffer
- monoidal category 1 Treffer
- openmp 1 Treffer
- rewriting logic 1 Treffer
- software verification 1 Treffer
- temporal logic 1 Treffer
Publikation
- tools and algorithms for the construction and analysis of systems : 29th international conference, tacas 2023, held as part of the european joint conferences on theory and practice of software, etaps 2022, paris, france, april 22-27, 2023, proceedings, part i 3 Treffer
- computer aided verification : 35th international conference, cav 2023, paris, france, july 17-22, 2023, proceedings, part ii 2 Treffer
- computer aided verification : 35th international conference, cav 2023, paris, france, july 17-22, 2023, proceedings, part iii 1 Treffer
- foundations of software science and computation structures : 26th international conference, fossacs 2023, held as part of the european joint conferences on theory and practice of software, etaps 2023, paris, france, april 22-27, 2023, proceedings 1 Treffer
- fundamental approaches to software engineering : 27th international conference, fase 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings 1 Treffer
- Ein weiterer Wert:
Sprache
Inhaltsanbieter
11 Treffer
-
2024Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff: