close
1.

電子ブック
ＥＢ
1. Operating Systems : An Advanced Course. 1st ed. 1978
by M.J. Flynn, J.N. Gray, A.K. Jones, K. Lagally, H. Opderbeck, G.J. Popek, B. Randell, J.H. Saltzer, H.R. Wiehle ; edited by R. Bayer, R.M. Graham, G. Seegmüller
出版情報:   X, 595 p.
シリーズ名: Lecture Notes in Computer Science ; 60
所蔵情報: loading…
目次情報:
2.

電子ブック
ＥＢ
2. Distributed Systems - Architecture and Implementation : An Advanced Course. 1st ed. 1981
by D.W. Davies, E. Holler, E.D. Jensen, S.R. Kimbleton, B.W. Lampson, G. LeLann, K.J. Thurber, R.W. Watson ; edited by B. W. Lampson, M. Paul, H. J. Siegert
出版情報:   XIII, 510 p.
シリーズ名: Lecture Notes in Computer Science ; 105
所蔵情報: loading…
目次情報:
3.

電子ブック
ＥＢ
3. ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings. 1st ed. 1988
edited by Marc Gyssens, Jan Paredaens, Dirk Van Gucht
出版情報:   VIII, 412 p.
シリーズ名: Lecture Notes in Computer Science ; 326
所蔵情報: loading…
目次情報: 続きを見る
Contents: Invited Lectures.
Logic and Deductive Databases.
Complexity and Optimization.
Object Oriented Databases.
Data Models and Query Languages.
Dynamic Aspects of Databases.
Miscellaneous Topics.
Contents: Invited Lectures.
Logic and Deductive Databases.
Complexity and Optimization.
4.

電子ブック
ＥＢ
4. PASCAL - User Manual and Report. 1st ed. 1974
by K. Jensen, N. Wirth
出版情報:   XI, 170 p.
シリーズ名: Lecture Notes in Computer Science ; 18
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Parallel Processing : Proceedings of the Sagamore Computer Conference, August 20-23, 1974. 1st ed. 1975
edited by Feng Tse-Yun
出版情報:   VI, 433 p.
シリーズ名: Lecture Notes in Computer Science ; 24
所蔵情報: loading…
目次情報:
6.

電子ブック
ＥＢ
6. GI-4.Jahrestagung : Berlin, 9.–12. Oktober 1974. 1st ed. 1975
von Dirk Siefkes
出版情報:   IX, 751 S.
シリーズ名: Lecture Notes in Computer Science ; 26
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Compiler Construction : An Advanced Course. 2nd ed. 1974
by F.L. Bauer, F.L. DeRemer, A.P. Ershov, D. Gries, M. Griffiths, U. Hill, J.J. Horning, C.H.A. Koster, W.M. McKeeman, P.C. Poole, W.M. Waite ; edited by F. L. Bauer, J. Eickel
出版情報:   XIV, 638 p.
シリーズ名: Lecture Notes in Computer Science ; 21
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Graph-Grammars and Their Application to Computer Science and Biology : International Workshop, Bad Honnef, October 30 - November 3, 1978. 1st ed. 1979
edited by V. Claus, H. Ehrig, G. Rozenberg
出版情報:   X, 486 p.
シリーズ名: Lecture Notes in Computer Science ; 73
所蔵情報: loading…
目次情報:
9.

電子ブック
ＥＢ
9. Rechner-Gestützter Unterricht : RGU '74. Fachtagung, Hamburg 12.-14. August 1974. 1st ed. 1974
herausgegeben von K. Brunnstein, K. Haefner, W. Händler
出版情報:   X, 424 S.
シリーズ名: Lecture Notes in Computer Science ; 17
所蔵情報: loading…
目次情報:
10.

電子ブック
ＥＢ
10. Net Theory and Applications : Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. 1st ed. 1980
edited by W. Brauer
出版情報:   XVI, 540 p.
シリーズ名: Lecture Notes in Computer Science ; 84
所蔵情報: loading…
目次情報:
11.

電子ブック
ＥＢ
11. Automata, Languages and Programming : 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Proceedings. 1st ed. 1974
herausgegeben von J. Loeckx
出版情報:   619 p.
シリーズ名: Lecture Notes in Computer Science ; 14
所蔵情報: loading…
目次情報:
12.

