close
1.

図書
図書
1. Artificial intelligence and information-control systems of robots -87 : proceedings of the Fourth International Conference on Artificial Intelligence and Information-Control Systems of Robots, Smolenice, Czechoslovakia, 19-23 October, 1987
edited by Ivan Plander
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xvii, 499 p. ; 23 cm
所蔵情報: loading…
2.

図書
図書
2. 1986 ACM Fourteenth Annual Computer Science Conference, February 4-6, 1986, Cincinnati Convention Center, Cincinnati, Ohio
Association for Computing Machinery
出版情報: New York, N.Y. : ACM, c1986  531 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. 1986 proceedings Fall Joint Computer Conference, November 2-6, 1986, INFOMART, Dallas, Texas (: pbk. ; microfiche ; case)
sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman
出版情報: Washington, D.C. : IEEE Computer Society Press, 1986  xxvi, 1248 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings 5, COMPSAC 81 : the IEEE Computer Society's Fifth International Computer Software & Applications Conference, November 16-20, 1981, the Marriott Hotel, Chicago, Illinois
COMPSAC ; IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1981  xviii, 446 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings 8, COMPSAC 84 : the IEEE Computer Society's Eighth International Computer Software & Applications Conference, November 7-9, 1984, Americana Congress Hotel, Chicago, Illinois
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  550 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. 1985 ACM Thirteenth Annual Computer Science Conference, March 12-14, 1985, New Orleans Marriott Hotel, New Orleans, Louisiana
Association for Computing Machinery
出版情報: New York, N.Y. : ACM , Baltimore, MD : Copies ordered from ACM Order Dept., c1985  xxi, 438 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Human factors in computing systems-II : proceedings of the CHI '85 Conference held San Francisco, CA, U.S.A., 14-18 April, 1985
edited by Lorraine Borman and Bill Curtis
出版情報: Amsterdam ; New York : North-Holland, 1985  vii, 231 p. ; 31 cm
所蔵情報: loading…
8.

図書
図書
8. Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef, June 15-18, 1980 (: gw ; : us)
edited by Hartmut Noltemeier
出版情報: Berlin ; New York : Springer-Verlag, 1981  x, 403 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 100
所蔵情報: loading…
9.

図書
図書
9. Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings (: gw ; : us)
edited by A.J.W. Duijvestijn and P.C. Lockemann
出版情報: Berlin : Springer-Verlag, 1981  xi, 348 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 123
所蔵情報: loading…
10.

図書
図書
10. Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985
edited by A. Sernadas, J. Bubenko, Jr., and A. Olivé
出版情報: Amsterdam ; New York : North-Holland, 1985  x, 236 p. ; 24 cm
所蔵情報: loading…
11.

