Showing
1 - 3
results of
3
for search '
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
SYNTAX
Reset Filters
Show filters (1)
Topic:
SYNTAX
Search Results - Open Polar
Search Results
Showing
1 - 3
results of
3
for search '
'
, query time: 0.07s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Optimizing Symbolic Model Checking for Constraint-Rich Models
by
Yang, Bwolen
,
Simmons, Reid
,
Bryant, Randal E.
,
O'Hallaron, David R.
Published 1999
Get access
Get access
Text
Select result number 2
2
A Minicomputer Implementation of a Data Model Independent, User-Friendly Interface to Databases.
by
Guidry,Michael D
Published 1982
Get access
Get access
Text
Select result number 3
3
Automatic Generation of Data Conversion-Programs Using a Data Description Language (DDL). Volume II. Appendix A. User Guide, Appendix B. SAPG User Guide, Appendix C. DDL Overlay, A...
by
Ramirez,Jesus Arturo
Published 1973
Get access
Get access
Text
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
3
Author
Bryant, Randal E.
1
Guidry,Michael D
1
O'Hallaron, David R.
1
Ramirez,Jesus Arturo
1
Simmons, Reid
1
Yang, Bwolen
1
see all ...
Topic
Computer Programming and Software
3
SYNTAX
THESES
2
(*PROGRAMMING LANGUAGES
1
*COMPUTER COMMUNICATIONS
1
*COMPUTER PROGRAM VERIFICATION
1
*DATA BASES
1
*DATA DESCRIPTION LANGUAGES
1
*MAN COMPUTER INTERFACE
1
*SYMBOLIC MODEL CHECKING
1
*SYMBOLIC PROGRAMMING
1
*User friendly interface
1
ACCESS
1
ALGOL
1
BACKUS-NAUR FORM
1
BDD(BINARY DECISION DIAGRAMS)
1
BNF(BACKUS-NAUR FORM)
1
COMPILERS
1
COMPUTER AIDED DESIGN
1
COMPUTER AIDED DIAGNOSIS
1
Computer Hardware
1
DATA MANAGEMENT
1
Data base management systems
1
FEASIBILITY STUDIES
1
FORTRAN
1
GLOBAL
1
HIGH LEVEL LANGUAGES
1
HOST computers
1
Human Factors Engineering & Man Machine System
1
IBM 370/165 COMPUTERS
1
see all ...
Content Provider
Defense Technical Information Center: DTIC Technical Reports database
3
Geographic location
Antarctic
1
Naur
1
Language
English
3
Open Polar Keyword
DML
2
Antarc*
1
Antarctic
1
Loading...