電子ブック
ＥＢ
12. Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977. 1st ed. 1977
edited by Marek Karpinski
出版情報:   XIV, 546 p.
シリーズ名: Lecture Notes in Computer Science ; 56
所蔵情報: loading…
目次情報:
13.

電子ブック
ＥＢ
13. Analysis of Drum and Disk Storage Units. 1st ed. 1975
by S.H. Fuller
出版情報:   XII, 288 p.
シリーズ名: Lecture Notes in Computer Science ; 31
所蔵情報: loading…
目次情報:
14.

電子ブック
ＥＢ
14. Automata Theory and Formal Languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975. 1st ed. 1975
herausgegeben von H. Brakhage
出版情報:   VIII, 292 p.
シリーズ名: Lecture Notes in Computer Science ; 33
所蔵情報: loading…
目次情報:
15.

電子ブック
ＥＢ
15. An Optimized Translation Process and Its Application to ALGOL 68. 1st ed. 1976
by P. Branquart, J.-P. Cardinael, J.-P. Delescaille, J. Lewi, M. Vanbegin ; edited by P.B. Hansen
出版情報:   XII, 336 p.
シリーズ名: Lecture Notes in Computer Science ; 38
所蔵情報: loading…
目次情報:
16.

電子ブック
ＥＢ
16. Mes premieres constructions de programmes. 1st ed. 1977
by A. Gerbier
出版情報:   XII, 254 p.
シリーズ名: Lecture Notes in Computer Science ; 55
所蔵情報: loading…
目次情報:
17.

電子ブック
ＥＢ
17. Software Engineering : An Advanced Course. 1st ed. 1975
edited by F. L. Bauer
出版情報:   XII, 548 p.
シリーズ名: Lecture Notes in Computer Science ; 30
所蔵情報: loading…
目次情報:
18.

電子ブック
ＥＢ
18. Language Hierarchies and Interfaces : International Summer School. 1st ed. 1976
edited by F.L. Bauer, K. Samelson
出版情報:   X, 432 p.
シリーズ名: Lecture Notes in Computer Science ; 46
所蔵情報: loading…
目次情報:
19.

電子ブック
ＥＢ
19. Programming Symposium : Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974. 1st ed. 1974
edited by B. Robinet
出版情報:   VIII, 432 p.
シリーズ名: Lecture Notes in Computer Science ; 19
所蔵情報: loading…
目次情報:
20.

電子ブック
ＥＢ
20. EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984. 1st ed. 1984
edited by J. Fitch
出版情報:   XI, 397 p.
シリーズ名: Lecture Notes in Computer Science ; 174
所蔵情報: loading…
目次情報:
21.

電子ブック
ＥＢ
21. Interval Mathematics : Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975. 1st ed. 1975
edited by K. Nickel
出版情報:   VI, 335 p.
シリーズ名: Lecture Notes in Computer Science ; 29
所蔵情報: loading…
目次情報:
22.

電子ブック
ＥＢ
22. First-Order Dynamic Logic. 1st ed. 1979
by D. Harel
出版情報:   XII, 136 p.
シリーズ名: Lecture Notes in Computer Science ; 68
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Automata, Languages and Programming : Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings. 1st ed. 1978
edited by G. Ausiello, C. Böhm
出版情報:   X, 510 p.
シリーズ名: Lecture Notes in Computer Science ; 62
所蔵情報: loading…
目次情報:
24.

電子ブック
ＥＢ
24. Matrix Eigensystem Routines - EISPACK Guide. 1st ed. 1974
by B.T. Smith, J.M. Boyle, B.S. Garbow, Y. Ikebe, V.C. Klema, C.B. Moler
出版情報:   XII, 387 p.
シリーズ名: Lecture Notes in Computer Science ; 6
所蔵情報: loading…
目次情報:
25.

電子ブック
ＥＢ
25. TEX for Scientific Documentation : Second European Conference, Strasbourg, France, June 19-21, 1986. Proceedings. 1st ed. 1986
edited by Jacques Desarmenien
出版情報:   VIII, 208 p.
シリーズ名: Lecture Notes in Computer Science ; 236
所蔵情報: loading…
目次情報:
26.

