図書

IFIP transactions

Icons representing 図書

IFIP transactions

Material type
図書
Author
-
Publisher
North-Holland
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Related materials as well as pre- and post-revision versions

Broadband communications : proceedings of the IFIP TC6 Workshop on Broadband Communications, Estoril, Portugal, 20-22 January 1992Leave the NDL website. Computer applications in the automation of shipyard operation and ship design, VII : proceedings of the IFIP TC5/WG 5.6 Seventh International Conference on Computer Applications in the Automation of Shipyard Operation and Ship Design, VII, Rio de Janeiro, Brazil, 10-13 September, 1991Leave the NDL website. Teleteaching : proceedings of the IFIP TC3 Third Teleteaching Conference, TeleTeaching 93, Trondheim, Norway, 20-25 August 1993Leave the NDL website. Innovative adult learning with innovative technologiesLeave the NDL website. Geometric modeling for product realization : selected and expanded papers from the IFIP TC5/WG5.2 Working Conference on Geometric Medeling, Rensselaerville, NY, U.S.A., 27 September-1 October 1992Leave the NDL website. Exploring a new partnership : children, teachers, and technology : proceedings of the IFIP WG3.5 International Working Conference on Exploring a New Partnership, Children, Teachers, and Technology, Philadelphia, PA, U.S.A., 27 June-1 July 1994Leave the NDL website. 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 1992Leave the NDL website. Master indexes : authors and keywords : A-20 through A-40, B-9 through B-14, C-9 through C-16Leave the NDL website. Computer security : proceedings of the IFIP TC11 Ninth International Conference on Information Security, IFIP/Sec '93, Toronto, Canada, 12-14 May, 1993Leave the NDL website. "One-of-a-kind" production : new approaches : proceedings of the IFIP TC5/WG5.7 Working Conference on New Approaches towards "One-of-a-Kind" Production, Bremen, Germany, 12-14 November 1991Leave the NDL website. 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, 1992Leave the NDL website. Software engineering education : proceedings of the IFIP WG3.4/SEARCC(SRIG on Education and Training) Working Conference, Hong Kong, 28 September-2 October 1993Leave the NDL website. Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993Leave the NDL website. 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 '92Leave the NDL website. High performance networking, IV : proceedings of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking, Liège, Belgium, 14-18 December, 1992Leave the NDL website. Computer mediated education of information technology professionals and advanced end-users : proceedings of the IFIP WG3.4 Working Conference on Computer Mediated Education of Information Technology Professionals and Advanced End-Users, Soest, Germany, 12-16 July 1993Leave the NDL website. The impact of computer supported technologies on information systems development : proceedings of the IFIP WG 8.2 Working Conference on the Impact of Computer Supported Technologies on Information Systems Development, Minneapolis, Minnesota, USA, 14-17 June 1992Leave the NDL website. Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993Leave the NDL website. Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992Leave the NDL website. Personal computers and intelligent systemsLeave the NDL website. Information system development process : proceedings of the IFIP WG8.1 Working Conference on Information System Development Process, Como, Italy, 1-3 September, 1993Leave the NDL website. Visual database systems, II : proceedings of the IFIP TC 2/WG2.6 Second Working Conference on Visual Database Systems, Budapest, Hungary, 30 September-3 October, 1991Leave the NDL website. Applications in parallel and distributed computing : proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994Leave the NDL website. Applications and impactsLeave the NDL website. 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 1992Leave the NDL website. Linkage and developing countriesLeave the NDL website. Technology and foundationsLeave the NDL website. Database security, VII : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Lake Guntersville, Alabama, U.S.A., 12-15 September, 1993Leave the NDL website. 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 1993Leave the NDL website. Decision support systems : experiences and expectations : proceeding of the IFIP TC/WG8.3 Working Conference on Decision Support Systems : Experiences and Expectations, Fontainebleau, France, 30 June-3 July 1992Leave the NDL website. 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 1992Leave the NDL website. Asynchronous design methodologies : proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March-2 April, 1993Leave the NDL website. Information system concepts : improving the understanding : proceedings of the IFIP TC8/WG 8.1 Working Conference on Information System Concepts : improving the understanding, Alexandria, Egypt, 13-15 April, 1992Leave the NDL website. 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, 1992Leave the NDL website. Upper layer protocols, architectures and applications : proceedings of the IFIP TC6/WG6.5 International Conference on Upper Layer Protocols, Architectures, and Applications, Barcelona, Spain, 1-3 June, 1994Leave the NDL website. NetWORKing : connecting workers in and between organizations : proceedings of the IFIP WG9.1 Working Conference on NetWORKing, Vienna, Austria, 16-18 June 1993Leave the NDL website. Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992Leave the NDL website. Modelling and performance evaluation of ATM technology : proceedings of the IFIP TC6 Task Group/WG6.4 International Workshop on Performance of Communication Systems, Martinique, French Caribbean Island, January 25-27, 1993Leave the NDL website. Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992Leave the NDL website. Integrated broadband communication networks and services : proceedings of the IFIP TC 6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993Leave the NDL website. High performance networking, V : proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June-1 July, 1994Leave the NDL website. Database security, VI : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August, 1992Leave the NDL website. Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992Leave the NDL website. 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, 1993Leave the NDL website. Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992Leave the NDL website. Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991Leave the NDL website. Local area network applications : leveraging the LAN : proceedings of the IFIP TC8/WG8.4 Working Conference on the Open Systems Future: Leveraging the LAN, Perth, Western Australia, 29 August-2 September 1993Leave the NDL website. Open distributed processing : proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991Leave the NDL website. IT security : the need for international cooperation : proceedings of the IFIP TC11 Eighth International Conference on Information Security, IFIP/Sec '92, Singapore, 27-29 May 1992Leave the NDL website. 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 1992Leave the NDL website. 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, 1993Leave the NDL website. 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 1993Leave the NDL website. Managing information technology's organisational impact, II : proceedings of the IFIP TC9 Conference on Managing Information Technology's Organisational Impact, II, Adelaide, Australia, 7-8 October, 1991Leave the NDL website. Parallel architectures and compilation techniques : proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT '94, Montréal, Canada, 24-26 August, 1994Leave the NDL website. Education and societyLeave the NDL website. Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994Leave the NDL website. Broadband communications, II : proceedings of the IFIP TC6 Second International Conference on Broadband Communications, Paris, France, 2-4 March, 1994Leave the NDL website. 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, 1992Leave the NDL website. Reliability and optimization of structural systems, V : proceedings of the IFIP WG 7.5 Fifth Conference on Reliability and Optimization of Structural Systems, Takamatsu, Kagawa, Japan, 24-26 March, 1993Leave the NDL website. Transforming organizations with information technology : proceedings of the IFIP WG8.2 Working Conference on Information Technology and New Emergent Forms of Organizations, Ann Arbor, Michigan, USA, 11-13 August, 1994Leave the NDL website. 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, 1992Leave the NDL website. Graphics, design, and visualization : proceedings of the IFIP TC5/WG5.2/WG5.10 CSI International Conference on Computer Graphics--ICCG93, Bombay, India, 24-26 February 1993Leave the NDL website. 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 1991Leave the NDL website. 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, 1994Leave the NDL website. 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, 1993Leave the NDL website. Production management methods : proceedings of the IFIP WG5.7 Working Conference on Evaluation of Production Management Methods, Gramado, Brazil, 21-24 March, 1994Leave the NDL website. Interactive multimedia in university education : designing for change in teaching and learning : proceedings of the IFIP TC3/WG3.2 Working Conference on the Design, Implementation, and Evaluation of Interactive Multimedia in University Settings, Melbourne, Victoria, Australia, 6-8 July 1994Leave the NDL website. Programming environments for parallel computing : proceedings of the IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, Scotland, 6-8 April, 1992Leave the NDL website. Database security, V : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Shepherdstown, West Virginia, USA, 4-7 November, 1991Leave the NDL website. Programming environments for high-level scientific problem solving : proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September 1991Leave the NDL website. Lessons from learning : proceedings of the IFIP TC3/WG3.3 Working Conference on Lessons from Learning, Archamps, France, 6-8 September 1993Leave the NDL website. Algorithms, software, architectureLeave the NDL website. VLSI 93 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Grenoble, France, 7-10 September 1993Leave the NDL website. Advances in production management systems : proceedings of the IFIP TC5/WG5.7 Fifth International Conference on Advances in Production Management Systems, APMS'93, Athens, Greece, 28-30 September 1993Leave the NDL website. Methods and associated tools for the information systems life cycle : proceedings of the IFIP WG8.1 Working Conference on Methods and Associated Tools for the Information Systems Life Cycle, Maastricht, the Netherlands, 26-28 September, 1994Leave the NDL website. VLSI 91 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991Leave the NDL website. Information technology for advanced manufacturing systems : proceedings of the IFIP TC5/WG5.3 International Conference on Information Technology for Advanced Manufacturing Systems, Nanjing, Jiangsu, P.R. China, 17-19 September 1991Leave the NDL website. Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991Leave the NDL website. 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, 1993Leave the NDL website. Fractals in the natural and applied sciences : proceedings of the Second IFIP Working Conference on Fractals in the Natural and Applied Sciences, London, U.K., 7-10 September, 1993Leave the NDL website. Information networks and data communication : proceedings of the IFIP TC6 International Conference on Information Networks and Data Communication, Funchal, Madeira Island, Portugal, 18-21 April, 1994Leave the NDL website. Women, work, and computerization : breaking old boundaries - building new forms : proceedings of the IFIP TC9/WG 9.1 Fifth International Conference on Women, Work, and Computerization: breaking old boundaries - building new forms, Manchester, U.K., 2-5 July, 1994Leave the NDL website. Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994Leave the NDL website. 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 1992Leave the NDL website. Decentralized and distributed systems : proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993Leave the NDL website. Computer support for environmental impact assessment : proceedings of the IFIP TC5/WG5.11 Working Conference on Computer Support for Environmental Impact Assessment, CSEIA 93, Como, Italy, 6-8 October, 1993Leave the NDL website. Knowledge based hybrid systems : proceedings of the IFIP TC5/WG5.3/IFAC International Working Conference on Knowledge Based Hybrid Systems in Engineering and Manufacturing, KNOWHSEM '93, Budapest, Hungary, 20-22 April 1993Leave the NDL website. Systems engineering in public administration : proceedings of the IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration, Lüneburg, Germany, 3-5 March 1993Leave the NDL website. Informatics and changes in learning : proceedings of the IFIP TC3/WG3.1./WG3.5 Open Conference on Informatics and Changes in Learning, Gmunden, Austria, 7-11 June, 1993Leave the NDL website. Database security, VIII : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Bad Salzdetfurth, Germany, 23-26 August 1994Leave the NDL website. Security and control of information technology in society : proceedings of the IFIP TC9/WG9.6 Working Conference on Security and Control of Information Technology in Society on board M/S Ilich and ashore at St. Peterburg, Russia, 12-17 August 1993Leave the NDL website. Facing the challenge of risk and vulnerability in an information society : proceedings of the IFIP WG9.2 Working Conference on Facing the Challenge of Risk and Vulnerability in an Information Society, Namur, Belgium, 20-22, 1993Leave the NDL website. University education uses of visualization in scientific computing : proceedings of the IFIP WG 3.2 Working Conference on Visualization in Scientific Computing, Uses in University Education, Irvine, CA, USA, 28-30 July, 1993Leave the NDL website. 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, 1993Leave the NDL website. 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, 1993Leave the NDL website. 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, 1993Leave the NDL website. Performance of distributed systems and integrated communication networks : proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991Leave the NDL website. 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, 1993Leave the NDL website. Knowledge-based reactive scheduling : proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993Leave the NDL website. 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, 1992Leave the NDL website. Synthesis for control dominated circuits : selected papers from the IFIP WG10.2/WG10.5 workshops, Grenoble, France, April and September 1992Leave the NDL website. 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 1993Leave the NDL website. Electronic design automation frameworks : when will the promise be realized? : proceedings of the Third IFIP WG 10.2/WG 10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6, Bad Lippspringe, Germany, 23-25 March, 1992Leave the NDL website. 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, 1992Leave the NDL website. Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993Leave the NDL website. Information network and data communication IV : proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV, Espoo, Finland, 16-19 March 1992Leave the NDL website. 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, 1993Leave the NDL website.

