Refine Your Search
Book List
7
-
Proof and computation / edited by Helmut Schwichtenberg.
- 004.015113 P9653
- Springer,
- c1995.
- Berlin :
-
Speech recognition and coding : new advances and trends / edited by Antonio J. Rubio Ayuso, Juan M. López Soler.
- 006.454 S7421
- Springer,
- c1995.
- Berlin :
-
Cognitive models and intelligent environments for learning programming / edited by Enrica Lemut, Benedict du Boulay, Giuliana Dettorii.
- 005.1 N1111
- NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments for Learning Programming d (1992 : c Santa Marghertia, Italy)
- Springer,
- c1993.
- Berlin ; New York :
-
Program design calculi / edited by Manfred Broy.
- 004.21 P96452
- Springer,
- c1993.
- Berlin ; New York :
-
Preserving digital information / Henry M. Gladney.
- 025.840285 G542
- Gladney, Henry M.
- Springer,
- c2007.
- Berlin ; New York :
-
Information sharing on the semantic Web / Heiner Stuckenschmidt, Frank van Harmelen.
- 005.74 S9328
- Stuckenschmidt, Heiner.
- Springer,
- c2005.
- Berlin ; New York :
-
Self-organizing systems : second international workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007 : proceedings / David Hutchison, Randy H. Katz (eds.).
- 004.65 I111
- IWSOS 2007 (2nd : 2007 : Lake District, England)
- Springer,
- c2007.
- Berlin :