| 1 |
156
The design of dynamic data structures / Mark H. Overmars
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
|
| 2 |
268
Constrained global optimization : algorithms and applications / P.M. Pardalos, J.B. Rosen
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
| 3 |
270
Computation theory and logic / Egon Börger (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
| 4 |
285
Semantics of digital circuits / Carlos Delgado Kloos
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
| 5 |
302
Attribute grammar inversion and source-to-source translation / Daniel M. Yellin
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
| 6 |
315
Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
|
| 7 |
920
Integer programming and combinatorial optimization : 4th International IPCO Conference, Copenhagen, Denmark, May 29-31, 1995 : proceedings / Egon Balas, Jens Clausen (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1995
|
| 8 |
926
Objective software quality : objective quality, Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995, proceedings / Paolo Nesi, (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1995
|
| 9 |
1084
Integer programming and combinatorial optimization : 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996 : proceedings / William H. Cunningham, S. Thomas McCormick, Maurice Queyranne (eds.)
Berlin ; New York : Springer , c1996
|
