Search
Author Profiles
Browse Author Profiles
Submit
Library Home
Contact Us
login
login
Home
> Search Results: ( ("Static analysis."))
Search:
any field
title
author
isbn
subject
call number
journal
year
keyword
Search Tips
::
Advanced 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 (115)
Location
Online (115)
Date
2024 (1)
2023 (19)
2022 (8)
2021 (20)
2020 (8)
2019 (10)
2018 (10)
2017 (7)
2016 (16)
2015 (7)
2014 (12)
2013 (3)
2012 (2)
2011 (1)
Show more
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (115)
Location
Online (115)
Date
2024 (1)
2023 (19)
2022 (8)
2021 (20)
2020 (8)
2019 (10)
2018 (10)
2017 (7)
2016 (16)
2015 (7)
2014 (12)
2013 (3)
2012 (2)
2011 (1)
Show more
University of Southern Indiana
124
records found
1 - 10
Search took 0.23 seconds.
1.
STATIC ANALYSIS : 27th international symposium, sas 2020, chicago, il, usa.
[S.l.] : SPRINGER, 2021.
View e-resource
|
Available Online
|
Detailed record
-
Similar records
2.
Static analysis [electronic resource] : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings / Xavier Rival ([...]
International Static Analysis Symposium (23rd : 2016 : Edinburgh, Scotland)
;
Rival[...]
Berlin, Germany : Springer, 2016.
QA76.6
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
3.
Static analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings / Andreas Podelski (ed.).
International Static Analysis Symposium (25th : 2018 : Freiburg, Germany)
;
Podelsk[...]
Cham, Switzerland : Springer, 2018.
QA76.6
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
4.
Static analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / Sandrine [...]
International Static Analysis Symposium (22nd : 2015 : Saint-Malo, France)
;
Blazy,[...]
Heidelberg : Springer, 2015.
QA76.6
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
5.
Static analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / Markus Mül[...]
International Static Analysis Symposium (21st : 2014 : Munich, Germany)
;
Müller-O[...]
Cham : Springer, 2014.
QA76.6
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
6.
Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings / Francesco Ranzato (ed.).
International Static Analysis Symposium (24th : 2017 : New York, N.Y.)
;
Ranzato, F[...]
Cham : Springer, 2017.
QA76.6
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
7.
Static analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 / Gagandeep Singh, Caterina Urban (eds.).
International Static Analysis Symposium (29th : 2022 : Auckland, N.Z)
;
Singh, Gaga[...]
Cham : Springer, 2023.
QA76.6
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
8.
Static analysis of software [electronic resource] : the abstract interpretation / edited by Jean-Louis Boulanger.
Boulanger, Jean-Louis.
Hoboken, N.J. : Wiley, 2012.
QA76.76.T48 S75 2012eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
9.
Static analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / Manuel V. Hermenegildo, José F. [...]
International Static Analysis Symposium (30th : 2023 : Cascais, Portugal)
;
Hermene[...]
Cham : Springer, 2023.
QA76.6 .I58 2023
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
10.
Static analysis : 28th international symposium, SAS 2021, Chicago, IL, USA, proceedings / Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi (eds.).
International Static Analysis Symposium (28th : 2021 : Chicago, Ill.)
;
Drăgoi, Ce[...]
Cham, Switzerland : Springer, 2021.
QA76.6
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
University of Southern Indiana :
124
records found
1 - 10
Interested in being notified about new results for this query?
Set up a personal
email alert
or subscribe to the
RSS feed
.