close
1.

電子ブック
ＥＢ
1. Automata, Languages and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings. 1st ed. 1989
edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca
出版情報:   XIV, 790 p.
シリーズ名: Lecture Notes in Computer Science ; 372
所蔵情報: loading…
目次情報:
2.

電子ブック
ＥＢ
2. EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings. 1st ed. 1989
edited by James H. Davenport
出版情報:   VIII, 500 p.
シリーズ名: Lecture Notes in Computer Science ; 378
所蔵情報: loading…
目次情報:
3.

電子ブック
ＥＢ
3. Categorical Methods in Computer Science : With Aspects from Topology. 1st ed. 1989
edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
出版情報:   VI, 354 p.
シリーズ名: Lecture Notes in Computer Science ; 393
所蔵情報: loading…
目次情報:
4.

電子ブック
ＥＢ
4. Algorithms and Data Structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings. 1st ed. 1989
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報:   VI, 244 p.
シリーズ名: Lecture Notes in Computer Science ; 382
所蔵情報: loading…
目次情報:
5.

電子ブック
ＥＢ
5. Synthesizing Synchronous Systems by Static Scheduling in Space-Time. 1st ed. 1989
by Björn Lisper
出版情報:   X, 266 p.
シリーズ名: Lecture Notes in Computer Science ; 362
所蔵情報: loading…
目次情報:
6.

電子ブック
ＥＢ
6. RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. 1st ed. 1986
edited by Eiichi Goto, Keijiro Araki, Taiichi Yuasa
出版情報:   XIV, 330 p.
シリーズ名: Lecture Notes in Computer Science ; 220
所蔵情報: loading…
目次情報:
7.

電子ブック
ＥＢ
7. System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. 1st ed. 1987
edited by A. Nico Habermann, Ugo Montanari
出版情報:   VIII, 308 p.
シリーズ名: Lecture Notes in Computer Science ; 275
所蔵情報: loading…
目次情報: 続きを見る
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
Knowledge-Based Software Development from Requirements to Code
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
Project Graphs and Meta-Programs
Towards a Theory of Software Development
Software Development Based on Formal Methods
Integration of Program Construction and Verification: The PROSPECTRA Methodology
Ada Compiler Validation: An Example of Software Testing Theory and Practice
The Software Engineering Institute at Carnegie-Mellon University
Task Sequencing Language for Specifying Distributed Ada Systems
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
8.

電子ブック
ＥＢ
8. Computation Theory : Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings. 1st ed. 1985
by Andrzej Skowron
出版情報:   X, 402 p.
シリーズ名: Lecture Notes in Computer Science ; 208
所蔵情報: loading…
目次情報:
9.

電子ブック
ＥＢ
9. Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings. 1st ed. 1986
edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
出版情報:   VIII, 212 p.
シリーズ名: Lecture Notes in Computer Science ; 242
所蔵情報: loading…
目次情報:
10.

電子ブック
ＥＢ
10. CAAP '81 : Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings. 1st ed. 1981
edited by E. Astesiano, C. Böhm
出版情報:   VI, 365 p.
シリーズ名: Lecture Notes in Computer Science ; 112
所蔵情報: loading…
目次情報:
11.

電子ブック
ＥＢ
11. Theoretical Computer Science : 5th GI-Conference Karlsruhe, March 23-25, 1981. 1st ed. 1981
herausgegeben von P. Deussen
出版情報:   X, 266 p.
シリーズ名: Lecture Notes in Computer Science ; 104
所蔵情報: loading…
目次情報:
12.

電子ブック
ＥＢ
12. Graph Reduction : Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986. 1st ed. 1987
edited by Joseph H. Fasel, Robert M. Keller
出版情報:   XVI, 450 p.
シリーズ名: Lecture Notes in Computer Science ; 279
所蔵情報: loading…
目次情報: 続きを見る
Graph Reduction on Existing Architectures
Graph Reduction Architectures
Resource Control Issues
Performance Modelling and Simulation
Arrays
Relationship to Logic Progamming
Graph Reduction on Existing Architectures
Graph Reduction Architectures
Resource Control Issues
13.

電子ブック
ＥＢ
13. 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…
目次情報:
14.

電子ブック
ＥＢ
14. 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…
目次情報:
15.

電子ブック
ＥＢ
15. Advances in Petri Nets 1988. 1st ed. 1988
edited by Grzegorz Rozenberg
出版情報:   VI, 440 p.
シリーズ名: Lecture Notes in Computer Science ; 340
所蔵情報: loading…
目次情報:
16.

