Showing
1 - 7
results of
7
for search '
Šulc~
'
Skip to content
VuFind
Back to Portal
Language
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
हिंदी
Հայերէն
Українська
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Suggested Topics:
Computer programming / software development
Reset Filters
Show filters (1)
Suggested Topics:
Computer programming / software development
Search Results - Šulc~
Suggested Topics within your search.
Suggested Topics within your search.
Computer programming / software development
Artificial intelligence
6
Mathematical theory of computation
6
Software Engineering
6
Computer modelling & simulation
4
Algorithms & data structures
2
Information technology: general issues
1
Systems analysis & design
1
Showing
1 - 7
results of
7
for search '
Šulc~
'
, query time: 1.09s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany;
July
16-22, 2012
Published 2012
Call Number:
Loading…
Located:
Loading…
Get Fullteks
DOAB: description of the publication
Book Chapter
Save to List
Saved in:
2
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event,
July
12-15, 2021, Proceedings
Published 2021
Call Number:
Loading…
Located:
Loading…
Get Fullteks
DOAB: description of the publication
Book Chapter
Save to List
Saved in:
3
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event,
July
20-23, 2021, Proceedings, Part II
Published 2021
Call Number:
Loading…
Located:
Loading…
Get Fullteks
DOAB: description of the publication
Book Chapter
Save to List
Saved in:
4
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event,
July
20-23, 2021, Proceedings, Part I
Published 2021
Call Number:
Loading…
Located:
Loading…
Get Fullteks
DOAB: description of the publication
Book Chapter
Save to List
Saved in:
5
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA,
July
15-18, 2019, Proceedings, Part II
Published 2019
Call Number:
Loading…
Located:
Loading…
Get Fullteks
DOAB: description of the publication
Book Chapter
Save to List
Saved in:
6
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK,
July
14-17, 2018, Proceedings, Part II
Published 2018
Call Number:
Loading…
Located:
Loading…
Get Fullteks
DOAB: description of the publication
Book Chapter
Save to List
Saved in:
7
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK,
July
14-17, 2018, Proceedings, Part I
Published 2018
Call Number:
Loading…
Located:
Loading…
Get Fullteks
DOAB: description of the publication
Book Chapter
Save to List
Saved in:
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Institution
Directory of Open Access Books
7
Library
DOAB
7
Format
Book Chapter
7
Author
Chockler, Hana
2
Leino, K. Rustan M.
2
Silva, Alexandra
2
Weissenbacher, Georg
2
Alliance of Digital Humanities Organizations, The
1
Association for Computers and the Humanities, The
1
Dillig, Isil
1
Platzer, André
1
Sutcliffe, Geoff
1
Tasiran, Serdar
1
see all…
Year of Publication
From:
To: