Author(s)
Bibliographic Information
IFIP transactions
North-Holland
Search this Book/Journal
-
61
- 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
Available at 11 libraries
-
62
- 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
Available at 11 libraries
-
63
- 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
Available at 20 libraries
-
64
- 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
Available at 11 libraries
-
65
- 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
Available at 19 libraries
-
66
- 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
Available at 9 libraries
-
67
- 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
Available at 3 libraries
-
68
- 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
Available at 3 libraries
-
69
- 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
Available at 3 libraries
-
70
- 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
Available at 6 libraries
-
71
- 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
Available at 11 libraries
-
72
- 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
Available at 19 libraries
-
73
- 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
Available at 7 libraries
-
74
- 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
Available at 16 libraries
-
75
- 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
Available at 15 libraries
-
76
- 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
Available at 14 libraries
-
77
- 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
Available at 12 libraries
-
78
- 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
Available at 11 libraries
-
79
- Manufacturing in the era of concurrent engineering : revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzlya, Israel, 13-15 April, 1992
-
edited by Gideon Halevi, Roland D. Weill
North-Holland 1992 IFIP transactions B . Applications in technology ; 6
Available at 8 libraries
-
80
- Professional development of information technology professionals : proceedings of the IFIP WG 3.4 Working Conference on Professional Development of Information Technology Professionals, Singapore, 13-17 July 1992
-
edited by B.Z. Barta, A. Goh, L. Lim
North-Holland 1992 IFIP transactions A . Computer science and technology ; 17
Available at 9 libraries