Showing
1 - 2
results of
2
Skip to content
VuFind
Language
English
Ελληνικά
Start a new Basic Search
|
Start a new Advanced Search
Versions -
Tools and Algorithms for the Construction and Analysis of Systems
Showing
1 - 2
results of
2
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice o...
Published 2010
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice o...
by
Esparza, Javier
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Institution
HEAL-Link
1
UPatras
1
Format
Electronic
2
Book
1
Kit
1
eBook
1
Call Number
000 - Computer science, information, general works
1
Author
Esparza, Javier
2
Majumdar, Rupak
2
SpringerLink (Online service)
2
Language
English
2
Year of Publication
From:
To:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών