Informatik (15 757 Artikel)

This book constitutes the refereed proceedings of the First European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '97, held in Trondheim, Norway, in June 1997.The volume pre...

This book constitutes the refereed proceedings of the Second European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '98, held in Nantes, France, in September 1998.The volume ...

This book constitutes the refereed proceedings of the Third European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD'99, held in Prague, Czech Republic in September ...

This book offers a comprehensive resource on Solid-State Drives (SSD) as the field undergoes a radical evolution characterized by the incredible variety of SSD forms and their rapid diversification...

This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International...

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Principles of Digital Document Processing, PODDP'98, held in Saint Malo, France, in Marc...

Invited Talk 1.- Distributing Bits and Atoms.- Invited Talk 2.- Circuits Without Clocks: What Makes Them Tick?.- Invited Talk 3.- Towards Very Large, Self-Managing Distributed Systems.- Distributed...

Invited Talks.- The Next 700 BFT Protocols.- On Replication of Software Transactional Memories.- Regular Papers.- Write Markers for Probabilistic Quorum Systems.- Byzantine Consensus with Unknown P...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held in Palo Alto, California, USA, in Sep...

This book describes how we can design and make efficient processors for high-performance computing, AI, and data science. Although there are many textbooks on the design of processors we do not hav...

This book describes how we can design and make efficient processors for high-performance computing, AI, and data science. Although there are many textbooks on the design of processors we do not hav...

A First Guide to Numerical Concepts and Programming Methods

Agents are software processes that perceive and act in an environment, processing their perceptions to make intelligent decisions about actions to achieve their goals. Multi-agent systems have mult...

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software v...

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software v...