Showing
1 - 7
results of
7
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Your Account
Log Out
Institutional Login
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
हिंदी
Library Catalog
Keyword
Title/Journal Title
Author
Subject
Call Number
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Find
Advanced Search
|
Browse
|
Search Tips
|
Repeat Search in WorldCat
Author:
*-*
Suggested Subjects:
5 filters
Artificial Intelligence
AND
Compilers (Computer programs)
AND
Computer science
AND
Software engineering
AND
The Computing Profession
Show filters (6)
Author:
*-*
Suggested Subjects:
5 filters
Artificial Intelligence
AND
Compilers (Computer programs)
AND
Computer science
AND
Software engineering
AND
The Computing Profession
Search Results
Suggested Subjects within your search.
Suggested Subjects within your search.
Artificial Intelligence
Artificial intelligence
7
Compilers (Computer programs)
Compilers and Interpreters
7
Computer science
Computers
7
Professions
7
more ...
Software Engineering
7
Software engineering
The Computing Profession
Theory of Computation
6
Computer Engineering and Networks
5
Computer engineering
5
Computer networks
5
Computer Modelling
1
Computer Science Logic and Foundations of Programming
1
Computer simulation
1
Electronic digital computers—Evaluation
1
System Performance and Evaluation
1
less ...
Showing
1 - 7
results of
7
for search '
'
, query time: 0.04s
Refine Results
Results per page
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Imprint 2017
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2017 English/International.
Electronic
eBook
Save to List
Saved in:
2
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
Imprint 2017
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2017 English/International.
Electronic
eBook
Save to List
Saved in:
3
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Imprint 2017
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2017 English/International.
Electronic
eBook
Save to List
Saved in:
4
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
5
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
6
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
7
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Format
Electronic
7
eBook
7
Author
SpringerLink (Online service)
7
Margaria, Tiziana
4
Steffen, Bernhard
4
Paskevich, Andrei
1
Polikarpova, Nadia
1
Romanovsky, Alexander
1
more ...
Schneider, Steve
1
Troubitsyna, Elena A.
1
Wies, Thomas
1
see all ...
less ...
Language
English
7
Year of Publication
From:
To:
Loading...