著者
書誌事項
IFIP transactions
North-Holland
この図書・雑誌をさがす
-
61
- Interfaces in industrial systems for production and engineering : proceedings of the IFIP TC5/WG5.10 Working Conference on Interfaces in Industrial Systems for Production and Engineering, Darmstadt, Germany, 15-17 March, 1993
-
edited by J. Rix, E.G. Schlechtendahl
North-Holland 1993 IFIP transactions B . Applications in technology ; 10
所蔵館6館
-
62
- High performance networking, IV : proceedings of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking, Liège, Belgium, 14-18 December, 1992
-
edited by A. Danthine, O. Spaniol
North-Holland 1993 IFIP transactions C . Communication systems ; 14
所蔵館11館
-
63
- Computer networks, architecture and applications : proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture and Applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992
-
edited by S.V. Raghavan, G.v. Bochmann, G. Pujolle
North-Holland 1993 IFIP transactions C . Communication systems ; 13
所蔵館11館
-
64
- Decision support in public administration : proceedings of the IFIP TC8/WG8.3 Working Conference on Decision Support in Public Administration, Noordwijkerhout, The Netherlands, 13-14 May, 1993
-
edited by P.W.G. Bots, H.G. Sol, R. Traunmüller
North-Holland 1993 IFIP transactions A . Computer science and technology ; 26
所蔵館20館
-
65
- Interoperable database systems (DS-5) : proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992
-
edited by David K. Hsiao, Erich J. Neuhold, Ron Sacks-Davis
North-Holland 1993 IFIP transactions A . Computer science and technology ; 25
所蔵館11館
-
66
- Human, organizational, and social dimensions of information systems development : proceedings of the IFIP WG 8.2 Working Group, Information Systems Development: Human, Social, and Organizational Aspects, Noordwijkerhout, The Netherlands, 17-19 May, 1993
-
edited by David Avison, Julie E. Kendall, Janice I. DeGross
North-Holland 1993 IFIP transactions A . Computer science and technology ; 24
所蔵館19館
-
67
- Architectures and compilation techniques for fine and medium grain parallelism : proceedings of the IFIP WG 10.3 Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, Orlando, Florida, USA, 20-22 January 1993
-
edited by Michel Cosnard, Kemal Ebcioglu, Jean-Luc Gaudiot
North-Holland 1993 IFIP transactions A . Computer science and technology ; 23
所蔵館9館
-
68
- Synthesis for control dominated circuits : selected papers from the IFIP WG10.2/WG10.5 workshops, Grenoble, France, April and September 1992
-
edited by Gabrièle Saucier, Jacques Trilhe
North-Holland 1993 IFIP transactions A . Computer science and technology ; 22
所蔵館3館
-
69
- Database security, VI : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August, 1992
-
edited by Bhavani M. Thuraisingham, Carl E. Landwehr
North-Holland 1993 IFIP transactions A . Computer science and technology ; 21
所蔵館3館
-
70
- Integrated network management, III : proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management : with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services, San Francisco, California, USA, 18-23 April, 1993
-
edited by Heinz-Gerd Hegering, Yechiam Yemini
North-Holland 1993 IFIP transactions C . Communication systems ; 12
所蔵館3館
-
71
- Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992
-
edited by G. v. Bochmann, R. Dssouli, A. Das
North-Holland 1993 IFIP transactions C . Communication systems ; 11
所蔵館6館
-
72
- Protocols for high-speed networks, III : proceedings of the IFIP WG6.1/WG6.4 Third International Workshop on Protocols for High-Speed Networks, Stockholm, Sweden, 13-15 May, 1992
-
edited by B. Pehrson, P. Gunningberg, S. Pink
North-Holland 1993 IFIP transactions C . Communication systems ; 9
所蔵館11館
-
73
- Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
-
organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
North-Holland 1993 IFIP transactions A . Computer science and technology ; 20
所蔵館19館
-
74
- Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
-
edited by Michel Diaz, Roland Groz
North-Holland 1993 IFIP transactions C . Communication systems ; 10
所蔵館7館
-
75
- Master indexes : authors & keywords : A-1 through A-19, B-1 through B-8, C-1 through C-8
-
North-Holland 1992 IFIP transactions
所蔵館1館
-
76
- Integration in production management systems : proceedings of the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, Eindhoven, The Netherlands, 24-27 August 1992
-
edited by H.J.Pels, J.C. Wortmann
North-Holland 1992 IFIP transactions B . Applications in technology ; 7
所蔵館16館
-
77
- Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
-
edited by Z. Shi
North-Holland 1992 IFIP transactions A . Computer science and technology ; 19
所蔵館15館
-
78
- Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction, Ellivuori, Finland, 10-14 August 1992
-
edited by J. Larson, C. Unger
North-Holland 1992 IFIP transactions A . Computer science and technology ; 18
所蔵館14館
-
79
- Protocol specification, testing, and verification, XII : proceedings of the IFIP TC 6/WG 6.1, twelth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
-
edited by R.J. Linn, Jr., M.Ü. Uyar
North-Holland 1992 IFIP transactions C . Communication systems ; 8
所蔵館12館
-
80
- Upper layer protocols, architectures and applications : proceedings of the IFIP TC/WG6.5 International Conference on Upper Layer Protocols, Architectures, and Applications, Vancouver, B.C., Canada, 27-29 May, 1992
-
edited by Gerald Neufeld, Bernhard Plattner
North-Holland 1992 IFIP transactions C . Communication systems ; 7
所蔵館11館
