Filter by
Model and Data Engineering
This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-bas…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23780-0
- Collation
- XIX, 343
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Model Checking Software
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23403-8
- Collation
- XVIII, 319
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Modelling and Implementation of Complex Systems:Proceedings of the 4th Intern…
This volume is a comprehensive collection of extended contributions from the fourth international symposium on Modeling and Implementing Complex Systems (MICS’2106) organized into four main topics: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This book presents recent advances related to theory and…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-33409-7
- Collation
- XV, 342
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- -
Model-Driven Engineering and Software Development
This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015.The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited p…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-27868-1
- Collation
- XV, 438
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Model-Integrating Software Components
In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-called model-integrating software exploits all advantages of models: models implicitly support a good separation of concerns, they are self-documenting and thus improve understandability and mainta…
- Edition
- 1
- ISBN/ISSN
- 978-3-658-09645-8
- Collation
- XXI, 333
- Series Title
- -
- Call Number
- -
Mobile Web and Intelligent Information Systems
This book constitutes the refereed proceedings of the 12th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2015, held in Rome, Italy, in August 2015. The 17 full papers and 3 short papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as mobile services and applications; usability and visu…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23143-3
- Collation
- XVI, 229
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Model-Driven Engineering and Software Development
This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014.The 10 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 88 submissions. They are organized in topical sections named: invited…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25155-4
- Collation
- XIV, 197
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Risky Futures : Climate, Geopolitics and Local Realities in the Uncertain Cir…
The volume examines complex intersections of environmental conditions, geopolitical tensions and local innovative reactions characterising ‘the Arctic’ in the early twenty-first century. What happens in the region (such as permafrost thaw or methane release) not only sweeps rapidly through local ecosystems but also has profound global implications. Bringing together a unique combination of …
- Edition
- -
- ISBN/ISSN
- 9781805390640
- Collation
- -
- Series Title
- -
- Call Number
- -
Cooling Down : Local Responses to Global Climate Change
Climate change is a slowly advancing crisis sweeping over the planet and affecting different habitats in strikingly diverse ways. While nations have signed treaties and implemented policies, most actual climate change assessments, adaptations, and countermeasures take place at the local level. People are responding by adjusting their practices, livelihoods, and cultures, protesting and migratin…
- Edition
- -
- ISBN/ISSN
- 9781800731899
- Collation
- -
- Series Title
- -
- Call Number
- -
The Anthroposcene of Weather and Climate : Ethnographic Contributions to the …
While it is widely acknowledged that climate change is among the greatest global challenges of our times, it has local implications too. This volume forefronts these local issues, giving anthropology a voice in this great debate, which is otherwise dominated by natural scientists and policy makers. It shows what an ethnographic focus can offer in furthering our understanding of the lived realit…
- Edition
- -
- ISBN/ISSN
- 9781800732780
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography