Electronic Books

Total Books: 21 - 40 /76
Community and Identity in Contemporary Technosciences

This book provides new thinking on scientific identity formation. It thoroughly interrogates the concepts of community and ...

Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Lire la suite
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Lire la suite
Conceptual Modeling - ER 2005

Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because ...

Lire la suite
Conceptual Modeling - ER 2006

The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research ...

Lire la suite
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Lire la suite
Conceptual Modeling for Traditional and Spatio-Temporal Applications

This book shows that a conceptual design approach for spatio-temporal databases is both feasible and easy to apprehend. While ...

Lire la suite
Contemporary Family Lifestyles in Central and Western Europe Selected Cases

This introductory chapter approaches two basic categories of the whole monography which is a family and a lifestyle. The ...

Lire la suite
Contemporary Nordic Literature and Spatiality

This collection offers a detailed mapping of recent Nordic literature and its different genres (fiction, poetry, and children’s ...

Lire la suite
Cutting-edge issues in Business Ethics : Continental Challenges to Tradition and Practice

This volume is one of the very few publications dedicated to the challenges that Continental philosophy poses to the field ...

Lire la suite
Cybernetical Physics

This book is, perhaps, the first attempt to present a unified exposition of the subject and methodology of cybernetical physics ...

Lire la suite
Database and Expert Systems Applications : 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th International Conference on Database and Expert Systems Applications, ...

Lire la suite
NoIMG
Enabling Things to Talk : Designing IoT solutions with the IoT Architectural Reference Model /

The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...

Lire la suite
NoIMG
Ester Boserup’s Legacy on Sustainability : Orientations for Contemporary Research

The contents are organized in three sections reflecting important focal points of Boserup’s own work: Long-Term Socio-Ecological ...

Lire la suite
Explorations of the Life-World

This anthology originated from three conferences, which were held at Waseda University, Tokyo, Japan, on March 26-28, 1999, ...

Lire la suite
Exploratory Analysis of Spatial and Temporal Data

Exploratory data analysis (EDA) is about detecting and describing patterns, trends, and relations in data, motivated by certain ...

Lire la suite
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

Lire la suite
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

Lire la suite
Genotype - Proteotype - Phenotype Relationships in Neurodegenerative Diseases

Improved understanding of role of protein dysmetabolism in neurodegeneration promises to improve diagnoses, facilitate the ...

Lire la suite
Human Exploitation and Biodiversity Conservation

The sustainable use of biodiversity is one of the three key objectives of the 1992 "Convention on Biological Diversity". ...

Lire la suite
Total Books: 21 - 40 /76