電子ブック
ＥＢ
26. Mathematical Foundations of Computer Science 1976 : 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings. 1st ed. 1976
edited by A. Mazurkiewicz
出版情報:   XIV, 610 p.
シリーズ名: Lecture Notes in Computer Science ; 45
所蔵情報: loading…
目次情報:
27.

電子ブック
ＥＢ
27. Edinburgh LCF : A Mechanized Logic of Computation. 1st ed. 1979
by M. Gordon, R. Milner, C.P. Wadsworth
出版情報:   VIII, 161 p.
シリーズ名: Lecture Notes in Computer Science ; 78
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Symbolic and Algebraic Computation : Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. 1st ed. 1979
edited by E.W. Ng
出版情報:   XVII, 563 p.
シリーズ名: Lecture Notes in Computer Science ; 72
所蔵情報: loading…
目次情報:
29.

電子ブック
ＥＢ
29. CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings. 1st ed. 1981
edited by W. Händler
出版情報:   XIV, 510 p.
シリーズ名: Lecture Notes in Computer Science ; 111
所蔵情報: loading…
目次情報:
30.

電子ブック
ＥＢ
30. Optimization Techniques. Modeling and Optimization in the Service of Man 2 : Proceedings, 7th IFIP Conference, Nice, Sept. 8-12, 1975. 1st ed. 1976
edited by J. Cea
出版情報:   XIII, 856 p.
シリーズ名: Lecture Notes in Computer Science ; 41
所蔵情報: loading…
目次情報:
31.

電子ブック
ＥＢ
31. A Calculus of Communicating Systems. 1st ed. 1980
by R. Milner
出版情報:   VI, 174 p.
シリーズ名: Lecture Notes in Computer Science ; 92
所蔵情報: loading…
目次情報:
32.

電子ブック
ＥＢ
32. Mathematical Foundations of Computer Science 1977 : 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings. 1st ed. 1977
edited by J. Gruska
出版情報:   XIII, 599 p.
シリーズ名: Lecture Notes in Computer Science ; 53
所蔵情報: loading…
目次情報:
33.

電子ブック
ＥＢ
33. Formal Aspects of Cognitive Processes : Proceedings, Interdisciplinary Conference, Ann Arbor, March 1972. 1st ed. 1975
edited by T. Storer, D. Winter
出版情報:   IX, 215 p.
シリーズ名: Lecture Notes in Computer Science ; 22
所蔵情報: loading…
目次情報:
34.

電子ブック
ＥＢ
34. Architecture of Distributed Computer Systems. 1st ed. 1979
by G. Bochmann, P. v. Klein
出版情報:   X, 242 p.
シリーズ名: Lecture Notes in Computer Science ; 77
所蔵情報: loading…
目次情報:
35.

電子ブック
ＥＢ
35. Interactive Systems : Proceedings, 6. Informatik-Symposium, IBM Germany, Bad Homburg v.d.H., September 1976. 1st ed. 1977
herausgegeben von A. Blaser, C. Hackl
出版情報:   VI, 381 p.
シリーズ名: Lecture Notes in Computer Science ; 49
所蔵情報: loading…
目次情報:
36.

電子ブック
ＥＢ
36. Optimization Techniques : IFIP Technical Conference, Novosibirsk, July 1-7, 1974. 1st ed. 1975
edited by G.I. Marchuk
出版情報:   X, 514 p.
シリーズ名: Lecture Notes in Computer Science ; 27
所蔵情報: loading…
目次情報:
37.

電子ブック
ＥＢ
37. Methods of Algorithmic Language Implementation. 1st ed. 1977
edited by A. Ershov, C.H.A. Koster
出版情報:   VIII, 353 p.
シリーズ名: Lecture Notes in Computer Science ; 47
所蔵情報: loading…
目次情報:
38.

電子ブック
ＥＢ
38. Compiler Construction : An Advanced Course. 1st ed. 1974
by F.L. Bauer, F.L. DeRemer, M. Griffiths, U. Hill, J.J. Hornig, C.H. Koster, W.M. McKeeman, P.C. Poole, W.M. Waite ; edited by F.L. Bauer, J. Eickel
出版情報:   XVI, 632 p.
シリーズ名: Lecture Notes in Computer Science ; 21
所蔵情報: loading…
目次情報:
39.