電子ブック
ＥＢ
16. Coding Theory and Applications : 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings. 1st ed. 1988
edited by Gerard Cohen, Philippe Godlewski
出版情報:   XVI, 200 p.
シリーズ名: Lecture Notes in Computer Science ; 311
所蔵情報: loading…
目次情報:
17.

電子ブック
ＥＢ
17. STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985. 1st ed. 1985
edited by K. Mehlhorn
出版情報:   VII, 375 p.
シリーズ名: Lecture Notes in Computer Science ; 182
所蔵情報: loading…
目次情報:
18.

電子ブック
ＥＢ
18. Trends, Techniques, and Problems in Theoretical Computer Science : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986. 1st ed. 1987
edited by Alica Kelemenova, Jozef Kelemen
出版情報:   VIII, 220 p.
シリーズ名: Lecture Notes in Computer Science ; 281
所蔵情報: loading…
目次情報:
19.

電子ブック
ＥＢ
19. Structure in Complexity Theory : Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986. 1st ed. 1986
edited by Alan L. Selman
出版情報:   VIII, 404 p.
シリーズ名: Lecture Notes in Computer Science ; 223
所蔵情報: loading…
目次情報:
20.

電子ブック
ＥＢ
20. Symbolic and Algebraic Computation : International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings. 1st ed. 1989
edited by Patrizia Gianni
出版情報:   XII, 488 p.
シリーズ名: Lecture Notes in Computer Science ; 358
所蔵情報: loading…
目次情報:
21.

電子ブック
ＥＢ
21. Logics of Programs : Brooklyn, June 17-19, 1985. 1st ed. 1985
edited by Rohit Parikh
出版情報:   VIII, 428 p.
シリーズ名: Lecture Notes in Computer Science ; 193
所蔵情報: loading…
目次情報:
22.

電子ブック
ＥＢ
22. 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…
目次情報:
23.

電子ブック
ＥＢ
23. Parallel Computing 1988 : Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988; Proceedings. 1st ed. 1989
edited by Gerrit A. van Zee, Johannes G.G. van de Vorst
出版情報:   X, 142 p.
シリーズ名: Lecture Notes in Computer Science ; 384
所蔵情報: loading…
目次情報:
24.

電子ブック
ＥＢ
24. Parallel Algorithms and Architectures : International Workshop Suhl, GDR, May 25-30, 1987; Proceedings. 1st ed. 1987
edited by Andreas Albrecht, Hermann Jung, Kurt Mehlhorn
出版情報:   IX, 200 p.
シリーズ名: Lecture Notes in Computer Science ; 269
所蔵情報: loading…
目次情報:
25.

電子ブック
ＥＢ
25. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings. 1st ed. 1989
edited by Albert R. Meyer, Michael A. Taitslin
出版情報:   XII, 292 p.
シリーズ名: Lecture Notes in Computer Science ; 363
所蔵情報: loading…
目次情報:
26.

電子ブック
ＥＢ
26. Automata, Languages and Programming : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings. 1st ed. 1986
edited by Laurent Kott
出版情報:   XII, 476 p.
シリーズ名: Lecture Notes in Computer Science ; 226
所蔵情報: loading…
目次情報:
27.

電子ブック
ＥＢ
27. Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen. 1st ed. 1984
edited by E. Börger, G. Hasenjaeger, D. Rödding
出版情報:   VI, 460 p.
シリーズ名: Lecture Notes in Computer Science ; 171
所蔵情報: loading…
目次情報:
28.

電子ブック
ＥＢ
28. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). 1st ed. 1985
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報:   XVIII, 422 p.
シリーズ名: Lecture Notes in Computer Science ; 185
所蔵情報: loading…
目次情報:
29.

電子ブック
ＥＢ
29. High Performance Transaction Systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings. 1st ed. 1989
edited by Dieter Gawlick, Mark Haynie, Andreas Reuter
出版情報:   XII, 334 p.
シリーズ名: Lecture Notes in Computer Science ; 359
所蔵情報: loading…
目次情報:
30.

電子ブック
ＥＢ
30. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings. 1st ed. 1989
edited by Burkhard Monien, Robert Cori
出版情報:   X, 546 p.
シリーズ名: Lecture Notes in Computer Science ; 349
所蔵情報: loading…
目次情報:
31.

電子ブック
ＥＢ
31. 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…
目次情報:
32.

