| 1 |
6
Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
| 2 |
39
Data base systems : proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 24-26, 1975 / edited by H. Hasselmeier and W.G. Spruth
: gw,: us. - Berlin ; New York : Springer Verlag , 1976
|
| 3 |
44
ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976
|
| 4 |
51
Matrix eigensystem routines : EISPACK guide extension / B.S. Garbow ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
| 5 |
52
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
| 6 |
57
Portability of numerical software : workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell
: gw,: us. - Berlin : Springer-Verlag , 1977
|
| 7 |
59
A comparative study of very large data bases / Edward Hill, Jr
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978
|
| 8 |
60
Operating systems : an advanced course / M. J. Flynn ... [et al.] ; edited by R. Bayer, R. M. Graham, and G. Seegmüller
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1978
|
| 9 |
61
The Vienna development method : the meta-language / edited by D. Bjørner and C.B. Jones
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978
|
| 10 |
64
Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / edited by J. Winkowski
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978
|
| 11 |
65
Information systems methodology : proceedings, 2nd conference of the European Cooperation in Informatics, Venice, October 10-12, 1978 / edited by G. Bracchi and P.C. Lockemann
: gw,: us. - Berlin : Springer-Verlag , 1978
|
| 12 |
66
TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978
|
| 13 |
72
Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / edited by Edward W. Ng
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
| 14 |
76
Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978 / edited by B. Childs ... [et al.]
: gw,: us. - Berlin : Springer-Verlag , 1979
|
| 15 |
77
Architecture of distributed computer systems / Gregor v. Bochmann
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
| 16 |
78
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
| 17 |
80
Pictorial information systems / edited by S.K. Chang and K.S. Fu
: gw,: us. - Berlin : Springer-Verlag , c1980
|
| 18 |
89
Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darmstadt, 8.-19. September 1980 / edited by J. Encarnacao
: gw,: us. - Berlin : Springer-Verlag , 1980
|
| 19 |
96
Computer programs for spelling correction : an experiment in program design / James L. Peterson
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
| 20 |
110
The adaptation of virtual man-computer interfaces to user requirements in dialogs / Waltraud Dehning, Heidrun Essig, Susanne Maass
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
| 21 |
122
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
| 22 |
123
Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings / edited by A.J.W. Duijvestijn and P.C. Lockemann
: gw,: us. - Berlin : Springer-Verlag , 1981
|
| 23 |
146
Research and development in information retrieval : proceedings, Berlin, May 18-20, 1982 / edited by Gerard Salton and Hans-Jochen Schneider
: gw,: us. - Berlin : Springer-Verlag , 1983
|
Mendeley出力
