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
SpringerLink (Online service)
(3)
Johnsen, Einar Broch. editor.
(2)
Bernardo, Marco. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Damiani, Ferruccio. editor.
(1)
Haehnle, Reiner. editor.
(1)
Johnsen, Einar Broch. editor. (orcid)0000-0001-5382-3949
(1)
Petre, Luigia. editor.
(1)
Schaefer, Ina. editor.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(3)
Publication Date
Include
Exclude
-
2007
(1)
2013
(1)
2014
(1)
Subject
Include
Exclude
Compilers (Computer programs).
(3)
Compilers and Interpreters.
(3)
Computer Science Logic and Foundations of Programming.
(3)
Computer science.
(3)
Software engineering.
(3)
Computer Communication Networks.
(1)
Computer networks .
(1)
Computer programming.
(1)
Formal Languages and Automata Theory.
(1)
Machine theory.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(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
3 Results Found
1
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
000
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.
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
by
Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-642-38613-8
Format:
Excerpt:
, Proceedings / Johnsen, Einar Broch. editor.
Marc View
SD_ILS:178008
2.
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
by
Bonsangue, Marcello M. editor.
https://doi.org/10.1007/978-3-540-72952-5
Format:
Excerpt:
Johnsen, Einar Broch. editor.
Marc View
SD_ILS:169846
3.
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
by
Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-07317-0
Format:
Excerpt:
Johnsen, Einar Broch. editor. (orcid)0000-0001-5382-3949
Marc View
SD_ILS:171168
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
Go to:
Search Results
|
Search Facets
|
Top of Page
