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.
last updated on 2025-07-25 19:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: