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
10
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Author: Bensalem, Saddek. editor.
Author
Include
Exclude
Legay, Axel. editor.
(2)
SpringerLink (Online service)
(2)
Lakhnech, Yassine. editor.
(1)
Language
Include
Exclude
English
(2)
Publication Date
Include
Exclude
-
2013
(1)
2014
(1)
Subject
Include
Exclude
Compilers (Computer programs).
(2)
Compilers and Interpreters.
(2)
Computer Science Logic and Foundations of Programming.
(2)
Computer science.
(2)
Formal Languages and Automata Theory.
(2)
Machine theory.
(2)
Software engineering.
(2)
Algorithms.
(1)
Computer programming.
(1)
Programming Techniques.
(1)
Theory of Computation.
(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.
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
by
Bensalem, Saddek. editor.
https://doi.org/10.1007/978-3-642-54848-2
Format:
Excerpt:
Formal Languages and Automata Theory.
Marc View
SD_ILS:170101
2.
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
by
Legay, Axel. editor.
https://doi.org/10.1007/978-3-642-40787-1
Format:
Excerpt:
Formal Languages and Automata Theory.
Marc View
SD_ILS:172191
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
