1 |
3, 4
5th Conference on Optimization Techniques / edited by R. Conti and A. Ruberti
pt. 1 : gw - pt. 2 : us. - Berlin ; New York : Springer-Verlag , 1973
|
2 |
5
International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 / edited by Andrei Ershov and Valery A. Nepomniaschy
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
3 |
6
Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.]
: Berlin,: New York. - 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
|
4 |
7
3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / GI, Gesellschaft für Informatik e.V. ; herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
5 |
8
Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. 3. 1974 / GI-NTG ; herausgegeben im Auftrag der GI und der NTG von H.-O. Leilich
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
6 |
v. 9
Internationale Fachtagung : Informationszentren in Wirtschaft und Verwaltung, Köln, 17./18. September 1973 / herausgegeben im Auftrag der GI und dem BIFOA von P. Schmitz
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
7 |
13
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 / herausgegeben im Auftrag der GI von W. Händler und P.P. Spies
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
8 |
14
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / edited by Jacques Loeckx
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
9 |
17
Rechner-Gestützter Unterricht : RGU '74, Fachtagung, Hamburg 12.-14. August, 1974 / ACU-Arbeitskreis Computer-Unterstützter Unterricht ; herausgegeben im Auftrag der GI von K. Brunnstein, K. Haefner und W. Händler
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
10 |
18
PASCAL : user manual and report / Kathleen Jensen, Niklaus Wirth
: gw,: us. - Corr. reprint of the 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
|
11 |
19
Programming Symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 / edited by B. Robinet
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974
|
12 |
21
Compiler construction : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and J. Eickel
: gw,: us. - 2nd ed. - Berlin ; New York : Springer-Verlag , 1976
|
13 |
23
Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
14 |
25
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
15 |
26
GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 / herausgegeben im Auftrag der GI von D. Siefkes
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
16 |
27
Optimization techniques : IFIP Technical Conference, Novosibirsk, July 1-7, 1974 / edited by G.I. Marchuk
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
17 |
28
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
18 |
29
Interval mathematics : proceedings of the International Symposium, Karlsruhe, West Germany, May 20-24, 1975 / edited by K. Nickel
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
19 |
30
Software engineering : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975, c1973
|
20 |
31
Analysis of drum and disk storage units / Samuel H. Fuller
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
21 |
32
Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář
: gw,: us. - Berlin : New York : Springer-Verlag , 1975
|
22 |
33
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
23 |
34
GI-5. Jahrestagung, Dortmund, 8.-10. Oktober 1975 / herausgegeben im Auftrag der GI von J. Mühlbacher
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
24 |
35
Exercises in computer systems analysis / W. Everling
: gw,: us. - Corrected reprint of the 1st ed. - Berlin ; New York : Springer-Verlag , 1975
|
25 |
36
Theory of program structures : schemes, semantics, verification / Sheila A. Greibach
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
26 |
37
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975
|
27 |
38
An Optimized translation process and its application to ALGOL 68 / P. Branquart ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976
|
28 |
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
|
29 |
40, 41 . Series, I.F.I.P. TC7 optimization conferences
Optimization techniques : modeling and optimization in the service of man : proceedings, 7th IFIP conference, Nice, September 8-12, 1975 / edited by Jean Cea
pt. 1 : gw - pt. 2 : us. - Berlin ; New York : Springer-Verlag , 1976
|
30 |
43
Komplexität von Entscheidungsproblemen : ein Seminar / Ernst Specker, Volker Strassen
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976
|
31 |
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
|
32 |
45
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976
|
33 |
46
Language hierarchies and interfaces : international summer school / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and K. Samelson
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976
|
34 |
47
Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
35 |
48
Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 / edited by H. Tzschach, H. Waldschmidt, H. K.-G. Walter on behalf of the GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
36 |
49
Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 1976 / edited by A. Blaser and C. Hackl
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
37 |
50
A Concurrent Pascal compiler for minicomputers / Alfred C. Hartmann
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
38 |
51
Matrix eigensystem routines : EISPACK guide extension / B.S. Garbow ... [et al.]
Berlin ; New York : Springer-Verlag , 1977
|
39 |
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
|
40 |
53
Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
41 |
54
Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976 / edited by John H. Williams and David A. Fisher
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
42 |
56
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
43 |
57
Portability of numerical software : workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell
: gw,: us. - Berlin : Springer-Verlag , 1977
|
44 |
58
Computing in systems described by equations / Michael J. O'Donnell
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977
|
45 |
59
A comparative study of very large data bases / Edward Hill, Jr
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978
|
46 |
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
|
47 |
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
|
48 |
62
Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978
|
49 |
63
Natural language communication with computers / edited by Leonard Bolc
: gw,: us. - Berlin : Springer-Verlag , 1978
|
50 |
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
|
51 |
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
|
52 |
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
|
53 |
67
Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
54 |
68
First-order dynamic logic / David Harel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1979
|
55 |
69
Program construction : international summer school / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and M. Broy
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
56 |
71
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer
: gw,: us. - Berlin : Springer-Verlag , 1979
|
57 |
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
|
58 |
73
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
59 |
75
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / edited by E. K. Blum, M. Paul and S. Takasu
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979
|
60 |
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
|
61 |
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
|
62 |
79
Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 / edited by Jeffrey M. Tobias
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
63 |
82
A relational theory of computing / John G. Sanderson
: gw,: us. - Berlin : Springer-Verlag , 1980
|
64 |
83
International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 / edited by B. Robinet
: gw,: us. - Berlin : Springer-Verlag , 1980
|
65 |
85
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen
: gw,: us. - Berlin : Springer-Verlag , 1980
|
66 |
86
Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
67 |
87
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
68 |
88
Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
69 |
90
Using sophisticated models in resolution theorem proving / David M. Sandford
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
70 |
91
Grammar and L forms : an introduction / Derick Wood
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
71 |
93
Context-free grammars : covers, normal forms, and parsing / Anton Nijholt
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
72 |
94
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 / edited by Neil D. Jones
: gw,: us. - Berlin : Springer-Verlag , 1980
|
73 |
95
Coroutines : a programming methodology, a language design and an implementation / Christopher D. Marlin
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
74 |
97
Reliability evaluation of some fault-tolerant computer architectures / Shunji Osaki, Toshihiko Nishio
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980
|
75 |
98
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest
: gw,: us. - Berlin : Springer-Verlag , 1980
|
76 |
99
Algebraic semantics / Irène Guessarian
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
77 |
100
Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef, June 15-18, 1980 / edited by Hartmut Noltemeier
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
78 |
101
Boolean calculus of differences / André Thayse
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
79 |
102
On the integration of algebraic functions / James Harold Davenport
: gw,: us. - Berlin ; New York : Springer , 1981
|
80 |
103
Directions in human factors for interactive systems / Henry Ledgard, Andrew Singer, John Whiteside
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
81 |
104
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
: gw,: us. - Berlin : Springer-Verlag , 1981
|
82 |
106
The Programming language Ada : reference manual / proposed standard document, United States Department of Defense
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981
|
83 |
107
Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
84 |
108
Graph theory and algorithms : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings / edited by N. Saito and T. Nishizeki
: gw,: us. - Berlin : Springer-Verlag , 1981
|
85 |
109
Digital image processing systems / edited by Leonard Bolc and Zenon Kulpa
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
86 |
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
|
87 |
111
CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981 : proceedings / edited by Wolfgang Händler
: gw,: us. - Berlin : Springer-Verlag , 1981
|
88 |
112
CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings / edited by E. Astesiano and C. Böhm
: gw,: us. - Berlin : Springer-Verlag , 1981
|
89 |
113
Stochastic automata : stability, nondeterminism, and prediction / Ernst-Erich Doberkat
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
90 |
114
CLU reference manual / Barbara Liskov ... [et al.]
: gw,: us. - Berlin ; New York : Springer , 1981
|
91 |
115
Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv
: gw,: us. - Berlin : Springer-Verlag , 1981
|
92 |
116
The concurrency control problem for database systems / Marco Antonio Casanova
: Berlin,: New York. - Berlin ; New York : Springer , 1981
|
93 |
117
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 / edited by Ferenc Gécseg
: gw,: us. - Berlin : Springer-Verlag , 1981
|
94 |
118
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
95 |
120
Automatic differentiation : techniques and applications / Louis B. Rall
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
96 |
121
Y12M solution of large and sparse systems of linear algebraic equations : documentation of subroutines / Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
97 |
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
|
98 |
124
Compiler specification and verification / Wolfgang Polak
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981
|
99 |
125
Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler
: gw,: us. - Berlin ; Tokyo : Springer , 1981
|
100 |
127
Alternating sequential/parallel processing / Y. Wallach
: gw,: us. - Berlin ; New York : Springer , 1982
|
101 |
128
An analytical description of CHILL, the CCITT high level language / Paul Branquart, Georges Louis, Pierre Wodon
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982
|
102 |
129
Verifying concurrent processes using temporal logic / Brent T. Hailpern
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982
|
103 |
131
Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
: gw,: us. - Berlin : Springer-Verlag , 1982
|
104 |
134
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup
: gw,: us. - Berlin : Springer-Verlag , 1982
|
105 |
135
An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982
|
106 |
136
Group-theoretic algorithms and graph isomorphism / Christoph M. Hoffmann
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982
|
107 |
143
Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980 / edited by M. Maekawa and L.A. Belady
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982
|
108 |
144
Computer algebra : EUROCAM '82, European Computer Algebra Conference Marseille, France, 5-7 April 1982 / edited by Jacques Calmet
: gw,: us. - Berlin : Springer-Verlag , 1982
|
109 |
145
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel
: gw,: us. - Berlin : Springer-Verlag , 1982
|
110 |
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
|
111 |
147
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Gotō ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983
|
112 |
149
Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29-April 2, 1982 / edited by Thomas Beth
: gw,: us. - Berlin : Springer-Verlag , 1983
|
113 |
150
Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983 / edited by A. Blaser and M. Zoeppritz
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
|
114 |
151
CONLAN report / R. Piloty ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983
|
115 |
152
Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982 : proceedings / edited by E. Knuth and E.J. Neuhold
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
|
116 |
156
The design of dynamic data structures / Mark H. Overmars
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
|
117 |
159
CAAP '83 : Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983, proceedings / edited by G. Ausiello and M. Protasi
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983
|
118 |
160
The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983
|
119 |
161
DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.]
: gw,: us. - Rev. version. - Berlin ; New York : Springer-Verlag , 1983
|
120 |
162
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 : proceedings / edited by J.A. van Hulzen
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983
|
121 |
164
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
122 |
167
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
123 |
169
Feedback shift registers / Christian Ronse
: gw,: us. - Berlin ; New York : Springer-Verlag , 1984
|
124 |
170
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
125 |
174
EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 / edited by John Fitch
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
126 |
175
P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms / André Thayse
: gw,: us. - Berlin ; New York : Springer-Verlag , 1984
|
127 |
176
Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
128 |
177
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
|
129 |
178
Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 / edited by G.C. van der Veer ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
130 |
179
How to multiply matrices faster / Victor Pan
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , 1984
|
131 |
180
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
132 |
181
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
|
133 |
183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
The wide spectrum language CIP-L
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
134 |
184
Local area networks : an advanced course, Glasgow, July 11-22, 1983 : proceedings / edited by D. Hutchison, J. Mariani and D. Shepherd
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1985
|
135 |
185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) / edited by Hartmut Ehrig ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
136 |
186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
Formal methods and software development : Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1985
|
137 |
187
Time series package (TSPACK) / François S. Chaghaghi
: gw,: us. - Berlin ; New York : Springer , 1985
|
138 |
188
Advances in Petri nets 1984 / edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
139 |
189
Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types / Mark Steven Sherman
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
140 |
190
Distributed systems : methods and tools for specification : an advanced course / M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
141 |
191
A Survey of verification techniques for parallel programs / Howard Barringer
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
|
142 |
192
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
143 |
193
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
144 |
194
Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
145 |
195
A hierarchical associative processing system / Heinrich J. Stüttgen
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
146 |
196
Advances in cryptology : proceedings of CRYPTO 84 / edited by G.R. Blakley and David Chaum
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
147 |
197
Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / edited by S.D. Brookes, A.W. Roscoe and G. Winskel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
148 |
198
PORTAL language description / Arnold Businger
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
149 |
200
Trace theory and VLSI design / Jan L.A. van de Snepscheut
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
150 |
201
Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 / edited by Jean-Pierre Jouannaud
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
151 |
202
Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
152 |
203 . EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings ; v. 1
Invited lectures / edited by Bruno Buchberger
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
153 |
204 . EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings ; v. 2
Research contributions / edited by Bob F. Caviness
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
154 |
205
A study in string processing languages / Paul Klint
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1985
|
155 |
206
Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings / edited by S.N. Maheshwari
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
156 |
207
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / edited by B.T. Denvir ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985
|
157 |
208
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985
|
158 |
245
Lectures on the complexity of bilinear problems / H.F. de Groote
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
159 |
268
Constrained global optimization : algorithms and applications / P.M. Pardalos, J.B. Rosen
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
160 |
271
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987
|
161 |
378
EUROCAL '87 : European Conference on Computer Algebra : Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989
|
162 |
519
Algorithms and data structures : 2nd workshop WADS '91, Ottawa, Canada, August 14-16, 1991 : proceedings / F. Dehne, J.-R. Sack, N. Santoro, (
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991
|
163 |
606
Axioms and hulls / D.E. Knuth
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992
|
164 |
796-797
High-performance computing and networking : International Conference and Exhibition, Munich, Germany, April 18-20, 1994 : proceedings / Wolfgang Gentzsch, Uwe Harms (eds.)
v. 1 : Berlin - v. 2 : New York. - Berlin ; New York : Springer-Verlag , c1994
|
165 |
840
The traveling salesman : computational solutions for TSP applications / Gerhard Reinelt
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
166 |
884
IGIS '94: geographic information systems : International Workshop on Advanced Research in Geographic Information Systems, Monte Verità, Ascona, Switzerland, February 28-March 4, 1994 : proceedings / Jürg Nievergelt ... [et al.] (eds.)
Berlin ; Tokyo : Springer-Verlag , c1994
|
167 |
931
Artificial neural networks : an introduction to ANN theory and practice / P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters, (eds.)
: gw,: us. - Berlin ; New York : Springer , c1995
|
168 |
1237 . Lecture notes in artificial intelligence
Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings / Magnus Boman, Walter Van de Velde (eds.)
Berlin ; Tokyo : Springer , c1997
|
169 |
1442
Online algorithms : The state of the art / Amos Fiat, Gerhard J. Woeginger (eds.)
Berlin ; New York : Springer , c1998
|
170 |
3484
Efficient approximation and online algorithms : recent progress on classical combinatorical optimization problems and new applications / Evripidis Bampis, Klaus Jansen, Claire Kenyon (eds.)
Berlin : Springer , c2006
|
171 |
4334 . Lecture notes in artificial intelligence
Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino
Berlin : Springer , c2007
|
172 |
5171
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008 Boston, MA, USA, August 25-27, 2008 : proceedings / [ed. by] Ashish Goel, Klaus Jansen, José D.P. Rolim, Ronitt Rubinfeld
Berlin : Springer , c2008
|
173 |
5696 . Lecture notes in artificial intelligence
Holonic and multi-agent systems for manufacturing : 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009 : Linz, Austria, August 31 - September 2, 2009 : Proceedings / Vladimír Mařík, Thomas Strasser, Alois Zoitl (eds.)
Berlin : Springer , c2009
|
174 |
6080
Integer programming and combinatorial optimization : 14th international conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010 : proceedings / Friedrich Eisenbrand, F. Bruce Shepherd (eds.)
Berlin : Springer , c2010
|
175 |
6655 . Theoretical computer science and general issues
Integer programming and combinatorial optimization : 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings / Oktay Günlük, Gerhard J. Woeginger (eds.)
: pbk. - Heidelberg : Springer , c2011
|
176 |
7801 . LNCS sublibrary. SL 1, Theoretical computer science and general issues
Integer programming and combinatorial optimization : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013, proceedings / Michel Goemans, José Correa (eds.)
Berlin : Springer , c2013
|
177 |
8494 . LNCS sublibrary. SL 1, Theoretical computer science and general issues
Integer programming and combinatorial optimization : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, proceedings / Jon Lee, Jens Vygen (eds.)
Berlin : Springer , c2014
|
178 |
11988 . LNCS sublibrary ; SL 3 . Information systems and applications, incl. internet/web, and HCI
Simulation gaming through times and disciplines : 50th International Simulation and Gaming Association Conference, ISAGA 2019, Warsaw, Poland, August 26-30, 2019, revised selected papers / Mariola Grzybowska-Brzeziñska...[et al.](eds.)
: pbk. - Cham, Switzerland : Springer , c2021
|
179 |
12050 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues . State-of-the-art survey
Computational complexity and property testing : on the interplay between randomness and computation / Oded Goldreich ... [et al.] ; with contributions by Itai Benjamini ... [et al.]
Cham : Springer , c2020
|
180 |
13286
Natural language processing and information systems : 27th International Conference on Applications of Natural Language to Information Systems, NLDB 2022, Valencia, Spain, June 15-17, 2022 : proceedings / edited by Paolo Rosso, Valerio Basile, Raquel Martínez, Elisabeth Métais, Farid Meziane
: [pbk.]. - Cham : Springer , c2022
|