Search by Bookstore
Table of Contents
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 ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
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.
- Material Type
- 図書
- Title
- 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 1992Computer 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, 1991Teleteaching : proceedings of the IFIP TC3 Third Teleteaching Conference, TeleTeaching 93, Trondheim, Norway, 20-25 August 1993Innovative adult learning with innovative technologiesGeometric 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 1992Exploring 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 1994Integration 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 1992Master indexes : authors and keywords : A-20 through A-40, B-9 through B-14, C-9 through C-16Computer 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 1991Interoperable 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, 1992Software engineering education : proceedings of the IFIP WG3.4/SEARCC(SRIG on Education and Training) Working Conference, Hong Kong, 28 September-2 October 1993Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993Higher 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 '92High performance networking, IV : proceedings of the IFIP TC6/WG6.4 Fourth International Conference on High Performance Networking, Liège, Belgium, 14-18 December, 1992Computer 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 1993The 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 1992Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993Theorem 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 1992Personal computers and intelligent systemsInformation system development process : proceedings of the IFIP WG8.1 Working Conference on Information System Development Process, Como, Italy, 1-3 September, 1993Visual database systems, II : proceedings of the IFIP TC 2/WG2.6 Second Working Conference on Visual Database Systems, Budapest, Hungary, 30 September-3 October, 1991Applications 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, 1994Applications and impactsEngineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction, Ellivuori, Finland, 10-14 August 1992Linkage and developing countriesTechnology and foundationsDatabase 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, 1993Diffusion, 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 1993Decision 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 1992Professional 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 1992Asynchronous design methodologies : proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March-2 April, 1993Information 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, 1992Protocols 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, 1992Upper 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, 1994NetWORKing : connecting workers in and between organizations : proceedings of the IFIP WG9.1 Working Conference on NetWORKing, Vienna, Austria, 16-18 June 1993Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992Modelling 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, 1993Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992Integrated 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, 1993High performance networking, V : proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June-1 July, 1994Database security, VI : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August, 1992Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992Human, 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, 1993Knowledge 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, 1992Formal 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 1991Local 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 1993Open distributed processing : proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991IT security : the need for international cooperation : proceedings of the IFIP TC11 Eighth International Conference on Information Security, IFIP/Sec '92, Singapore, 27-29 May 1992Formal 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 1992Computer 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, 1993Information 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 1993Managing 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, 1991Parallel 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, 1994Education and societyProgramming 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 1994Broadband communications, II : proceedings of the IFIP TC6 Second International Conference on Broadband Communications, Paris, France, 2-4 March, 1994Protocol 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, 1992Reliability 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, 1993Transforming 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, 1994Computer networks, architecture and applications : proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture and Applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992Graphics, design, and visualization : proceedings of the IFIP TC5/WG5.2/WG5.10 CSI International Conference on Computer Graphics--ICCG93, Bombay, India, 24-26 February 1993Intelligent 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 1991Business 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, 1994Advanced 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, 1993Production management methods : proceedings of the IFIP WG5.7 Working Conference on Evaluation of Production Management Methods, Gramado, Brazil, 21-24 March, 1994Interactive 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 1994Programming environments for parallel computing : proceedings of the IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, Scotland, 6-8 April, 1992Database security, V : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Shepherdstown, West Virginia, USA, 4-7 November, 1991Programming 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 1991Lessons from learning : proceedings of the IFIP TC3/WG3.3 Working Conference on Lessons from Learning, Archamps, France, 6-8 September 1993Algorithms, software, architectureVLSI 93 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Grenoble, France, 7-10 September 1993Advances 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 1993Methods 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, 1994VLSI 91 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991Information 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 1991Protocol 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, 1991Interfaces 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, 1993Fractals 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, 1993Information networks and data communication : proceedings of the IFIP TC6 International Conference on Information Networks and Data Communication, Funchal, Madeira Island, Portugal, 18-21 April, 1994Women, 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, 1994Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994Human aspects in computer integrated manufacturing : proceedings of the IFIP TC5/WG5.3 eighth International PROLAMAT Conference, Man in CIM, Tokyo, Japan, 24-26 June 1992Decentralized and distributed systems : proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993Computer 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, 1993Knowledge 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 1993Systems 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 1993Informatics 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, 1993Database security, VIII : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Bad Salzdetfurth, Germany, 23-26 August 1994Security 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 1993Facing 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, 1993University 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, 1993Decision 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, 1993Integrated 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, 1993High 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, 1993Performance 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, 1991Protocol 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, 1993Knowledge-based reactive scheduling : proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993Upper 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, 1992Synthesis for control dominated circuits : selected papers from the IFIP WG10.2/WG10.5 workshops, Grenoble, France, April and September 1992Architectures 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 1993Electronic 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, 1992Manufacturing 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, 1992Formal 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, 1993Information network and data communication IV : proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV, Espoo, Finland, 16-19 March 1992Towards 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
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books