Delta State University

49 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
000000000000DSU
Print
1. 
Cover image for Computer algebra : EUROCAM '82, European computer algebra conference, Marseille, France, 5-7 April 1982 / edited by Jaques Calmet.
Computer algebra : EUROCAM '82, European computer algebra conference, Marseille, France, 5-7 April 1982 / edited by Jaques Calmet.
Computer algebra : EUROCAM '82, European computer algebra conference, Marseille, France, 5-7 April 1982 / edited by Jaques Calmet.
Author 
European Computer Algebra Conference (1982 : Marseille, France)
Publication Date 
1982
Format 
Books
ISBN 
9783540116073 9780387116075
Available: Copies:
2. 
Cover image for Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).
Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).
First Title value, for Searching 
Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).
First Author value, for Searching 
SAT 2003 (2003 : Santa Margherita Ligure, Italy)
Publication Date as Range 
2004
Format 
Electronic Resources
Electronic Access 
Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information
3. 
Cover image for Aspects of molecular computing [electronic resource] : essays dedicated to Tom Head on the occasion of his 70th birthday / Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg (eds.).
Aspects of molecular computing [electronic resource] : essays dedicated to Tom Head on the occasion of his 70th birthday / Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg (eds.).
First Title value, for Searching 
Aspects of molecular computing [electronic resource] : essays dedicated to Tom Head on the occasion of his 70th birthday / Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg (eds.).
First Author value, for Searching 
Head, Thomas J., 1934-
Publication Date as Range 
2004
Format 
Electronic Resources
Electronic Access 
DSU Current Faculty/Staff/Students click here
5. 
Cover image for Large-scale scientific computing [electronic resource] : 4th international conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers / Ivan Lirkov ... [et al.].
Large-scale scientific computing [electronic resource] : 4th international conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers / Ivan Lirkov ... [et al.].
First Title value, for Searching 
Large-scale scientific computing [electronic resource] : 4th international conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers / Ivan Lirkov ... [et al.].
First Author value, for Searching 
LSSC 2003 (2003 : Sozopol, Bulgaria)
Publication Date as Range 
2004
Format 
Electronic Resources
Electronic Access 
Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information
6. 
Cover image for DNA computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers / Junghuei Chen, John Reif (eds.).
DNA computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers / Junghuei Chen, John Reif (eds.).
First Title value, for Searching 
DNA computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers / Junghuei Chen, John Reif (eds.).
First Author value, for Searching 
International Workshop on DNA-Based Computers (9th : 2003 : Madison, Wis.)
Publication Date as Range 
2004
Format 
Electronic Resources
Electronic Access 
Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information
7. 
Cover image for Wireless sensor networks [electronic resource] : first European workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004 : proceedings / Holger Karl, Andreas Willig, Adam Wolisz, eds.
Wireless sensor networks [electronic resource] : first European workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004 : proceedings / Holger Karl, Andreas Willig, Adam Wolisz, eds.
First Title value, for Searching 
Wireless sensor networks [electronic resource] : first European workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004 : proceedings / Holger Karl, Andreas Willig, Adam Wolisz, eds.
First Author value, for Searching 
EWSN 2004 (1st : 2004 : Berlin, Germany)
Publication Date as Range 
2004
Format 
Electronic Resources
Electronic Access 
DSU Current Faculty/Staff/Students click here
8. 
Cover image for Computational linguistics and intelligent text processing [electronic resource] : 6th international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 : proceedings / Alexander Gelbukh (ed.).
Computational linguistics and intelligent text processing [electronic resource] : 6th international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 : proceedings / Alexander Gelbukh (ed.).
First Title value, for Searching 
Computational linguistics and intelligent text processing [electronic resource] : 6th international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 : proceedings / Alexander Gelbukh (ed.).
First Author value, for Searching 
CICLing (Conference) (6th : 2005 : Mexico City, Mexico)
Publication Date as Range 
2005
Format 
Electronic Resources
Electronic Access 
Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information
9. 
Cover image for Testing of communicating systems [electronic resource] : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings / Roland Groz, Robert M. Hierons (eds.).
Testing of communicating systems [electronic resource] : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings / Roland Groz, Robert M. Hierons (eds.).
First Title value, for Searching 
Testing of communicating systems [electronic resource] : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings / Roland Groz, Robert M. Hierons (eds.).
First Author value, for Searching 
IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (16th : 2004 : Oxford, England)
Publication Date as Range 
2004
Format 
Electronic Resources
Electronic Access 
DSU Current Faculty/Staff/Students click here
10. 
Cover image for Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers / Jing Chen, Seongsoo Hong (eds.).
Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers / Jing Chen, Seongsoo Hong (eds.).
First Title value, for Searching 
Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers / Jing Chen, Seongsoo Hong (eds.).
First Author value, for Searching 
International Conference on Real-Time and Embedded Computing Systems and Applications (9th : 2003 : Tʻai-nan shih, Taiwan)
Publication Date as Range 
2004
Format 
Electronic Resources
Electronic Access 
DSU Current Faculty/Staff/Students click here
11. 
Cover image for Verifying concurrent processes using temporal logic / Brent T. Hailpern.
Verifying concurrent processes using temporal logic / Brent T. Hailpern.
Verifying concurrent processes using temporal logic / Brent T. Hailpern.
Author 
Hailpern, Brent T. (Brent Tzion), 1955-
Publication Date 
1982
Format 
Books
ISBN 
9780387112053
Available: Copies:
12. 
Cover image for PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth.
PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth.
PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth.
Author 
Jensen, Kathleen, 1949-
Publication Date 
1975
Format 
Books
ISBN 
9780387071671
Available: Copies:
Select All
49 Results Found Subscribe to search results
Limit Search Results
Library
Author
NetLibrary, Inc.
(10)
Gelbukh, Alexander, 1962-
(3)
CICLing (Conference) (6th : 2005 : Mexico City, Mexico)
(2)
Calmet, Jacques.
(2)
Chen, Junghuei, 1960-
(2)
Format
Item Category 2
Subject
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
Go to:Search ResultsTop of PageSearch Facets

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