電子ブック
ＥＢ
32. Graph-Theoretic Concepts in Computer Science : International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings. 1st ed. 1988
edited by Herbert Göttler, Hans-Jürgen Schneider
出版情報:   VIII, 256 p.
シリーズ名: Lecture Notes in Computer Science ; 314
所蔵情報: loading…
目次情報: 続きを見る
Graphs, Geometry and Data Structures
Layout of Graphs
Randomness and Chaos
Data Bases
Distributed Systems
Program Design
Computer Vision
Application in Chemistry
Graphs, Geometry and Data Structures
Layout of Graphs
Randomness and Chaos
33.

電子ブック
ＥＢ
33. Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings. 1st ed. 1978
edited by J. Winkowski
出版情報:   IX, 556 p.
シリーズ名: Lecture Notes in Computer Science ; 64
所蔵情報: loading…
目次情報:
34.

電子ブック
ＥＢ
34. Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings. 1st ed. 1985
edited by Wilfried Brauer
出版情報:   XII, 524 p.
シリーズ名: Lecture Notes in Computer Science ; 194
所蔵情報: loading…
目次情報:
35.

電子ブック
ＥＢ
35. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. 1st ed. 1989
by Dirk A. Taubner
出版情報:   XII, 172 p.
シリーズ名: Lecture Notes in Computer Science ; 369
所蔵情報: loading…
目次情報:
36.

電子ブック
ＥＢ
36. 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…
目次情報:
37.

電子ブック
ＥＢ
37. Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings. 1st ed. 1987
edited by Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov
出版情報:   XIV, 508 p.
シリーズ名: Lecture Notes in Computer Science ; 278
所蔵情報: loading…
目次情報:
38.

電子ブック
ＥＢ
38. Optimal Algorithms : International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings. 1st ed. 1989
edited by Hristo Djidjev
出版情報:   VIII, 312 p.
シリーズ名: Lecture Notes in Computer Science ; 401
所蔵情報: loading…
目次情報:
39.

電子ブック
ＥＢ
39. 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…
目次情報:
40.

電子ブック
ＥＢ
40. Information Systems Methodology : Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978. 1st ed. 1978
edited by G. Bracchi, P. C. Lockemann
出版情報:   XII, 696 p.
シリーズ名: Lecture Notes in Computer Science ; 65
所蔵情報: loading…
目次情報:
41.

電子ブック
ＥＢ
41. Automata, Languages, and Programming : Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings. 1st ed. 1979
edited by H. A. Maurer
出版情報:   XII, 688 p.
シリーズ名: Lecture Notes in Computer Science ; 71
所蔵情報: loading…
目次情報:
42.

電子ブック
ＥＢ
42. Graphtheoretic Concepts in Computer Science : Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980. 1st ed. 1981
edited by H Noltemeier
出版情報:   XII, 408 p.
シリーズ名: Lecture Notes in Computer Science ; 100
所蔵情報: loading…
目次情報:
43.

電子ブック
ＥＢ
43. Proceedings / Parcella 1988 : Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988. 1st ed. 1989
edited by Gottfried Wolf, Tamas Legendi, Udo Schendel
出版情報:   II, 381 p.
シリーズ名: Lecture Notes in Computer Science ; 342
所蔵情報: loading…
目次情報:
44.

電子ブック
ＥＢ
44. Computation Theory and Logic. 1st ed. 1987
edited by Egon Börger
出版情報:   IX, 442 p.
シリーズ名: Lecture Notes in Computer Science ; 270
所蔵情報: loading…
目次情報:
45.

電子ブック
ＥＢ
45. Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions. 1st ed. 1989
edited by Jürgen Dassow, Jozef Kelemen
出版情報:   VIII, 248 p.
シリーズ名: Lecture Notes in Computer Science ; 381
所蔵情報: loading…
目次情報:
46.

電子ブック
ＥＢ
46. 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…
目次情報:
47.

電子ブック
ＥＢ
47. Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings. 1st ed. 1989
edited by Jean E. Pin
出版情報:   X, 266 p.
シリーズ名: Lecture Notes in Computer Science ; 386
所蔵情報: loading…
目次情報:
48.

電子ブック
ＥＢ
48. Automata, Languages and Programming : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings. 1st ed. 1980
edited by J. W. de Bakker, J. van Leeuwen
出版情報:   X, 671 p.
シリーズ名: Lecture Notes in Computer Science ; 85
所蔵情報: loading…
目次情報:
49.

電子ブック
ＥＢ
49. 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…
目次情報:
50.

電子ブック
ＥＢ
50. Mathematical Foundations of Computer Science 1979 : 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings. 1st ed. 1979
edited by J. Becvar
出版情報:   XI, 585 p.
シリーズ名: Lecture Notes in Computer Science ; 74
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