Refine Your Search
Book List
84
-
Proof and computation / edited by Helmut Schwichtenberg.
- 004.015113 P9653
- Springer,
- c1995.
- Berlin :
-
Program design calculi / edited by Manfred Broy.
- 004.21 P96452
- Springer,
- c1993.
- Berlin ; New York :
-
Secure data management in decentralized systems / edited by Ting Yu, Sushil Jajodia.
- 005.8 S4466
- Springer,
- 2007.
- New York :
-
Chaos and fractals : new frontiers of science / Heinz-Otto Peitgen, Hartmut Jürgens, Dietmar Saupe.
- 003.857 P379 2004
- Peitgen, Heinz-Otto, 1945-
- Springer,
- c2004.
- New York :
-
Multimedia databases in perspective / P.G.M. Apers, H.M. Blanken, and M.A.W. Houtsma, (eds).
- 006.7 M9615d
- Springer,
- c1997.
- Berlin ; New York :
-
Quantum computation and quantum communication : theory and experiments / Mladen Pavi�ci�c.
- 004.1 P3382
- Pavi�ci�c, Mladen.
- Springer,
- c2006.
- New York :
-
Contracts, scenarios and prototypes : an integrated approach to high quality software / Reinhold Plösch.
- 005.1 P7296
- Plösch, Reinhold.
- Springer,
- c2004.
- Berlin :
-
Algorithms for sensor and ad hoc networks : advanced lectures / Dorothea Wagner, Roger Wattenhofer (eds.).
- 005.136 A396
- Springer,
- c2007.
- Berlin ; New York :
-
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 :
-
Knowledge discovery in life science literature : PAKDD 2006 International Workshop, KDLL 2006, Singapore, April 9, 2006 : proceedings / Eric G. Bremer ... [et al.], (eds.).
- 006.3 P1111
- PAKDD 2006 International Workshop (2005 : Singapore)
- Springer,
- c2006.
- Berlin ; New York :