Näytetään
1 - 2
yhteensä
2
tuloksesta haulle '
'
Siirry sisältöön
VuFind
Oma tili
Kirjaudu ulos
Organisaation kirjautuminen
Kieli
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
हिंदी
Kaikki kentät
Tekijä
Nimeke
Lehden nimi
Aihe
ISBN/ISSN
Tagi
Hae
Tarkennettu
Poista rajaukset
Aihe:
Computer Science Logic and Foundations of Programming
Poista rajaukset
Näytä rajaukset (1)
Aihe:
Computer Science Logic and Foundations of Programming
Hakutulokset
Näytetään
1 - 2
yhteensä
2
tuloksesta haulle '
'
, hakuaika: 0,13s
Tarkenna hakua
Tuloksia sivulla
10
20
40
60
80
100
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Tekijä
Nimeke
Lista
Ruudukko
1
Lataa...
Automated Deduction – CADE 28
Julkaisussa
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Hae kokoteksti
Livro
Lisää suosikkeihin
Tallennettuna:
2
Lataa...
Programming Languages and Systems
Julkaisussa
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Hae kokoteksti
Livro
Lisää suosikkeihin
Tallennettuna:
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
—
Tallenna haku
Takaisin
Rajaa hakua
Organisaatio
DOAB
2
[jätä pois]
Kokoelma
Directory of Open Access Books
2
[jätä pois]
Aineistotyyppi
Livro
2
[jätä pois]
Tekijä
Platzer, André
1
[jätä pois]
Sutcliffe, Geoff
1
[jätä pois]
Yoshida, Nobuko
1
[jätä pois]
Aihe
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[jätä pois]
Computer programming / software engineering
2
[jätä pois]
Logics and Meanings of Programs
2
[jätä pois]
Software Engineering
2
[jätä pois]
computer programming
2
[jätä pois]
lisää ...
formal logic
2
[jätä pois]
semantics
2
[jätä pois]
software design
2
[jätä pois]
software quality
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::UYQ Artificial intelligence
2
[jätä pois]
Artificial Intelligence
1
[jätä pois]
Compilers & interpreters
1
[jätä pois]
Compilers and Interpreters
1
[jätä pois]
Computer Engineering and Networks
1
[jätä pois]
Computer Systems Organization and Communication Networks
1
[jätä pois]
Computer networking & communications
1
[jätä pois]
Formal Languages and Automata Theory
1
[jätä pois]
Mathematical Logic and Formal Languages
1
[jätä pois]
Mathematical theory of computation
1
[jätä pois]
Natural Language Processing (NLP)
1
[jätä pois]
Natural language & machine translation
1
[jätä pois]
Programming & scripting languages: general
1
[jätä pois]
Programming Languages, Compilers, Interpreters
1
[jätä pois]
automata theory
1
[jätä pois]
boolean functions
1
[jätä pois]
concurrency theory
1
[jätä pois]
distributed computer systems
1
[jätä pois]
näytä kaikki ...
vähemmän ...
Kieli
Inglês
2
[jätä pois]
Julkaisuvuosi
Alkaen:
Päättyen:
Julkaisuvuosi
Tyhjennä
×
Lataa...
