Hours
Libraries & Collections
Joyner Library
Laupus Health Sciences Library
Music Library
Digital Collections
Special Collections
Teaching Resources Center
The ScholarShip Institutional Repository
Country Doctor Museum
Get Help
ECU Libraries Catalog
Browse
Call Number
Title
Author
Subject
Series
Advanced Search
Course Reserves
Suggest a Purchase
My Account
Find Materials By
Format
Toggle Format Facet
Electronic
1090
Print
557
Book
509
Microform
12
Theses and dissertations
12
More Formats
Library Location
Toggle Library Location Facet
Joyner Library
1615
Laupus Library
1006
Music Library
976
Publication Date
Toggle Publication Date Facet
2010-2019
156
2000-2009
631
1990-1999
328
Call Number
Toggle Call Number Facet
Q - Science
475
Z - Library Science
32
H - Social Science
25
T - Technology
12
L - Education
3
More Call Numbers
Collection
Toggle Collection Facet
Joyner E-Resources
1042
Laupus E-Resources
1003
Joyner Stacks
551
Joyner Federal Documents
19
Laupus Books
3
More Collections
Language
Toggle Language Facet
English
1617
German
3
French
1
Hungarian
1
Genre
Toggle Genre Facet
Electronic books
941
Congresses
521
Electronic journals
34
Periodicals
31
Handbooks, manuals, etc
18
More Genres
Era
Toggle Era Facet
1961-
1
20th century
1
Region
Toggle Region Facet
United States
29
Outer space
3
Greece
2
Lissabon <2009>
2
Paliambela Kolindros Site (Greece)
2
More Regions
Search Results
All Fields
Title
Author
Journal Title
Subject
Series
ISBN/ISSN
Publisher
Advanced
Search
Start Over
You searched for:
subject
"Science+Computer programs."
Remove constraint
Showing 81 - 90 of 1620 results
Sort by: Relevance;
Relevance
Year (Descending)
Year (Ascending)
Author (Ascending)
Author (Descending)
Title (Ascending)
Title (Descending)
10 per page
10 per page
20 per page
50 per page
100 per page
Search Results
Controlled Natural Language
2012
Format:
Electronic
Location
Access Content Online
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
2007
Format:
Electronic
Location
Access Content Online
Workshop on Workflows in Support of Large-Scale Science
by
Workshop on Workflows in Support of Large-Scale Science
2006
Format:
Electronic
Location
Access Content Online
Design of adaptive finite element software
by
Schmidt, Alfred, 1958-
2005
Format:
Electronic
Location
Access Content Online
EMDS users guide (version 2.0)
by
Reynolds, Keith M.
1999
Format:
Electronic
Location
Access Content Online
A constraint-based method for flow-sensitive static type analysis of PHP using the Rascal Meta-Programming Platform
by
Tamang, Apil
2015
Format:
Theses and dissertations
Location
Access Content Online
Data visualization
2016
Format:
Electronic
Location
Access Content Online
The IDA pro book
by
Eagle, Chris
2011
2nd ed.
Format:
Electronic
Location
Access Content Online
Formal methods
by
International Workshop on Formal Methods for Industrial Critical Systems
2007
Format:
Electronic
Location
Access Content Online
Theory and practice of logic programming
2001
Format:
Electronic
Location
Access Content Online
Previous
7
8
9
10
11
Next