検索結果一覧に戻る

このページのリンク

他の検索サイト

Lecture notes in computer science

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
本文言語 und

子書誌情報を非表示

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

書誌詳細を非表示

別書名 異なりアクセスタイトル:LNCS
書誌ID BB10000019
NCID BA00009279
検索結果一覧に戻る