Hakutulokset

Näytetään 1 - 3 yhteensä 3 tuloksesta haulle '', hakuaika: 0,35s Tarkenna hakua

Tuloksia sivulla

Järjestä

Lista Ruudukko

Lataa...

Algorithms for Smart Cities

Julkaistu 2024

Hae kokoteksti

Livro

Lisää suosikkeihin

Tallennettuna:

Lataa...

Automated Deduction – CADE 28

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

Hae kokoteksti

Livro

Lisää suosikkeihin

Tallennettuna:

Lataa...

Automated Reasoning

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

Hae kokoteksti

Livro

Lisää suosikkeihin

Tallennettuna:

Työkalut: RSS-syöte — Lähetä haku sähköpostilla — Tallenna haku

Rajaa hakua

DOAB 3 [jätä pois]

Directory of Open Access Books 3 [jätä pois]

Livro 3 [jätä pois]

Blanchette, Jasmin 1 [jätä pois]

Cerasela Crişan, Gloria 1 [jätä pois]

Kovács, Laura 1 [jätä pois]

Nechita, Elena 1 [jätä pois]

Pattinson, Dirk 1 [jätä pois]

Platzer, André 1 [jätä pois]

lisää ...

Sutcliffe, Geoff 1 [jätä pois]

näytä kaikki ... vähemmän ...

logic programming

artificial intelligence 2 [jätä pois]

automata theory 2 [jätä pois]

computer programming 2 [jätä pois]

formal languages 2 [jätä pois]

formal logic 2 [jätä pois]

lisää ...

semantics 2 [jätä pois]

software architecture 2 [jätä pois]

software design 2 [jätä pois]

thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 2 [jätä pois]

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

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 2 [jätä pois]

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 2 [jätä pois]

Artificial Intelligence 1 [jätä pois]

CO2 variations prediction 1 [jätä pois]

Computer Science Logic and Foundations of Programming 1 [jätä pois]

Computer architecture & logic design 1 [jätä pois]

Computer programming / software engineering 1 [jätä pois]

Formal Languages and Automata Theory 1 [jätä pois]

GIOU 1 [jätä pois]

HVAC systems 1 [jätä pois]

IOU 1 [jätä pois]

Logics and Meanings of Programs 1 [jätä pois]

Mathematical Logic and Formal Languages 1 [jätä pois]

Mathematical theory of computation 1 [jätä pois]

MobileNet V2 1 [jätä pois]

Software Engineering 1 [jätä pois]

YOLOv3 1 [jätä pois]

anchor clustering 1 [jätä pois]

asset management 1 [jätä pois]

näytä kaikki ... vähemmän ...

Inglês 3 [jätä pois]

Alkaen:

Päättyen:

Julkaisuvuosi

Tyhjennä