図書
図書
11. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings (: gw ; : us)
R. Cori, M. Wirsing (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 404 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 294
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
Graph Grammars
Distributed Algorithms
Geometrical Algorithms
Trace Languages
Semantics of Parallelism
Systems Demonstrations
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
12.

図書
図書
12. Proceedings : Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 (: pbk. ; : hard ; : microfiche)
sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xi, 361 p. ; 28 cm
所蔵情報: loading…
13.

図書
図書
13. 1987 ACM Fifteenth Annual Computer Science Conference, February 17-19, 1987, Adam's Mark hotel, Clarion hotel, St. Louis, Missori
Association for Computing Machinery
出版情報: New York, N.Y. : ACM, c1987  xx, 473 p. ; 28 cm
所蔵情報: loading…
14.

図書
図書
14. High technology in the information industry : digest of papers, Compcon Spring 82, Twenty-fourth IEEE Computer Society International Conference, Jack Tar Hotel, San Francisco, California, February 22-25
sponsored by the IEEE Computer Society
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Los Alamitos, CA : Available from IEEE Computer Society , Piscataway, NJ : Available from IEEE Service Center, c1982  xvi, 418 p. ; 28 cm
所蔵情報: loading…
15.

図書
図書
15. Technological leverage, a competitive necessity : digest of papers (: pbk. ; : casebound ; : microfiche)
Compcon 85, February 25-28, spring, Thirtieth IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California ; sponsored by the IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1985  xv, 434 p. ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. The First International Conference on Computers and Applications, Beijing, China, June 20-22, 1984 (pbk. ; hard ; microfiche)
co-sponsored by CIE Computer Society, IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  xiv, 905 p. ; 28 cm
所蔵情報: loading…
17.

図書
図書
17. Intellectual leverage for the information society : digest of papers, Compcon Spring 83, twenty-sixth IEEE Computer Society International Conference, Cathedral Hill Hotel (formerly Jack Tar), San Francisco, California, February 28-March 3
[sponsored by the IEEE Computer Society]
出版情報: New York, NY : IEEE Computer Society, 1983  xxxiv, 527 p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. Delivering computer power to end users : proceedings : Compcon Fall 83, twenty-seventh IEEE Computer Society International Conference, Marriott Crystal Gateway, Arlington, VA, September 25-29
IEEE Computer Society, the Institute of Electrical and Electronics Engineers, Inc.
出版情報: Silver Spring, MD : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1983  x, 548 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Intellectual leverage the driving technologies : digest of papers, Compcon Spring 84, February 27-March 1, twenty-eighth IEEE Computer Society International Conference, Meridien Hotel, San Francisco, California (: pbk)
sponsored by the IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1984  xxvi, 522 p. ; 28 cm
所蔵情報: loading…
20.

図書
図書
20. Digest of papers : Compcon Spring 87, February 23-27, Thirty-second IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California : intellectual leverage (pbk. ; microfiche)
Compcon ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, Calif. : Order from IEEE Computer Society, c1987  xvi, 470 p. ; 28 cm
所蔵情報: loading…
21.

図書
図書
21. Proceedings 9, COMPSAC 85 : the IEEE Computer Society's Ninth International Computer Software & Applications Conference, October 9-11, 1985, Americana Congress Hotel, Chicago, Illinois (: pbk. ; : microfiche ; : case)
COMPSAC ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society, c1985  xxi, 528 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. Empirical foundations of information and software science
edited by Jagdish C. Agrawal and Pranas Zunde
出版情報: New York : Plenum Press, c1985  ix, 415 p. ; 26 cm
所蔵情報: loading…
23.

図書
図書
23. Graph-theoretic concepts in computer science : International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29-July 1, 1987 : proceedings (: gw ; : us)
H. Göttler, H.J. Schneider (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 254 p. ; 25 cm
シリーズ名: 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
24.

図書
図書
24. Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (: gw ; : us)
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983  vii, 452 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: loading…
25.

図書
図書
25. 1983 ACM computer science conference and SIGCSE symposium : computer science conference, February 15-17, SIGCSE symposium, February 17-18 (pbk.)
ACM Computer Science Conference ; Association for Computing Machinery ; Association for Computing Machinery. Special Interest Group on Computer Science Education ; ACM SIGCSE Technical Symposium on Computer Science Education
出版情報: New York, N.Y. : Association for Computing Machinery, c1983  iii, 104 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. Digest of papers : Compcon Spring 88, February 29-March 4, 1988, Thirty-third IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California : intellectual leverage
Compcon ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  xvi, 549 p. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. Exploring technology : today and tomorrow : proceedings : 1987 Fall Joint Computer Conference, October 25-29, 1987, INFORMART, Dallas, Texas (: pbk ; : case ; : microfiche)
co-sponsored by the Association for Computing Machinery and the Computer Society of the IEEE and hosted by INFOMART
出版情報: Washington, D.C. : Computer Society Press of the IEEE, c1987  xxii, 763 p. ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. MATH/CHEM/COMP 1987 : proceedings of an International Course and Conference on the Interfaces between Mathematics, Chemistry, and Computer Science, Dubrovnik, Yugoslavia, 22-26 June 1987
edited by R.C. Lacher
出版情報: Amsterdam ; Tokyo : Elsevier , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1988  xii, 378 p. ; 25 cm
シリーズ名: Studies in physical and theoretical chemistry ; 54
所蔵情報: loading…
29.

図書
図書
29. Office information systems : proceedings of the Second International Workshop on Office Information Systems, Couvent royal de Saint-Maximin, France, 13-15 October 1981
edited by Najah Naffah
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982  xiii, 656 p. ; 23 cm
所蔵情報: loading…
30.

図書
図書
30. Foundations of software technology and theoretical computer science : Sixth Conference, New Delhi, India, December 18-20, 1986, proceedings : FSTandTCS6 (: gw ; : us)
edited by Kesav V. Nori
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xii, 518 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 241
所蔵情報: loading…
31.

図書
図書
31. The human side of information processing : proceedings of the Copenhagen Conference on Computer Impact - 78, October 25-27, 1978
edited by Niels Bjørn-Andersen
出版情報: Amsterdam ; New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  x, 229 p. ; 23 cm
所蔵情報: loading…
32.

図書
図書
32. Information processing 86 : proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986
edited by H.-J. Kugler ; programme committee, D. Bjørner ... [et al.]
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  xxxvii, 1215 p. ; 31 cm
シリーズ名: IFIP congress series ; v. 10
所蔵情報: loading…
33.

図書
図書
33. Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings (: gw ; : us)
edited by S.N. Maheshwari
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  ix, 521 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 206
所蔵情報: loading…
34.

図書
図書
34. Artificial intelligence and information-control systems of robots : proceedings of the Third International Conference on Artificial Intelligence and Information-Control Systems of Robots, Smolenice, Czechoslovakia, June 11-15, 1984 (: U.S. ; : ne)
edited by Ivan Plander
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984  xvi, 413 p. ; 23 cm
所蔵情報: loading…
35.

図書
図書
35. Impact of new computing systems on computational mechanics : presented at the Winter Annual Meeting of the American Society of Mechanical Engineers, Boston, Massachusetts, November 13-18, 1983
sponsored by the Applied Mechanics Division and the Computer Engineering Division, ASME ; edited by Ahmed K. Noor
出版情報: New York, N.Y. (345 E. 47th St., New York 10017) : ASME, c1983  v, 170 p. ; 26 cm
所蔵情報: loading…
36.

雑誌
雑誌
36. Proceedings
Symposium on Logic in Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986-  v. ; 28 cm
巻次年月次: 1st (1986)-
所蔵情報: loading…
37.

図書
図書
37. High speed computing II : 17-18 January 1989, Los Angeles, California
Keith Bromley, chair/editor ; sponsored by SPIE--the International Society for Optical Engineering ; cooperating organizations, Applied Optics Laboratory/New Mexico State University ... [et al.]
出版情報: Bellingham, Wash., USA : The Society, c1989  viii, 259 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 1058
所蔵情報: loading…
38.

図書
図書
38. MATH/CHEM/COMP 1988 : proceedings of an International Course and Conference on the Interfaces between Mathematics, Chemistry, and Computer Science, Dubrovnik, Yugoslavia, 20-25 June 1988
edited by A. Graovac
出版情報: Amsterdam ; New York : Elsevier, 1989  xv, 572 p. ; 25 cm
シリーズ名: Studies in physical and theoretical chemistry ; 63
所蔵情報: loading…
39.

図書
図書
39. Trends & applications, 1982 : advances in information technology : proceedings, May 27, 1982, National Bureau of Standards, Gaithersburg, Maryland
sponsored by IEEE Computer Society, Washington Chapter, Mideastern Area Committee, IEEE Washington Section, National Bureau of Standards, U.S. Department of Commerce
出版情報: Silver Spring, MD (1109 Spring Street, Suite 201, Silver Spring 20910) : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society , Piscataway, NJ : IEEE Service Center, c1982  v, 93 p. ; 29 cm
所蔵情報: loading…
40.

図書
図書
40. High speed computing : part of the 1988 Innovative Science and Technology Symposium : 11-12 January 1988, Los Angeles, California
David P. Casasent, chair/editor ; sponsored by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c1988  viii, 224 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 880
所蔵情報: loading…
41.

図書
図書
41. Computing and information : proceedings of the International Conference on Computing and Information, ICCI '89, Toronto, Canada, 23-27 May, 1989
edited by Ryszard Janicki, Waldemar W. Koczkodaj
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1989  xvi, 522p. ; 25 cm
所蔵情報: loading…
42.

図書
図書
42. VLSI and Computer Peripherals : VLSI and microelectronic applications in intelligebt peripherals and their interconnection networks, Hamburg, May 8-18, 1989 : proceedings (paper ; case ; microfiche)
edited by Walter E. Proebster and Hans Reiner ; sponsored by the Institute of Electrical and Electronics Engineers ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1989  1 v. (various pagings) ; 28 cm
所蔵情報: loading…
43.

図書
図書
43. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings (: gw ; : us)
A.R. Meyer, M.A. Taitslin (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 289 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 363
所蔵情報: loading…
44.

図書
図書
44. Information systems : failure analysis (: Germany ; : U.S.)
edited by John A. Wise, Anthony Debons
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xv, 338 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 32
所蔵情報: loading…
45.

図書
図書
45. Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 (pbk. ; microfiche)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xi, 383 p. ; 28 cm
所蔵情報: loading…
46.

図書
図書
46. International Symposium on New Directions in Computing, August 12-14, 1985, Norwegian Institute of Technology, Trondheim, Norway (pbk. ; hard ; microfiche)
International Symposium on New Directions in Computing ; Norges tekniske høgskole
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1985  ix, 405 p. ; 28 cm
所蔵情報: loading…
47.

図書
図書
47. CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 346 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 329
所蔵情報: loading…
48.

図書
図書
48. Informatics and education : an anthology of papers selected from IFIP TC 3 publications since the establishment of TC 3 in 1963
edited by R. Lewis and E.D. Tagg
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988  1 v. (various pagings) ; 24 cm
所蔵情報: loading…
49.

図書
図書
49. Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland (: pbk. ; : hard ; : microfiche)
sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing
出版情報: Washington, D.C. : Computer Society Press , Los Angeles, CA : Ordered from Computer Society, c1988  xi, 436 p. ; 28 cm
所蔵情報: loading…
50.

図書
図書
50. Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings (: gw ; : us)
J. van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vii, 457 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 344
所蔵情報: loading…
51.

図書
図書
51. Digest of papers : Compcon Spring 89, February 27-March 3, 1989, Thirty-fourth IEEE Computer Society International Conference, San Francisco : Intellectual leverage (: paper ; : case ; : microfiche)
Compcon ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press , Tokyo : Order from IEEE Computer Society, c1989  xiii, 596 p. ; 28 cm
所蔵情報: loading…
52.

図書
図書
52. Fundamentals of computation theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 : proceedings (: gw ; : us)
J. Csirik, J. Demetrovics, F. Gécseg (eds.)
出版情報: New York ; Tokyo : Springer-Verlag, c1989  xi, 493 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 380
所蔵情報: loading…
53.

図書
図書
53. Empirical methods of evaluation of man-machine interfaces
edited by Pranas Zunde and Jagdish C. Agrawal
出版情報: New York : Plenum Press, c1987  x, 533 p. ; 26 cm
シリーズ名: The language of science ; . Empirical foundations of information and software science ; 4
所蔵情報: loading…
54.

図書
図書
54. Empirical foundations of information and software science III
edited by Jens Rasmussen and Pranas Zunde
出版情報: New York : Plenum Press, c1987  viii, 272 p. ; 26 cm
所蔵情報: loading…
55.

図書
図書
55. Proceedings : Fourth Annual Symposium on Logic in Computer Science (paper ; case ; microfiche)
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989  xvi, 402 p. ; 28 cm
所蔵情報: loading…
56.

図書
図書
56. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings (: gw ; : us)
B. Monien, R. Cori (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  viii, 543 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 349
所蔵情報: loading…
57.

図書
図書
57. Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] (: Germany ; : U.S.)
edited by Manfred Broy
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  viii, 478 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 55
所蔵情報: loading…
58.

図書
図書
58. STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 (: gw ; : us)
sponsored by AFCET (Association Francaise pour la Cybernétique Economique et Technique) and GI (Gesellschaft für Informatik) ; edited by M. Fontet and K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 166
所蔵情報: loading…
59.

図書
図書
59. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 (: gw ; : us)
H. Ehrig ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  viii, 609 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 291
所蔵情報: loading…
60.

図書
図書
60. Proceedings of the Fourth International Conference on Symbolic and Logical Computing
edited by Eric Johnson
出版情報: Madison, S.D. (114 Beadle Hall, Dakota State University, Madison 57042-1799) : Dakota State University, 1989  vii, 390 p. ; 23 cm
所蔵情報: loading…
61.

図書
図書
61. Proceedings of the Third International Conference on Symbolic and Logical Computing
edited by Eric Johnson
出版情報: Madison, S.D. : Dakota State College, 1988  259 p. ; 23 cm
所蔵情報: loading…
62.

図書
図書
62. 12th annual southeastern symposium on system theory : May 19 and 20, 1980, Virginia Beach, Virginia
IEEE Computer Society, Old Dominion University
出版情報: New York : IEEE, 1980  395 p. ; 29 cm
所蔵情報: loading…
63.

図書
図書
63. Next decade in information technology : the 4th Jerusalem Conference on Information Technology (JCIT), May 21-25, 1984, Jerusalem, Israel (: paper ; : hard)
sponsored by Information Processing Association of Israel , IEEE Computer Society, in cooperation with Association for Computing Machinery [and] Canadian Information Processing Society
出版情報: Silver Spring, Md. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1984  xii, 720 p. ; 28 cm
所蔵情報: loading…
64.

図書
図書
64. Applied probability-computer science : the interface (v. 1 ; v. 2)
sponsored by Applied Probability Technical Section-College of the Operations Research Society of America, the Institute of Management Sciences, January 5-7, 1981, Florida Atlantic University, Boca Raton, Florida ; Ralph L. Disney, Teunis J. Ott, editors
出版情報: Boston : Birkhäuser, 1982-  2 v. ; 24 cm
シリーズ名: Progress in computer science ; no. 2-3
所蔵情報: loading…
65.

図書
図書
65. Information processing 83 : proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983
edited by R.E.A. Mason ; program committee, D.C. Tsichritzis ... [et al.]
出版情報: Amsterdam ; New York : North-Holland, 1983  xvi, 976 p. ; 31 cm
シリーズ名: IFIP congress series ; v. 9
所蔵情報: loading…
66.

図書
図書
66. Proceedings of the 1st International Conference on Machine Control Systems : 23-25 October 1984, Brighton, U.K.
edited by D.S. Ross ; MACON-1, an international event organised by IFS (Conferences) Ltd. ; sponsored by Sensor Review Magazine
出版情報: Kempston, Bedford, England : IFS (Publications) , New York, N.Y. : Elsevier Science Pub. Co., c1984  viii, 258 p. ; 31 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