Delta State University

272 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
000000000000DSU
Print
1. 
Cover image for Mobile agents : control algorithms / Jaochim Baumann.
Mobile agents : control algorithms / Jaochim Baumann.
Mobile agents : control algorithms / Jaochim Baumann.
Author 
Baumann, Joachim, 1965-
Publication Date 
2000
Format 
Books
ISBN 
9783540411925
Available: Copies:
2. 
Cover image for Compiler specification and verification / Wolfgang Polak.
Compiler specification and verification / Wolfgang Polak.
Compiler specification and verification / Wolfgang Polak.
Author 
Polak, Wolfgang, 1950-
Publication Date 
1981
Format 
Books
ISBN 
9780387108865
Available: Copies:
3. 
Cover image for A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann.
A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann.
A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann.
Author 
Hartmann, Alfred C., 1948-
Publication Date 
1977
Format 
Books
ISBN 
9780387082400
Available: Copies:
4. 
Cover image for Models and tools for managing development processes / Bernhard Westfechtel.
Models and tools for managing development processes / Bernhard Westfechtel.
Models and tools for managing development processes / Bernhard Westfechtel.
Author 
Westfechtel, Bernhard, 1958-
Publication Date 
1999
Format 
Books
ISBN 
9783540667568
Available: Copies:
5. 
Cover image for A connotational theory of program structure / James S. Royer.
A connotational theory of program structure / James S. Royer.
A connotational theory of program structure / James S. Royer.
Author 
Royer, James S.
Publication Date 
1987
Format 
Books
ISBN 
9780387182537
Available: Copies:
6. 
Cover image for Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
Publication Date 
2009
Format 
Books
ISBN 
9783540938996
Available: Copies:
7. 
Cover image for Using sophisticated models in resolution theorem proving / David M. Sandford.
Using sophisticated models in resolution theorem proving / David M. Sandford.
Using sophisticated models in resolution theorem proving / David M. Sandford.
Author 
Sandford, David M.
Publication Date 
1980
Format 
Books
ISBN 
9780387102313
Available: Copies:
8. 
Cover image for Grid computing : experiment management, tool integration, and scientific workflows / Radu Prodan, Thomas Fahringer.
Grid computing : experiment management, tool integration, and scientific workflows / Radu Prodan, Thomas Fahringer.
Grid computing : experiment management, tool integration, and scientific workflows / Radu Prodan, Thomas Fahringer.
Author 
Prodan, Radu.
Publication Date 
2007
Format 
Books
ISBN 
9783540692614
Available: Copies:
9. 
Cover image for Optimal interprocedural program optimization : a new framework and its application / Jens Knoop.
Optimal interprocedural program optimization : a new framework and its application / Jens Knoop.
Optimal interprocedural program optimization : a new framework and its application / Jens Knoop.
Author 
Knoop, Jens.
Publication Date 
1998
Format 
Books
ISBN 
9783540651239
Available: Copies:
10. 
Cover image for The problem of incomplete information in relational databases / G. Grahne.
The problem of incomplete information in relational databases / G. Grahne.
The problem of incomplete information in relational databases / G. Grahne.
Author 
Grahne, G., 1955-
Publication Date 
1991
Format 
Books
ISBN 
9783540549192 9780387549194
Available: Copies:
11. 
Cover image for Neural networks : tricks of the trade / Genevieve B. Orr, Klaus-Robert Müller (eds.).
Neural networks : tricks of the trade / Genevieve B. Orr, Klaus-Robert Müller (eds.).
Neural networks : tricks of the trade / Genevieve B. Orr, Klaus-Robert Müller (eds.).
Author 
Orr, Genevieve.
Publication Date 
1998
Format 
Books
ISBN 
9783540653110
Available: Copies:
12. 
Cover image for Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.).
Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.).
Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.).
Author 
Laugier, Christian.
Publication Date 
1993
Format 
Books
ISBN 
9783540571322 9780387571324
Available: Copies:
Select All
272 Results Found Subscribe to search results
Limit Search Results
Library
Author
NetLibrary, Inc.
(10)
Gelbukh, Alexander, 1962-
(5)
Perner, Petra.
(3)
Priami, Corrado.
(3)
Bauer, F. L. (Friedrich Ludwig), 1924-
(2)
Format
Item Category 2
Subject
Parallel processing (Electronic computers) -- Congresses.
(12)
Database management -- Congresses.
(11)
Computer security -- Congresses.
(9)
Software engineering -- Congresses.
(7)
Computational linguistics -- Congresses.
(6)
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Language
English
(272)
Go to:Search ResultsTop of PageSearch Facets

Instructional Resources Center     |      University Archives and Museum      |      Roberts-LaForge Library