Showing
1 - 6
results of
6
for search '
"Israel"
'
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Suggested Topics:
Remove Filter
Computer networking & communications
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Suggested Topics:
Remove Filter
Computer networking & communications
Search Results - "Israel"
Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
6
Computer networking & communications
Software Engineering
6
Algorithms & data structures
2
Computer programming / software development
2
Computer science
2
Mathematical theory of computation
2
Showing
1 - 6
results of
6
for search '
"Israel"
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa,
Israel
, August 8-10, 2022, Proceedings
Published 2022
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
2
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa,
Israel
, August 8-10, 2022, Proceedings
Published 2022
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
3
Computer Aided Verification 34th International Conference, CAV 2022, Haifa,
Israel
, August 7-10, 2022, Proceedings, Part II
Published 2022
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
4
Computer Aided Verification 34th International Conference, CAV 2022, Haifa,
Israel
, August 7-10, 2022, Proceedings, Part I
Published 2022
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
5
Computer Aided Verification 34th International Conference, CAV 2022, Haifa,
Israel
, August 7-10, 2022, Proceedings, Part I
Published 2022
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
6
Computer Aided Verification 34th International Conference, CAV 2022, Haifa,
Israel
, August 7-10, 2022, Proceedings, Part II
Published 2022
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Institution
Directory of Open Access Books
3 results
3
OAPEN
3 results
3
Library
DOAB
3 results
3
OAPEN
3 results
3
Author
Shoham, Sharon
4 results
4
Vizel, Yakir
4 results
4
Blanchette, Jasmin
2 results
2
Pattinson, Dirk
2 results
2
Kovács, Laura
1 results
1
Kovács, Laura
1 results
1
Language
English
6 results
6
Year of Publication
From:
To: