Katalog der Deutschen Nationalbibliothek

Applications in parallel and distributed computing : proceedings of the IFIP WG 10 3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18 - 22 April, 1994

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

Asynchronous design methodologies : proceedings of the IFIP WG 10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March - 2 April, 1993

Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning ; Beijing, P. R. China, 13 - 16 July 1992

Business process re-engineering : information systems opportunities and challenges ; proceedings of the IFIP TC 8 Open Conference on Business Process Re-engineering, Information Systems Opportunities and Challenges, Queensland Gold Coast, Australia, 8 - 11 May, 1994

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications, CHDL'93, sponsored by IFIP WG 10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26 - 28 April, 1993

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

Computer security : proceedings of the IFIP TC 11 Ninth International Conference on Information Security, IFIP Sec'93 ; Toronto, Canada, 12 - 14 May, 1993

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

Database security, VI : status and prospects ; results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August, 1992

Database security, VII : status and prospects ; results of the IFIP WG 11 3 Workshop on Database Security, Lake Guntersville, Alabama, USA, 12 - 15 September, 1993

Database security, VIII : status and prospects ; proceedings of the IFIP WG 11.3 Working Conference on Database Security, Bad Salzdetfurth, Germany, 23 - 26 August, 1994

Decentralized and distributed systems : proceedings of the IFIP WG 10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13 - 17 September, 1993

Decision support in public administration : proceedings og the IFIP TC 8/WG 8.3 Working Conference on Decision Support in Public Administration ; Nordwijskerhout, The Netherlands, 13-14 May, 1993

Decision support systems : experiences and expectations ; proceedings of the IFIP TC 8/WG 8.3 Working Conference on Decision Support Systems: Experiences and Expectations, Fontainebleau, France, 30 June - 3 July 1992

Designing correct circuits : proceedings of the Second IFIP WG 10. 2/WG 10. 5 Wokshop on Designing Correct Circuits, Lyngby, Denmark, 6 - 8 January 1992

Diffusion, transfer and implementation of information technology : proceedings of the IFIP TC 8 Working Conference on Diffusion, Transfer and Implementation of Information Technology, Pittsburgh, PA, U.S.A., 11 - 13 October, 1993

Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2. 7 Working Conference on Engineering for Human-Computer Interaction ; Ellivouri, Finland, 10 - 14 August 1992

Exploring a new partnership : children, teachers and technology ; proceedings of the IFIP WG 3.5 International Working Conference on Exploring a New Partnership - Children, Teachers and Technology, Philadelphiy, PA, U.S.A., 26 June - 1 July, 1994

Facing the challenge of risk and vulnerability in an information society : proceedings of the IFIP WG 9.2 Working Conference on Facing the Challenge of Risk and Vulnerability in an Information Society, Namur, Belgium, 20 - 22 May, 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

Higher order logic theorem proving and its applications : proceedings of the IFIP TC 10 WG 10.2 [5.] International Workshop on Higher Order Logic Theorem Proving and its Applications ; Leuven, Belgium, 21 - 24 September 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

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

Information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994

Vol. 1. Technology and foundations

Information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994

Vol. 2. Applications and impacts

Information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994

Vol. 3. Linkage and developing countries

Information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7 - 11 September 1992

Information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7 - 11 September 1992

Vol. 1. Algorithms, software, architecture

Information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7 - 11 September 1992

Vol. 2. Education and society

Information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7 - 11 September 1992

Vol. 3. Personal computers and intelligent systems

Information system concepts : improving the understanding ; proceedings of the IFIP TC 8 WG 8 1 Working Conference on Information System Concepts: Improving the Understanding, Alexandria, Egypt, 13 - 15 April, 1992

Information system development process : proceedings of the IFIP WG 8.1 Working Conference on Information System Development Process, COMO, Italy 1-3 September, 1993

Innovative adult learning with innovative technologies : [results of the joint meeting of IFIP WG 3.3 and WG 3.6, Nantes, France, 27 - 30 October 1994]

Interactive multimedia in university education : designing for change in teaching and learning ; proceedings of the IFIP TC 3 WG 3.2 Working Conference on the Design, Implementation and Evaluation of Interactive Multimedia in University Settings, Melbourne, Victoria, Australia, 6 - 8 July, 1994

Interoperable database systems : [DS-5] ; proceedings of the IFIP WG 2.6 Database Semantics Conference on Interoperable Database Systems [DS-5], Lorne, Victoria, Australia, 16 - 20 November, 1992

IT security : the need for international cooperation ; proceedings of the IFIP TC 11 Eighth International Conference on Information Security, IFIP/Sec '92, Singapore, 27 - 29 May 1992

Knowledge oriented software design : extended papers from the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain 14-15 Septemberg, 1992

Lessons from learning : proceedings of the IFIP TC 3 WG 3 3 Working Conference on Lessons from Learning, Archamps, France, 6 - 8 September, 1993

Local area network applications : leveraging the LAN ; proceedings of the IFIP TC 8/WG 8.4 Working Conference on the Open Systems Future: Leveraging the LAN ; Perth, Western Australia, 29 August - 2 September, 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

Methods and associated tools for the information systems life cycle : proceedings of the IFIP WG 8.1 Working Conference on Methods and Associated Tools for the Information Systems Life Cycle, Maastricht, The Netherlands, 26 - 28 September, 1994

NetWORKing, connecting workers in and between organizations : proceedings of the IFIP WG 9.1 Working Conference on NetWORKing, Vienna, Austria, 16 - 18 June, 1993

Parallel architectures and compilation techniques : proceedings of the IFIP WG 10 3 Working Conference on Parallel Architectures and Compilation Techniques, PACT '94, Montréal, Canada, 24 - 26 August, 1994

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 Juny 1992

Programming concepts, methods and calculi : proceedings of the IFIP TC 2 WG 2.1 WG 2.2 WG 2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), San Miniato, Italy, 6 - 10 June, 1994

Programming environments for high-level scientific problem solving : proceedings of the IFIP TC 2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem SolVing, Karlsruhe, Germany, 23 - 27 September, 1991

Programming environments for parallel computing : proceedings of the IFIP WG 10.3 Workshop on Programming Enviroments for Parallel Computing, Edinburgh, Scotland, 6 - 8 April, 1992

Security and control of information technology in society : proceedings of the IFIP TC 9 WG 9.6 Working Conference on Security and Control of Information Technology in Society on board M/S Ilich and ashore at St. Petersburg, Russia, 12 - 17 August, 1993

Software engineering education : proceedings of the IFIP WG 3.4 SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September - 2 October, 1993

Synthesis for control dominated circuits : selected papers from the IFIP WG 10 2 WG 10 5 workshops, Grenoble, France, April and September, 1992

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

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

The impact of computer supported technoloqies 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

Theorem provers in circuit design : proceedings of the IFIP TC 10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992

Transforming organizations with information technology : proceedings of the IFIP WG 8.2 Working Conference on Information Technology and New Emergent Forms of Organizations ; Ann Arbor, Michigan, USA, 11 - 13 August, 1994

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

Visual database system, II : proceedings of the IFIP TC 2 WG 2.6 Second Working Conference on Visual Database Systems, Budapest, Hungary, 30 September - 3 October, 1991

VLSI 91 : proceedings of the IFIP TC 10 WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20 - 22 August, 1991

VLSI 93 : proceedings of the IFIP TC 10 WG 10.5 International Conference on Very Large Scale Integration, Grenoble, France, 7 - 10 September, 1993