Rezultati pretraživanja

Prikaz rezultata 1 – 3 od 3 za pretraživanje '', vrijeme pretraživanja: 0,12s Detaljiziraj rezultate

Broj rezultata po stranici

Razvrstaj

Popis Mreža

Učitavanje...

Formal Methods

Izdano u Lecture Notes in Computer Science (2025)

Preuzmi cijeli tekst

Livro

Spremi u popis

Spremljeno u:

Učitavanje...

Formal Methods

Izdano u Lecture Notes in Computer Science (2025)

Preuzmi cijeli tekst

Livro

Spremi u popis

Spremljeno u:

Učitavanje...

Reversible Computation: Extending Horizons of Computing

Izdano u Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Preuzmi cijeli tekst

Livro

Spremi u popis

Spremljeno u:

Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom — Spremi pretraživanje

Uže pretraživanje

DOAB 3 Isključi poklapajuće rezultate

Directory of Open Access Books 3 Isključi poklapajuće rezultate

Livro 3 Isključi poklapajuće rezultate

Pradella, Matteo 2 Isključi poklapajuće rezultate

Rossi, Matteo 2 Isključi poklapajuće rezultate

Rozier, Kristin Yvonne 2 Isključi poklapajuće rezultate

Ferreira, Carla 1 Isključi poklapajuće rezultate

Lanese, Ivan 1 Isključi poklapajuće rezultate

Platzer, Andre 1 Isključi poklapajuće rezultate

više ...

Platzer, André 1 Isključi poklapajuće rezultate

Schultz, Ulrik Pagh 1 Isključi poklapajuće rezultate

Ulidowski, Irek 1 Isključi poklapajuće rezultate

pogledaj sve ... manje ...

formal methods 3 Isključi poklapajuće rezultate

models of computation

software engineering 3 Isključi poklapajuće rezultate

thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 3 Isključi poklapajuće rezultate

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems 3 Isključi poklapajuće rezultate

architecture verification and validation 2 Isključi poklapajuće rezultate

više ...

artificial intelligence 2 Isključi poklapajuće rezultate

computational complexity and cryptography 2 Isključi poklapajuće rezultate

design and analysis of algorithms 2 Isključi poklapajuće rezultate

embedded systems 2 Isključi poklapajuće rezultate

formal languages and automata theory 2 Isključi poklapajuće rezultate

formal logic 2 Isključi poklapajuće rezultate

machine learning 2 Isključi poklapajuće rezultate

model checking 2 Isključi poklapajuće rezultate

semantics and reasoning 2 Isključi poklapajuće rezultate

thema EDItEUR::U Computing and Information Technology::UK Computer hardware 2 Isključi poklapajuće rezultate

thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general 2 Isključi poklapajuće rezultate

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 2 Isključi poklapajuće rezultate

thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation 2 Isključi poklapajuće rezultate

theory and algorithms for application domains 2 Isključi poklapajuće rezultate

Computer Communication Networks 1 Isključi poklapajuće rezultate

Computer System Implementation 1 Isključi poklapajuće rezultate

Computer architecture & logic design 1 Isključi poklapajuće rezultate

Expert systems / knowledge-based systems 1 Isključi poklapajuće rezultate

Logic Design 1 Isključi poklapajuće rezultate

Network hardware 1 Isključi poklapajuće rezultate

Operating Systems 1 Isključi poklapajuće rezultate

Operating systems 1 Isključi poklapajuće rezultate

Software Engineering 1 Isključi poklapajuće rezultate

Special Purpose and Application-Based Systems 1 Isključi poklapajuće rezultate

pogledaj sve ... manje ...

Inglês 3 Isključi poklapajuće rezultate

Od:

Do:

Godina izdanja

Isprazni