IFIP transactions

• 関連文献: 109件

IFIP transactions

North-Holland

• WorldCat

関連文献: 109件中  61-80を表示

• 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館

• 1
• 2
• 3
• 4
• 5
• 6
• 4 / 6