Prikaz rezultata
1 – 2
od
2
za pretraživanje '
'
Preskoči na sadržaj
VuFind
Tvoj račun
Odjavi se
Institucionalna prijava
Jezik
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Sva polja
Autor
Naslov
Naslov žurnala
Tema
ISBN/ISSN
Oznaka
Nađi
Napredno
Resetiraj filtre
Tema:
Computer Science Logic and Foundations of Programming
Resetiraj filtre
Prikaži filtre (1)
Tema:
Computer Science Logic and Foundations of Programming
Rezultati pretraživanja
Prikaz rezultata
1 – 2
od
2
za pretraživanje '
'
, vrijeme pretraživanja: 0,07s
Detaljiziraj rezultate
Broj rezultata po stranici
10
20
40
60
80
100
Razvrstaj
Značajnost
Datum uzlazno
Datum silazno
Autor
Naslov
Popis
Mreža
1
Učitavanje...
Automated Deduction – CADE 28
Izdano u
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Preuzmi cijeli tekst
Livro
Spremi u popis
Spremljeno u:
2
Učitavanje...
Programming Languages and Systems
Izdano u
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
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
Natrag
Uže pretraživanje
Institucija
DOAB
2
Isključi poklapajuće rezultate
Zbirka
Directory of Open Access Books
2
Isključi poklapajuće rezultate
Format
Livro
2
Isključi poklapajuće rezultate
Autor
Platzer, André
1
Isključi poklapajuće rezultate
Sutcliffe, Geoff
1
Isključi poklapajuće rezultate
Yoshida, Nobuko
1
Isključi poklapajuće rezultate
Tema
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
Isključi poklapajuće rezultate
Computer programming / software engineering
2
Isključi poklapajuće rezultate
Logics and Meanings of Programs
2
Isključi poklapajuće rezultate
Software Engineering
2
Isključi poklapajuće rezultate
computer programming
2
Isključi poklapajuće rezultate
više ...
formal logic
2
Isključi poklapajuće rezultate
semantics
2
Isključi poklapajuće rezultate
software design
2
Isključi poklapajuće rezultate
software quality
2
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
Isključi poklapajuće rezultate
Artificial Intelligence
1
Isključi poklapajuće rezultate
Compilers & interpreters
1
Isključi poklapajuće rezultate
Compilers and Interpreters
1
Isključi poklapajuće rezultate
Computer Engineering and Networks
1
Isključi poklapajuće rezultate
Computer Systems Organization and Communication Networks
1
Isključi poklapajuće rezultate
Computer networking & communications
1
Isključi poklapajuće rezultate
Formal Languages and Automata Theory
1
Isključi poklapajuće rezultate
Mathematical Logic and Formal Languages
1
Isključi poklapajuće rezultate
Mathematical theory of computation
1
Isključi poklapajuće rezultate
Natural Language Processing (NLP)
1
Isključi poklapajuće rezultate
Natural language & machine translation
1
Isključi poklapajuće rezultate
Programming & scripting languages: general
1
Isključi poklapajuće rezultate
Programming Languages, Compilers, Interpreters
1
Isključi poklapajuće rezultate
automata theory
1
Isključi poklapajuće rezultate
boolean functions
1
Isključi poklapajuće rezultate
concurrency theory
1
Isključi poklapajuće rezultate
distributed computer systems
1
Isključi poklapajuće rezultate
pogledaj sve ...
manje ...
Jezik
Inglês
2
Isključi poklapajuće rezultate
Godina izdanja
Od:
Do:
Godina izdanja
Isprazni
×
Učitavanje...
