Informatik (15 755 Artikel)

11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday

The number ofbooks on databases is very large. Thus, our decision to yet add another book to the body of literature requires some justification. However, even a cursory glance through this book wil...

Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.

After Ole-Johan's retirement at the beginning of the new millennium, some of us had thought and talked about making a "Festschrift" in his honor. When Donald Knuth took the initiative by sending us...

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory...

Body-worn sensors, so-called wearables, are getting more and more popular in the sports domain. Wearables offer real-time feedback to athletes on technique and performance, while researchers can ge...

This volume contains thoroughly refereed full versions of the best papers presented at the 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, held in Neuchâtel...

Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Presenting technical details of requirements modelling and model transformations for requirements, this book is of interest to researchers, graduate students and advanced practitioners from industr...

Presenting technical details of requirements modelling and model transformations for requirements, this book is of interest to researchers, graduate students and advanced practitioners from industr...

From Security to Community Detection in Social Networking Platforms

This book presents the state-of-the-art in various aspects of analysis and mining of online social networks. Within the broader context of online social networks, it focuses on important and upcomi...

This book presents the state-of-the-art in various aspects of analysis and mining of online social networks. Within the broader context of online social networks, it focuses on important and upcomi...