Search by Bookstore

Table of Contents

  • Broadband communications : proceedings of the IFIP TC6 Workshop on Broadband Communications, Estoril, Portugal, 20-22 January 1992

  • Computer applications in the automation of shipyard operation and ship design, VII : proceedings of the IFIP TC5/WG 5.6 Seventh International Conference on Computer Applications in the Automation of Shipyard Operation and Ship Design, VII, Rio de Janeiro, Brazil, 10-13 September, 1991

  • Teleteaching : proceedings of the IFIP TC3 Third Teleteaching Conference, TeleTeaching 93, Trondheim, Norway, 20-25 August 1993

  • Innovative adult learning with innovative technologies

  • Geometric modeling for product realization : selected and expanded papers from the IFIP TC5/WG5.2 Working Conference on Geometric Medeling, Rensselaerville, NY, U.S.A., 27 September-1 October 1992

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Publication, Distribution, etc.
Place of Publication (Country Code)
ne
Text Language Code
en
Target Audience
一般
Related Material
Broadband communications : proceedings of the IFIP TC6 Workshop on Broadband Communications, Estoril, Portugal, 20-22 January 1992
Computer applications in the automation of shipyard operation and ship design, VII : proceedings of the IFIP TC5/WG 5.6 Seventh International Conference on Computer Applications in the Automation of Shipyard Operation and Ship Design, VII, Rio de Janeiro, Brazil, 10-13 September, 1991
Teleteaching : proceedings of the IFIP TC3 Third Teleteaching Conference, TeleTeaching 93, Trondheim, Norway, 20-25 August 1993
Innovative adult learning with innovative technologies
Geometric modeling for product realization : selected and expanded papers from the IFIP TC5/WG5.2 Working Conference on Geometric Medeling, Rensselaerville, NY, U.S.A., 27 September-1 October 1992
Exploring a new partnership : children, teachers, and technology : proceedings of the IFIP WG3.5 International Working Conference on Exploring a New Partnership, Children, Teachers, and Technology, Philadelphia, PA, U.S.A., 27 June-1 July 1994
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
Master indexes : authors and keywords : A-20 through A-40, B-9 through B-14, C-9 through C-16
Computer security : proceedings of the IFIP TC11 Ninth International Conference on Information Security, IFIP/Sec '93, Toronto, Canada, 12-14 May, 1993
"One-of-a-kind" production : new approaches : proceedings of the IFIP TC5/WG5.7 Working Conference on New Approaches towards "One-of-a-Kind" Production, Bremen, Germany, 12-14 November 1991
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
Software engineering education : proceedings of the IFIP WG3.4/SEARCC(SRIG on Education and Training) Working Conference, Hong Kong, 28 September-2 October 1993
Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993
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
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
Computer mediated education of information technology professionals and advanced end-users : proceedings of the IFIP WG3.4 Working Conference on Computer Mediated Education of Information Technology Professionals and Advanced End-Users, Soest, Germany, 12-16 July 1993
The impact of computer supported technologies on information systems development : proceedings of the IFIP WG 8.2 Working Conference on the Impact of Computer Supported Technologies on Information Systems Development, Minneapolis, Minnesota, USA, 14-17 June 1992
Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992
Personal computers and intelligent systems
Information system development process : proceedings of the IFIP WG8.1 Working Conference on Information System Development Process, Como, Italy, 1-3 September, 1993
Visual database systems, II : proceedings of the IFIP TC 2/WG2.6 Second Working Conference on Visual Database Systems, Budapest, Hungary, 30 September-3 October, 1991
Applications in parallel and distributed computing : proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994
Applications and impacts
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
Linkage and developing countries
Technology and foundations
Database security, VII : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Lake Guntersville, Alabama, U.S.A., 12-15 September, 1993
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
Decision support systems : experiences and expectations : proceeding of the IFIP TC/WG8.3 Working Conference on Decision Support Systems : Experiences and Expectations, Fontainebleau, France, 30 June-3 July 1992
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
Asynchronous design methodologies : proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March-2 April, 1993
Information system concepts : improving the understanding : proceedings of the IFIP TC8/WG 8.1 Working Conference on Information System Concepts : improving the understanding, Alexandria, Egypt, 13-15 April, 1992
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
Upper layer protocols, architectures and applications : proceedings of the IFIP TC6/WG6.5 International Conference on Upper Layer Protocols, Architectures, and Applications, Barcelona, Spain, 1-3 June, 1994
NetWORKing : connecting workers in and between organizations : proceedings of the IFIP WG9.1 Working Conference on NetWORKing, Vienna, Austria, 16-18 June 1993
Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
Modelling and performance evaluation of ATM technology : proceedings of the IFIP TC6 Task Group/WG6.4 International Workshop on Performance of Communication Systems, Martinique, French Caribbean Island, January 25-27, 1993
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
Integrated broadband communication networks and services : proceedings of the IFIP TC 6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993
High performance networking, V : proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June-1 July, 1994
Database security, VI : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August, 1992
Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
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
Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
Local area network applications : leveraging the LAN : proceedings of the IFIP TC8/WG8.4 Working Conference on the Open Systems Future: Leveraging the LAN, Perth, Western Australia, 29 August-2 September 1993
Open distributed processing : proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991
IT security : the need for international cooperation : proceedings of the IFIP TC11 Eighth International Conference on Information Security, IFIP/Sec '92, Singapore, 27-29 May 1992
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
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
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
Managing information technology's organisational impact, II : proceedings of the IFIP TC9 Conference on Managing Information Technology's Organisational Impact, II, Adelaide, Australia, 7-8 October, 1991
Parallel architectures and compilation techniques : proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT '94, Montréal, Canada, 24-26 August, 1994
Education and society
Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994
Broadband communications, II : proceedings of the IFIP TC6 Second International Conference on Broadband Communications, Paris, France, 2-4 March, 1994
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
Reliability and optimization of structural systems, V : proceedings of the IFIP WG 7.5 Fifth Conference on Reliability and Optimization of Structural Systems, Takamatsu, Kagawa, Japan, 24-26 March, 1993
Transforming organizations with information technology : proceedings of the IFIP WG8.2 Working Conference on Information Technology and New Emergent Forms of Organizations, Ann Arbor, Michigan, USA, 11-13 August, 1994
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
Graphics, design, and visualization : proceedings of the IFIP TC5/WG5.2/WG5.10 CSI International Conference on Computer Graphics--ICCG93, Bombay, India, 24-26 February 1993
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
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
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
Production management methods : proceedings of the IFIP WG5.7 Working Conference on Evaluation of Production Management Methods, Gramado, Brazil, 21-24 March, 1994
Interactive multimedia in university education : designing for change in teaching and learning : proceedings of the IFIP TC3/WG3.2 Working Conference on the Design, Implementation, and Evaluation of Interactive Multimedia in University Settings, Melbourne, Victoria, Australia, 6-8 July 1994
Programming environments for parallel computing : proceedings of the IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, Scotland, 6-8 April, 1992
Database security, V : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Shepherdstown, West Virginia, USA, 4-7 November, 1991
Programming environments for high-level scientific problem solving : proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September 1991
Lessons from learning : proceedings of the IFIP TC3/WG3.3 Working Conference on Lessons from Learning, Archamps, France, 6-8 September 1993
Algorithms, software, architecture
VLSI 93 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Grenoble, France, 7-10 September 1993
Advances in production management systems : proceedings of the IFIP TC5/WG5.7 Fifth International Conference on Advances in Production Management Systems, APMS'93, Athens, Greece, 28-30 September 1993
Methods and associated tools for the information systems life cycle : proceedings of the IFIP WG8.1 Working Conference on Methods and Associated Tools for the Information Systems Life Cycle, Maastricht, the Netherlands, 26-28 September, 1994
VLSI 91 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991
Information technology for advanced manufacturing systems : proceedings of the IFIP TC5/WG5.3 International Conference on Information Technology for Advanced Manufacturing Systems, Nanjing, Jiangsu, P.R. China, 17-19 September 1991
Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991
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
Fractals in the natural and applied sciences : proceedings of the Second IFIP Working Conference on Fractals in the Natural and Applied Sciences, London, U.K., 7-10 September, 1993
Information networks and data communication : proceedings of the IFIP TC6 International Conference on Information Networks and Data Communication, Funchal, Madeira Island, Portugal, 18-21 April, 1994
Women, work, and computerization : breaking old boundaries - building new forms : proceedings of the IFIP TC9/WG 9.1 Fifth International Conference on Women, Work, and Computerization: breaking old boundaries - building new forms, Manchester, U.K., 2-5 July, 1994
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
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
Decentralized and distributed systems : proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993
Computer support for environmental impact assessment : proceedings of the IFIP TC5/WG5.11 Working Conference on Computer Support for Environmental Impact Assessment, CSEIA 93, Como, Italy, 6-8 October, 1993
Knowledge based hybrid systems : proceedings of the IFIP TC5/WG5.3/IFAC International Working Conference on Knowledge Based Hybrid Systems in Engineering and Manufacturing, KNOWHSEM '93, Budapest, Hungary, 20-22 April 1993
Systems engineering in public administration : proceedings of the IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration, Lüneburg, Germany, 3-5 March 1993
Informatics and changes in learning : proceedings of the IFIP TC3/WG3.1./WG3.5 Open Conference on Informatics and Changes in Learning, Gmunden, Austria, 7-11 June, 1993
Database security, VIII : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Bad Salzdetfurth, Germany, 23-26 August 1994
Security and control of information technology in society : proceedings of the IFIP TC9/WG9.6 Working Conference on Security and Control of Information Technology in Society on board M/S Ilich and ashore at St. Peterburg, Russia, 12-17 August 1993
Facing the challenge of risk and vulnerability in an information society : proceedings of the IFIP WG9.2 Working Conference on Facing the Challenge of Risk and Vulnerability in an Information Society, Namur, Belgium, 20-22, 1993
University education uses of visualization in scientific computing : proceedings of the IFIP WG 3.2 Working Conference on Visualization in Scientific Computing, Uses in University Education, Irvine, CA, USA, 28-30 July, 1993
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
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
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
Performance of distributed systems and integrated communication networks : proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991
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
Knowledge-based reactive scheduling : proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993
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
Synthesis for control dominated circuits : selected papers from the IFIP WG10.2/WG10.5 workshops, Grenoble, France, April and September 1992
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
Electronic design automation frameworks : when will the promise be realized? : proceedings of the Third IFIP WG 10.2/WG 10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6, Bad Lippspringe, Germany, 23-25 March, 1992
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
Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993
Information network and data communication IV : proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV, Espoo, Finland, 16-19 March 1992
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
Data Provider (Database)
国立情報学研究所 : CiNii Research
Original Data Provider (Database)
CiNii Books