


default search action
IFIP Publications
Publications
- IFIP International Federation for Information Processing Series (Springer, until 2009)
- IFIP Advances in Information and Communication Technology (Springer)
- IFIP Conference Proceedings (Springer):
- IFIP Conference Proceedings (Kluwer, 1994-2004):
- IFIP Transactions (1992/1994)
- IFIP State-of-the-Art Reports
- IFIP Series in Computer Graphics
- Active Networks
- Algorithmic Languages and Calculi
- Applications in Parallel and Distributed Computing
- Artificial Intelligence from the Information Processing Perspective
- Broadband Communications
- Communications and Multimedia Security
- Comparative Review of Information Systems Design Methodologies
- Computer Hardware Description Languages and their Applications
- Correct Hardware Design and Verification Methods
- Data Communications and their Performance
- Database Security
- Database Semantics
- Deformable Avatars
- Digital Forensics
- Distributed Applications and Interoperable Systems
- Distributed Systems, Operations and Management
- E-Commerce, E-Business, and E-Government
- Engineering for Human-Computer Interaction
- Formal Description Techniques for Distributed Systems and Communication Protocols
- Formal Methods for Open Object-Based Distributed Systems
- Information Network and Data Communication
- Information Security
- Information Systems Concepts
- Integrated Network Management
- Integrity and Internal Control in Information Systems
- Intelligence in Networks (SMARTNET)
- International Conference on Computer Graphics
- International Workshop on Automated Reasoning
- Interworking
- High Performance Networking
- Human-Computer Interaction
- Middleware
- Modelling and Evaluation of ATM Networks
- Network Security
- Open Distributed Processing
- Open Source Software
- Optical Network Design and Modelling
- Parallel Architectures and Compilation Techniques
- Performance of Distributed Systems and Integrated Communication Networks
- Programming Concepts, Methods and Calculi
- Programming Environments for Parallel Computing
- Programing Languages for Manufacturing (PROLAMAT)
- Protocol Specification, Testing and Verification
- Protocols for High-Speed Networks
- Quality of Service
- Software Engineering for Parallel and Distributed Systems
- Software Quality and Productivity
- Testing Communicating Systems
- Theorem Proving in Higher Order Logics
- Theoretical Computer Science
- Universal Service Market
- Upper Layer Protocols, Architectures and Applications
- Very Large Scale Integration
- Visual Database Systems
- Workstations for Experiments

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