電子ブック
ＥＢ
39. Rechnerstrukturen und Betriebsprogrammierung : GI - Gesellschaft für Informatik e.V., Erlangen, 1970. 1st ed. 1974
edited by W. Händler, P.P. Spies
出版情報:   X, 338 p.
シリーズ名: Lecture Notes in Computer Science ; 13
所蔵情報: loading…
目次情報:
40.

電子ブック
ＥＢ
40. Computing Methods in Applied Sciences and Engineering : International Symposium, Versailles, December 17-21, 1973, Part 1. 1st ed. 1974
edited by R. Glowinski, J.L. Lions
出版情報:   XII, 500 p.
シリーズ名: Lecture Notes in Computer Science ; 10
所蔵情報: loading…
目次情報:
41.

電子ブック
ＥＢ
41. Computing Methods in Applied Sciences and Engineering : International Symposium, Versailles, December 17-21,1973, Part 2. 1st ed. 1974
edited by R. Glowinski, J.L. Lions
出版情報:   X, 434 p.
シリーズ名: Lecture Notes in Computer Science ; 11
所蔵情報: loading…
目次情報:
42.

電子ブック
ＥＢ
42. ECI Conference 1976 : Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976. 1st ed. 1976
edited by K. Samelson
出版情報:   X, 334 p.
シリーズ名: Lecture Notes in Computer Science ; 44
所蔵情報: loading…
目次情報:
43.

電子ブック
ＥＢ
43. Komplexität von Entscheidungsproblemen : Ein Seminar. 1st ed. 1976
herausgegeben von E. Specker, V. Strassen
出版情報:   217 S.
シリーズ名: Lecture Notes in Computer Science ; 43
所蔵情報: loading…
目次情報:
44.

電子ブック
ＥＢ
44. Optimization Techniques. Modeling and Optimization in the Service of Man 1 : Proceedings, 7th IFIP Conference, Nice, Sept. 8-12, 1975. 1st ed. 1976
edited by J. Cea
出版情報:   XXVIII, 855 p.
シリーズ名: Lecture Notes in Computer Science ; 40
所蔵情報: loading…
目次情報:
45.

電子ブック
ＥＢ
45. Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974. 1st ed. 1975
edited by A. Blikle
出版情報:   VII, 485 p.
シリーズ名: Lecture Notes in Computer Science ; 28
所蔵情報: loading…
目次情報:
46.

電子ブック
ＥＢ
46. GI - 5. Jahrestagung : Dortmund, 8.-10. Oktober 1975. 1st ed. 1975
herausgegeben von J. Mühlbacher
出版情報:   755 S.
シリーズ名: Lecture Notes in Computer Science ; 34
所蔵情報: loading…
目次情報:
47.

電子ブック
ＥＢ
47. GI - 3. Fachtagung über Programmiersprachen : Gesellschaft für Informatik e.V., Kiel, 5.-7. März 1974. 1st ed. 1974
herausgegeben von B. Schlender, W. Frielinghaus
出版情報:   225 S.
シリーズ名: Lecture Notes in Computer Science ; 7
所蔵情報: loading…
目次情報:
48.

電子ブック
ＥＢ
48. Codes for Boundary-Value Problems in Ordinary Differential Equations : Proceedings of a Working Conference, May 14-17, 1978. 1st ed. 1979
edited by B. Childs, M. Scott, J. W. Daniel, E. Denman, P. Nelson
出版情報:   X, 390 p.
シリーズ名: Lecture Notes in Computer Science ; 76
所蔵情報: loading…
目次情報:
49.

電子ブック
ＥＢ
49. Matrix Eigensystem Routines - EISPACK Guide Extension. 1st ed. 1977
by B.S. Garbow, J.M. Boyle, J.J. Dongarra, C.B. Moler
出版情報:   X, 346 p.
シリーズ名: Lecture Notes in Computer Science ; 51
所蔵情報: loading…
目次情報:
50.

電子ブック
ＥＢ
50. Data Base Systems : Proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 24 - 26, 1975. 1st ed. 1976
herausgegeben von M. Hasselmeier, W. G. Spruth
出版情報:   VI, 386 S.
シリーズ名: Lecture Notes in Computer Science ; 39
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