Risultati della ricerca

Mostra 1 - 3 risultati di 3 ricerca '', tempo di risposta: 0,38s Raffina i risultati

Risultati per pagina

Ordina

Lista Griglia

Caricamento...

Algorithms for Smart Cities

Pubblicazione 2024

Testo

Livro

Aggiungi alla lista

Salvato in:

Caricamento...

Automated Deduction – CADE 28

Pubblicato in Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Testo

Livro

Aggiungi alla lista

Salvato in:

Caricamento...

Automated Reasoning

Pubblicato in Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

Testo

Livro

Aggiungi alla lista

Salvato in:

Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca

Restringi la ricerca

DOAB 3 [escludi]

Directory of Open Access Books 3 [escludi]

Livro 3 [escludi]

Blanchette, Jasmin 1 [escludi]

Cerasela Crişan, Gloria 1 [escludi]

Kovács, Laura 1 [escludi]

Nechita, Elena 1 [escludi]

Pattinson, Dirk 1 [escludi]

Platzer, André 1 [escludi]

espandi ...

Sutcliffe, Geoff 1 [escludi]

vedi tutto ... riduci ...

logic programming

artificial intelligence 2 [escludi]

automata theory 2 [escludi]

computer programming 2 [escludi]

formal languages 2 [escludi]

formal logic 2 [escludi]

espandi ...

semantics 2 [escludi]

software architecture 2 [escludi]

software design 2 [escludi]

thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 2 [escludi]

thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 2 [escludi]

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 2 [escludi]

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 2 [escludi]

Artificial Intelligence 1 [escludi]

CO2 variations prediction 1 [escludi]

Computer Science Logic and Foundations of Programming 1 [escludi]

Computer architecture & logic design 1 [escludi]

Computer programming / software engineering 1 [escludi]

Formal Languages and Automata Theory 1 [escludi]

GIOU 1 [escludi]

HVAC systems 1 [escludi]

IOU 1 [escludi]

Logics and Meanings of Programs 1 [escludi]

Mathematical Logic and Formal Languages 1 [escludi]

Mathematical theory of computation 1 [escludi]

MobileNet V2 1 [escludi]

Software Engineering 1 [escludi]

YOLOv3 1 [escludi]

anchor clustering 1 [escludi]

asset management 1 [escludi]

vedi tutto ... riduci ...

Inglês 3 [escludi]

Da:

Anno di pubblicazione

Cancella