Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Váš účet
Odhlásit
Přihlášení prostřednictvím instituce
Jazyk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Library Catalog
Klíčové slovo
Title/Journal Title
Autor
Téma
Signatura
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Hledat
Pokročilé vyhledávání
|
Browse
|
Tipy pro vyhledávání
|
Repeat Search in WorldCat
Doporučená témata:
Software Engineering
A
Programming Techniques
A
Computer Science Logic and Foundations of Programming
Autor:
*-*
A
Sofronie-Stokkermans, Viorica
Zobrazit filtry (5)
Doporučená témata:
Software Engineering
A
Programming Techniques
A
Computer Science Logic and Foundations of Programming
Autor:
*-*
A
Sofronie-Stokkermans, Viorica
Výsledky vyhledávání
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Artificial Intelligence
3
Artificial intelligence
3
Computer Science Logic and Foundations of Programming
Computer programming
3
Computer science
3
Formal Languages and Automata Theory
3
Machine theory
3
více ...
Programming Techniques
Software Engineering
Software engineering
3
Compilers (Computer programs)
2
Compilers and Interpreters
2
Algorithms
1
méně ...
Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
'
, doba hledání: 0,02 s.
Upřesnit hledání
Počet výsledků na stránku
20
40
60
80
100
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /
Vydáno 2011
Signatura:
Načítá se...
Umístění:
Načítá se...
Available in Springer Computer Science eBooks 2011 English/International.
Elektronický zdroj
E-kniha
Přidat do oblíbených
Uloženo v:
2
Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
Vydáno 2020
Signatura:
Načítá se...
Umístění:
Načítá se...
Available in Springer Computer Science eBooks 2020 English/International.
Elektronický zdroj
E-kniha
Přidat do oblíbených
Uloženo v:
3
Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
Vydáno 2020
Signatura:
Načítá se...
Umístění:
Načítá se...
Available in Springer Computer Science eBooks 2020 English/International.
Elektronický zdroj
E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat e-mailem
—
Uložit hledání
Zpět
Upřesnit hledání
Médium
Elektronický zdroj
3
E-kniha
3
Autor
Sofronie-Stokkermans, Viorica
SpringerLink (Online service)
3
Peltier, Nicolas
2
Tinelli, Cesare
1
Jazyk
English
3
Rok vydání
Od:
do:
Načítá se...