General

This book constitutes the refereed proceedings of the 23rd International Conference on Integer Programming and Combinatorial Optimization, IPCO 2022, held in Eindhoven, The Netherlands, in June 2022. The 33 full papers presented were carefully reviewed...

This book constitutes the proceedings of the Second International Conference on Spatial Data and Intelligence, SpatialDI 2021, which was held during April 22-24, 2021 in Hangzhou, China.The 14 full papers and 7 short papers presented in this volume were...

The nature of communicative practices today, particularly in the context of digitalized media, has revealed that earlier paradigms on language contact do not prove to be fully satisfactory. Based on 1,507 Facebook posts of German university students...

This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016. The 43 full papers presented in this volume were...

Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract style. This restricts the readership of such books especially by programmers working in computer graphics,...

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic...

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing...

This book constitutes the proceedings of the 9th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2014. This volume contains 17 full papers, 9 short papers, and 7 extended abstracts carefully selected out of 55...

This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2014, held in Ibiza, Spain in September 2014 under the sponsorship of the UNESCO chair in Data Privacy. The 27 revised full papers...

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995. The 15 revised full papers included in the volume document the exploitation of links between...

This is the latest volume in the 'Workshops in Computing' series, and contains papers from the International Workshop on Hpyermedia Design, held in Montpellier, France, from 1 - 2 June 1995. The workshop aimed to provide a forum for researchers and...

Welcome to the proceedings of the 5th Paci?c Rim Conference on Multimedia (PCM 2004) held in Tokyo Waterfront City, Japan, November 30-December 3, 2004. Following the success of the preceding conferences, PCM 2000 in Sydney, PCM 2001 in Beijing, PCM 2002...

This two-volume set LNCS 13192-12193 constitutes the refereed proceedings of the 17th International Conference on Information for a Better World: Shaping the Global Future, held in February 2022. Due to COVID-19 pandemic the conference was held virtually...

This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Transport Systems, INTSYS 2023, held in Molde, Norway, during September 6-7, 2023. With the globalization of trade and transportation and the consequent...

Turn your noisy data into relevant, insight-ready information by leveraging the data wrangling techniques in Python and R About This Book * This easy-to-follow guide takes you through every step of the data wrangling process in the best possible way *...

Welcometothe?rstintheePartseriesofannualinternationalconferences.ePart is dedicated to reviewing research advances in both social and technological scienti?c domains, seeking to demonstrate new concepts, methods and styles of eParticipation. ePart is...

This book constitutes the refereed post-conference proceedings of the Second International Conference on Applied Cryptography in Computer and Communications, AC3 2022, held May 14-15, 2022 and due to COVID-19 pandemic virtually.The 12 revised full papers...

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. Get the job done and learn as you go. A how-To book with practical recipes accompanied with rich screenshots for easy comprehension. This...

The Definitive Guide to Interwoven TeamSite is the first book to cover the TeamSite enterprise content management system, a product used by nine of the top 10 largest companies in the world, and thousands of other organizations around the globe The...

This book constitutes the refereed proceedings of the First Workshop on Monte Carlo Search, MCS 2020, organized in conjunction with IJCAI 2020. The event was supposed to take place in Yokohama, Japan, in July 2020, but due to the Covid-19 pandemic was...

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected...

In this book, the editors explain how students enrolled in two digital forensic courses at their institution are exposed to experiential learning opportunities, where the students acquire the knowledge and skills of the subject-matter while also learning...

This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications...

There is a growing body of literature that focuses on the similarities and differences between how people behave in the offline world vs. how they behave in these virtual environments. Data mining has aided in discovering interesting insights with...

The present Lecture Notes evolved from a course given at the Technische Hogeschool Eindhoven and later at the Technische Hogeschool Twente. They are intended for computer science students; more specifically, their goal is to introduce the notions of...

This book constitutes the refereed proceedings of the 13th PLAIS EuroSymposium 2021 which was held in Sopot, Poland, on September 23, 2021. The objective of the PLAIS EuroSymposium 2021 is to promote and develop high quality research on all issues...

This book constitutes the proceedings of the Blockchain and RPA Forum, held as part of the 19th International Conference on Business Process Management, BPM 2021, which took place during September 6-10, 2021, in Rome, Italy.The Blockchain Forum and the...

This text provides the reader with a unique insight into the finite element method, along with symbolic programing that fundamentally changes the way applications can be developed. It is an essential tool for undergraduate or early postgraduate courses...

This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Conference on Web Engineering, ICWE 2020, held in Helsinki, Finland, in June 2020.* The 4 revised full 4 revised short papers were selected from 10...

This book constitutes revised and selected papers from the 8th International Conference on Operations Research and Enterprise Systems, ICORES 2019, held in Prague, Czech Republic, in February 2019. The 9 extended and revised papers presented in this...

This volume constitutes the refereed proceedings of the Third International Computer Science Conference, ICSC '95, held in Hong Kong in December 1995. ICSC '95 was devoted to computer graphics and image analysis applications. The 55 revised full papers...

This book constitutes the refereeed proceedings of the Third European Conference on Multimedia Applications, Services and Techniques, ECMAST '98, held in Berlin, Germany, in May 1998. The 40 revised full papers presented were carefully selected for...

Get to grips with pandas-a versatile and high-performance Python library for data manipulation, analysis, and discovery About This Book * Get comfortable using pandas and Python as an effective data exploration and analysis tool * Explore pandas through...

Recipes to help you overcome your data science hurdles using Java About This Book * This book provides modern recipes in small steps to help an apprentice cook become a master chef in data science * Use these recipes to obtain, clean, analyze, and learn...

Over 90 hands-on recipes to help you learn and master the intricacies of Apache Hadoop 2.X, YARN, Hive, Pig, Oozie, Flume, Sqoop, Apache Spark, and Mahout About This Book * Implement outstanding Machine Learning use cases on your own analytics models and...

This book brings to readers thirteen chapters with contributions to the benefits of using IoT and Cloud Computing to agro-ecosystems from a multi-disciplinary perspective. IoT and Cloud systems have prompted the development of a Cloud digital ecosystem...

This book constitutes revised selected papers from the 15th International Conference on Web Information Systems and Technologies, WEBIST 20109 held in Vienna, Austria, in September 2019. The 10 full papers presented in this volume were carefully reviewed...

This book constitutes the refereed proceedings of the 9th International Conference on Computational Data and Social Networks, CSoNet 2020, held in Dallas, TX, USA, in December 2020. The 20 full papers were carefully reviewed and selected from 83...

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited...

This volume constitutes the proceedings of the First International EURO Mini Conference on Modelling and Simulation of Social-Behavioural Phenomena in Creative Societies, MSBC 2019, held in Vilnius, Lithuania, in September 2019. The 8 full papers and 2...