Showing
1 - 6
results of
6
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:
4 filters
Computer Science Logic and Foundations of Programming
AND
Electronic digital computers—Evaluation
AND
Programming Techniques
AND
Software Engineering
Show filters (5)
Author:
*-*
Suggested Subjects:
4 filters
Computer Science Logic and Foundations of Programming
AND
Electronic digital computers—Evaluation
AND
Programming Techniques
AND
Software Engineering
Search Results
Suggested Subjects within your search.
Suggested Subjects within your search.
Compilers (Computer programs)
6
Compilers and Interpreters
6
Computer Science Logic and Foundations of Programming
Computer programming
6
Computer science
6
Electronic digital computers—Evaluation
Programming Techniques
more ...
Software Engineering
Software engineering
6
System Performance and Evaluation
6
Computers
5
Professions
5
The Computing Profession
5
Algorithms
1
less ...
Showing
1 - 6
results of
6
for search '
'
, query time: 0.03s
Refine Results
Results per page
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
Imprint 2016
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2016 English/International.
Electronic
eBook
Save to List
Saved in:
2
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Imprint 2017
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2017 English/International.
Electronic
eBook
Save to List
Saved in:
3
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
4
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
5
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
Imprint 2018
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2018 English/International.
Electronic
eBook
Save to List
Saved in:
6
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
Imprint 2019
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2019 English/International.
Electronic
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Format
Electronic
6
eBook
6
Author
SpringerLink (Online service)
6
Bowen, Jonathan P.
2
Liu, Zhiming
2
Zhang, Zili
2
Falcone, Yliès
1
Lin, Anthony Widjaja
1
more ...
Petrenko, Alexander K.
1
Podelski, Andreas
1
Sánchez, César
1
Voronkov, Andrei
1
see all ...
less ...
Language
English
6
Year of Publication
From:
To:
Loading...