<図書>

IFIP transactions

子書誌情報を非表示

1 A . Computer science and technology ; 12 ; Information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 ; vol. 1 Algorithms, software, architecture / edited by Jan van Leeuwen Amsterdam ; Tokyo : North-Holland , 1992
2 B . Applications in technology ; 3 Human aspects in computer integrated manufacturing : proceedings of the IFIP TC5/WG5.3 eighth International PROLAMAT Conference, Man in CIM, Tokyo, Japan, 24-26 June 1992 / edited by G.J. Olling, F. Kimura Amsterdam ; New York : North-Holland , 1992
3 B . Applications in technology ; 4 Intelligent computer aided design : proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 September 1991-3 October 1991 / edited by David C. Brown, M.B. Waldron, Hiroyuki Yoshikawa Amsterdam ; New York : North-Holland , 1992
4 A . Computer science and technology ; 13 ; Information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 ; vol. 2 Education and society / edited by Robert M. Aiken Amsterdam ; Tokyo : North-Holland , 1992
5 A . Computer science and technology ; 14 ; Information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 ; vol. 3 Personal computers and intelligent systems / edited by Friedrich H. Vogt Amsterdam ; New York : North-Holland , 1992
6 A . Computer science and technology ; 20 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 Amsterdam ; New York : North-Holland , 1993
7 C . Communication systems ; 9 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 Amsterdam ; New York : North-Holland , 1993
8 C . Communication systems ; 14 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 Amsterdam ; New York : North-Holland , 1993
9 C . Communication systems ; 8 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 Amsterdam ; New York : North-Holland , 1992
10 A . Computer science and technology ; 32 Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993 / sponsored by IFIP WG 10.2 and in cooperation with IEEE COMPSOC ; edited by David Agnew, Luc Claesen, Raul Camposano Amsterdam : North-Holland , 1993
11 C . Communication systems ; 16 Protocol specification, testing, and verification, XIII : proceedings of the IFIP TC 6/WG 6.1 Thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liège, Belgium, 25-28 May, 1993 / edited by A. Danthine, G. Leduc, P. Wolper Amsterdam ; New York : North-Holland , 1993
12 C, Communication systems, C-21 High speed networks and their performance : proceedings of the IFIP TC6 Task Force/WG6.4 Fifth International Conference on Data Communication Systems and their Performance, Raleigh, NC, USA, 26-28 October, 1993 / edited by Harry G. Perros, Yannis Viniotis Amsterdam ; New York : North-Holland , 1994
13 B . Applications in technology ; 14 Information infrastructure systems for manufacturing : proceedings of the JSPE/IFIP TC5/WG5.3 Workshop on the Design of Information Infrastructure Systems for Manufacturing, DIISM '93, Tokyo, Japan, 8-10 November 1993 / edited by H. Yoshikawa, J. Goossenaerts Amsterdam ; New York : North-Holland , 1993
14 B . Applications in technology ; 17 Towards world class manufacturing 1993 : proceedings of the IFIP TC5/WG5.3 Conference on Towards World Class Manufacturing 1993, Litchfield Park, Arizona, USA, 12-16 September, 1993 / edited by Michael J. Wozny, Gustav Olling Amsterdam ; New York : North-Holland , 1994
15 A . Computer science and technology ; 51 . Information Processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August-2 September, 1994 ; v. 1 Technology and foundations / edited by Bjørn Pehrson, Imre Simon Amsterdam ; Tokyo : North-Holland , 1994
16 B . Applications in technology ; 18 Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994 / edited by John S. Gero, Enn Tyugu Amsterdam ; New York : Elsevier , 1994
17 A . Computer science and technology ; 52 . Information Processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August-2 September, 1994 ; v. 2 Applications and impacts / edited by Klaus Brunnstein, Eckart Raubold Amsterdam ; Tokyo : North-Holland , 1994
18 A . Computer science and technology ; 53 . Information Processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August-2 September, 1994 ; v. 3 Linkage and developing countries / edited by Karen Duncan, Karl Krueger Amsterdam ; Tokyo : North-Holland , 1994
19 . C, Communication systems ; 17 Advanced information processing techniques for LAN and MAN management : proceedings of the IFIP TC6/WG6.4 International Conference on Advanced Information Processing Techniques for LAN and MAN Management, Versailles, France, 7-9 April, 1993 / edited by J.-P. Claudé Amsterdam ; New York : North-Holland , 1994
20 A . Computer science and technology ; 54 Business process re-engineering : information systems opportunities and challenges : proceedings of the IFIP TC8 Open Conference on Business Process Re-engineering: Information Systems Opportunities and Challenges, Queensland Gold Coast, Australia, 8-11 May, 1994 / edited by Bernard C. Glasson ... [et al.] Amsterdam ; New York : Elsevier , 1994
21 A . Computer science and technology ; 24 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 Amsterdam ; New York : North-Holland , 1993
22 A . Computer science and technology ; 45 Diffusion, transfer, and implementation of information technology : proceedings of the IFIP TC8 Working Conference on Diffusion, Transfer, and Implementation of Information Technology, Pittsburgh, PA, U.S.A., 11-13 October 1993 / edited by Linda Levine Amsterdam ; New York : North-Holland , 1994
23 A . Computer science and technology ; 18 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 Amsterdam ; New York : North-Holland , 1992

書誌詳細を非表示

出版者 Amsterdam ; New York : North-Holland
本文言語 英語
書誌ID 2000252637
NCID BA13962399 WCLINK

ページトップ