Systems Modelling and Management: First International Conference, Icsmm 2020, Bergen, Norway, June 25-26, 2020, Proceedings, Babur Цnder, Denil Joachim, Vogel-Heuser Birgit
Автор: Gadducci Fabio, Kehrer Timo Название: Graph Transformation: 13th International Conference, Icgt 2020, Held as Part of Staf 2020, Bergen, Norway, June 25-26, 2020, Proceedings ISBN: 3030513718 ISBN-13(EAN): 9783030513719 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 from 40 submissions.
Автор: Ahrendt Wolfgang, Wehrheim Heike Название: Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings ISBN: 303050994X ISBN-13(EAN): 9783030509941 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.- Mutation Testing of Smart Contracts at Scale.- Deductive Binary Code Verification Against Source-Code-Level Specifications.- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.- SAT Modulo Differential Equation Simulations.- Verified Runtime Assertion Checking for Memory Properties.- Testing for Race Conditions in Distributed Systems via SMT Solving.- SASA: a SimulAtor of Self-stabilizing Algorithms.- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems.- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
Автор: Bergen Universitetet I., Museum Bergens Название: Rbok - Universitetet I Bergen ISBN: 1249650925 ISBN-13(EAN): 9781249650928 Издательство: Неизвестно Цена: 31030.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Cerone Antonio, Roggenbach Markus Название: Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers ISBN: 3030713733 ISBN-13(EAN): 9783030713737 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions.
Автор: Zhang Jian-Min, Zhang Limin, Wang Rui Название: Dam Breach Modelling and Risk Disposal: Proceedings of the First International Conference on Embankment Dams (Iced 2020) ISBN: 3030463532 ISBN-13(EAN): 9783030463533 Издательство: Springer Цена: 232910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This proceedings book gathers contributions presented at the First International Conference on Embankment Dams (1st ICED, Beijing, 5-7 June 2020), which was the inaugural conference of the International Society of Soil Mechanics and Geotechnical Engineering (ISSMGE) Technical Committee TC210 on Embankment Dams.
Автор: Zhang Jian-Min, Zhang Limin, Wang Rui Название: Dam Breach Modelling and Risk Disposal: Proceedings of the First International Conference on Embankment Dams (Iced 2020) ISBN: 3030463508 ISBN-13(EAN): 9783030463502 Издательство: Springer Рейтинг: Цена: 232910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This proceedings book gathers contributions presented at the First International Conference on Embankment Dams (1st ICED, Beijing, 5-7 June 2020), which was the inaugural conference of the International Society of Soil Mechanics and Geotechnical Engineering (ISSMGE) Technical Committee TC210 on Embankment Dams.
Автор: Sumich, Jason (universitetet I Bergen, Norway) Название: The middle class in mozambique ISBN: 1108460712 ISBN-13(EAN): 9781108460712 Издательство: Cambridge Academ Рейтинг: Цена: 33790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The growth of a middle class has been a feature of the `Africa Rising` narrative in recent years. Sumich sheds new light on this important topic by exploring the political, economic, and social origins of a middle class in Mozambique and the contradictions it faces.
Автор: Labelle, Brandon (bergen Academy Of Art And Design, Norway) Название: Acoustic justice ISBN: 1501368206 ISBN-13(EAN): 9781501368202 Издательство: Bloomsbury Academic Рейтинг: Цена: 89760.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Acoustic Justice engages issues of recognition and misrecognition by mobilizing an acoustic framework. From the vibrational intensities of common life to the rhythm of bodies in movement, and drawing from his ongoing work on sound and agency, Brandon LaBelle positions acoustics, and the broader experience of listening, as a dynamic means for fostering responsiveness, understanding, dispute, and the work of reorientation. As such, acoustic justice emerges as a compelling platform for engaging struggles over the right to speak and to be heard that extends toward a broader materialist and planetary view. This entails critically addressing questions of space, borders, community, and the acoustic norms defining capacities of listening, leading to what LaBelle terms “poetic ecologies of resonance.” Acoustic Justice works at issues of recognition and resistance, place and displacement, by moving across a range of pertinent references and topics, from social practices and sound art to the performativity of skin and the poetics of Deaf voice. Through such transversality, LaBelle pushes for acoustics as the basis for strategies of refusal and repair.
Автор: Labelle, Brandon (bergen Academy Of Art And Design, Norway) Название: Acoustic justice ISBN: 1501368214 ISBN-13(EAN): 9781501368219 Издательство: Bloomsbury Academic Рейтинг: Цена: 25330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Acoustic Justice engages issues of recognition and misrecognition by mobilizing an acoustic framework. From the vibrational intensities of common life to the rhythm of bodies in movement, and drawing from his ongoing work on sound and agency, Brandon LaBelle positions acoustics, and the broader experience of listening, as a dynamic means for fostering responsiveness, understanding, dispute, and the work of reorientation. As such, acoustic justice emerges as a compelling platform for engaging struggles over the right to speak and to be heard that extends toward a broader materialist and planetary view. This entails critically addressing questions of space, borders, community, and the acoustic norms defining capacities of listening, leading to what LaBelle terms “poetic ecologies of resonance.” Acoustic Justice works at issues of recognition and resistance, place and displacement, by moving across a range of pertinent references and topics, from social practices and sound art to the performativity of skin and the poetics of Deaf voice. Through such transversality, LaBelle pushes for acoustics as the basis for strategies of refusal and repair.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
