Skip to:
Search Results
|
Bottom
|
Search Facets
|
Content
Log In
|
My Account
|
My Lists
|
Send a Request
|
Select Language
English
Türkçe
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
Ferit Melen Library
Ilahiyat Library
IIBF Library
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
15
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Author
Include
Exclude
Smolka, Scott A. editor.
(2)
SpringerLink (Online service)
(2)
Bonakdarpour, Borzoo. editor.
(1)
Goldin, Dina. editor.
(1)
Wegner, Peter. editor.
(1)
Language
Include
Exclude
English
(2)
Publication Date
Include
Exclude
-
2006
(1)
2014
(1)
Subject
Include
Exclude
Computer programming.
(2)
Computer science.
(2)
Programming Techniques.
(2)
Algorithms.
(1)
Compilers (Computer programs).
(1)
Compilers and Interpreters.
(1)
Computer Science Logic and Foundations of Programming.
(1)
Formal Languages and Automata Theory.
(1)
Human-computer interaction.
(1)
Machine theory.
(1)
Models of Computation.
(1)
Software engineering.
(1)
Theory of Computation.
(1)
User Interfaces and Human Computer Interaction.
(1)
User interfaces (Computer systems).
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
Shelf Location
Include
Exclude
Springer E-Book Collection
Library
Include
Exclude
Ferit Melen Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
2 Results Found
1
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
00
DEFAULT
Select a list
Temporary List
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
One or more items could not be added because you are not logged in.
1.
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
by
Bonakdarpour, Borzoo. editor.
https://doi.org/10.1007/978-3-319-11164-3
Format:
Excerpt:
Smolka, Scott A. editor.
Marc View
SD_ILS:171110
2.
Interactive Computation The New Paradigm
Interactive Computation The New Paradigm
by
Goldin, Dina. editor.
https://doi.org/10.1007/3-540-34874-3
Format:
Excerpt:
Smolka, Scott A. editor.
Marc View
SD_ILS:148260
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
Go to:
Search Results
|
Search Facets
|
Top of Page
