Showing
1 - 9
results of
9
for search '
"Paris, France"
'
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:
Author:
Remove Filter
Enea, Constantin
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Author:
Remove Filter
Enea, Constantin
Search Results - "Paris, France"
Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
9
Software Engineering
9
Algorithms & data structures
6
Computer networking & communications
6
Algorithms
3
Artificial Intelligence
3
Computer Engineering and Networks
3
Computer engineering
3
Computer networks
3
Design and Analysis of Algorithms
3
Software engineering
3
Showing
1 - 9
results of
9
for search '
"Paris, France"
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part III
Published 2023
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
2
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part II
Published 2023
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
3
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part I
Published 2023
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
4
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part II
Published 2023
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
5
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part I
Published 2023
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
6
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part III
Published 2023
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
7
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part II /
Published 2023
Link to Metadata
Electronic
eBook
Save to List
Saved in:
8
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part I /
Published 2023
Link to Metadata
Electronic
eBook
Save to List
Saved in:
9
Computer Aided Verification 35th International Conference, CAV 2023,
Paris, France
, July 17-22, 2023, Proceedings, Part III /
Published 2023
Link to Metadata
Electronic
eBook
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
Springer
3 results
3
Library
DOAB
3 results
3
OAPEN
3 results
3
Springer Open Book
3 results
3
Call Number
Q - Science
3 results
3
Author
Enea, Constantin
Lal, Akash
9 results
9
SpringerLink (Online service)
3 results
3
Language
English
9 results
9
Year of Publication
From:
To: