Search
Author Profiles
Browse Author Profiles
Submit
Library Home
Contact Us
login
login
Home
> Search Results: ( (author:"ETAPS (Conference) 2014 Grenoble, France)"))
Search 848,977 records for:
Reset
Search
Search Tips
::
Simple Search
::
Browse Resources (beta)
Options
Sort by
relevance
latest first
title
author
year
ascending
descending
Display
10 results
25 results
50 results
100 results
Collections
Select collection
all collections
All DA
All Resources
Articles & Manuscripts
Authorities
Books
Books and Periodicals
Capstones & Projects
CDs
Celebration of Teaching and Le...
Cheryl Herrmann Collection
Communal Studies Collection
Communal Studies Finding Aids
Course Reserves
Datasets
Dissertations
Doctor of Nursing Practice (DN...
DVDs
Ebooks
Electronic Journals
Endeavor Symposium
Evansville African American Co...
Faculty Scholarship
Flood of 1937 Collection
Government E-Resources
Government Resources
Historic New Harmony Slide Col...
Holdings
Honors Student Symposium
Indiana English
Instructor Copies
Journals & Proceedings
Local Newspapers & Newspaper P...
Mater Dei High School Yearbook...
New Popular Reading
No 980
On-Campus Resources
Online Resources
Oral History Collection
Order API Import
Other Materials
Posters & Presentations
Print Periodicals
Regional History Finding Aids
Repository
Scholarly Open Access Reposito...
Senior Engineering Projects
Special & Regional History Col...
Special Collections Finding Ai...
Streaming Video
Theses
Theses, Capstones, Projects, &...
TIND DA QA
UASC Finding Aids Collection
Undergraduate Psychology Resea...
University Archives & Special ...
University Archives Collection
University Archives Finding Ai...
University of Southern Indiana
University Publications
USI Conferences & Events
USI Scholarly and Creative Wor...
USI Graduate Student Colloquiu...
Format
Select output format
BibTeX
Dublin Core
EndNote
EndNote (8-X)
HTML brief
MARCXML
MODS
NLM
RefWorks
TextMarc (embedded)
TextMarc (plain)
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (7)
Location
Online (7)
Date
2014 (7)
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (7)
Location
Online (7)
Date
2014 (7)
University of Southern Indiana
7
records found
Search took 0.20 seconds.
1.
Compiler construction : 23rd International Conference, CC 2014, held as part of the European Joint Conferences on Theory and Practice of Software[...]
CC (Conference) (23rd : 2014 : Grenoble, France)
;
Cohen, Albert, editor.
;
ETAPS (Con[...]
Heidelberg : Springer, 2014.
QA76.76.C65 C3 2014
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
2.
Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conf[...]
FOSSACS (Conference) (17th : 2014 : Grenoble, France)
;
Muscholl, Anca, editor.
;
ETAP[...]
Heidelberg : Springer, 2014.
QA76.751 .F67 2014
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
3.
From programs to systems - the systems perspective in computing [electronic resource] : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Gre[...]
FPS (Workshop) (2014 : Grenoble, France)
;
Bensalem, Saddek, editor of compilation.
;
[...]
Heidelberg : Springer, [2014]
QA76.751
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
4.
Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theo[...]
FASE (Conference) (17th : 2014 : Grenoble, France)
;
Gnesi, Stefania, 1954- editor.
;
[...]
Heidelberg : Springer, 2014.
QA76.758
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
5.
Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practi[...]
POST (Conference) (3rd : 2014 : Grenoble, France)
;
Abadi, Martín, editor.
;
Kremer, [...]
Heidelberg : Springer, [2014]
©2014
QA76.9.A25
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
6.
Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory a[...]
European Symposium on Programming (23rd : 2014 : Grenoble, France)
;
Shao, Zhong, 1[...]
Heidelberg : Springer, 2014.
QA76.6 .E97 2013
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
7.
Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint[...]
TACAS (Conference) (20th : 2014 : Grenoble, France)
;
Ábrahám, Erika, editor.
;
Have[...]
Heidelberg : Springer, 2014.
QA76.9.S88 T33 2014
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
Interested in being notified about new results for this query?
Set up a personal
email alert
or subscribe to the
RSS feed
.