Bøger i Programming and Software Engineering serien
-
- 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
718,95 kr. This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, USA, in June 2018. The 10 full papers and 3 short papers presented were carefully reviewed and selected from 22 submissions.
- Bog
- 718,95 kr.
-
- 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
583,95 kr. This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.
- Bog
- 583,95 kr.
-
- 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings
561,95 kr. This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cadiz, Spain, in October 2018.
- Bog
- 561,95 kr.
-
- Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
600,95 kr. This double volumes LNCS 11229-11230 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C&TC, held as part of OTM 2018 in October 2018 in Valletta, Malta.
- Bog
- 600,95 kr.
-
- International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
668,95 kr. This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International Workshop on Visual Performance Analysis, VPA 2017 and VPA 2018.The 11 full papers of ESPT 2017 and ESPT 2018 and the 6 full papers of VPA 2017 and VPA 2018 were carefully reviewed and selected for inclusion in this book. The papers discuss the requirements for exascale-enabled tools as well as new approaches of applying visualization and visual analytic techniques to large-scale applications. Topics of interest include: programming tools; methodologies for performance engineering; tool technologies for extreme-scale challenges (e.g., scalability, resilience, power); tool support for accelerated architectures and large-scale multi-cores; tool infrastructures and environments; evolving/future application requirements for programming tools and technologies; application developer experiences with programming and performance tools; scalable displays of performance data; case studies demonstrating the use of performance visualization in practice; data models to enable scalable visualization; graph representation of unstructured performance data; presentation of high-dimensional data; visual correlations between multiple data sources; human-computer interfaces for exploring performance data; and multi-scale representations of performance data for visual exploration.
- Bog
- 668,95 kr.
-
- 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
667,95 kr. This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions.
- Bog
- 667,95 kr.
-
- 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, Proceedings
665,95 kr. This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019. The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions.
- Bog
- 665,95 kr.
-
- 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings
671,95 kr. This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions.
- Bog
- 671,95 kr.
-
- 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings
571,95 kr. This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.
- Bog
- 571,95 kr.
-
- Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
576,95 kr. This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Journees sur les Arithmetiques Faibles also celebrating Yuri's 80th birthday.
- Bog
- 576,95 kr.
-
- 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
579,95 kr. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010.
- Bog
- 579,95 kr.
-
- First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
573,95 kr. Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.
- Bog
- 573,95 kr.
-
- Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
620,95 kr. This book is open access under a CC BY 4.0 license. Technical Systems-of-Systems (SoS) - in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective - form the backbone of most of today's infrastructure.
- Bog
- 620,95 kr.
-
- ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
587,95 kr. This book constitutes the thoroughly refereed proceedings of the 2012 ICSOC Workshops consisting of 6 scientific satellite events, organized in 3 main tracks including workshop track (ASC, DISA.
- Bog
- 587,95 kr.
-
- 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings
579,95 kr. This book constitutes the refereed proceedings of the 4th International Conference on Human-Centered Software Engineering, HCSE 2012, held in Toulouse, France, in October 2012. The twelve full papers and fourteen short papers presented were carefully reviewed and selected from various submissions.
- Bog
- 579,95 kr.
-
- 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
578,95 kr. - Bog
- 578,95 kr.
-
- 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
575,95 kr. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.
- Bog
- 575,95 kr.
-
- ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
991,95 kr. This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 14th International Middleware Conference, held in Beijing, China, in December 2013.
- Bog
- 991,95 kr.
-
- 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
573,95 kr. This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. They are organized in topical sections named: analysis; JavaScript, PHP and frameworks;
- Bog
- 573,95 kr.
-
- 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings
668,95 kr. This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions.
- Bog
- 668,95 kr.
-
- Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
614,95 kr. This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.
- Bog
- 614,95 kr.
-
- 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings
579,95 kr. This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. safety assessment in automotive industry;
- Bog
- 579,95 kr.
-
- 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings
571,95 kr. This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbr├╝cken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems.
- Bog
- 571,95 kr.
-
- 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings
812,95 kr. This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020. The 6 full and 8 short papers presented in this volume were carefully reviewed and selected from 20 submissions.
- Bog
- 812,95 kr.
-
- First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers
728,95 kr. This book constitutes the thoroughly refereed post-conference proceedings of theFirst International Workshop on Usability and Accessibility focused RequirementsEngineering, UsARE 2012, held in Zurich, Switzerland, in June 2012 in conjunctionwith ICSE 2012, the 34th International Conference on Software Engineering, and theSecond International Workshop, UsARE 2014, held in Karlskrona, Sweden, in August2014, in the course of RE 2014, the 22nd International Requirements EngineeringConference.This book consists of 10 chapters of which 9 are extended versions of the paperspresented at the two UsARE events. Amongst them, 3 are extended versions of thepapers presented at UsARE 2012 and 6 are extended versions of papers presented atUsARE 2014 - rounded off by a new chapter that was added as authors are doingrelevant work on the same topic. The chapters are organized intothree sectionsaccording to their main focus: usability and user experience, accessibility andapplications.
- Bog
- 728,95 kr.
-
- SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
924,95 kr. - Bog
- 924,95 kr.
-
- 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
751,95 kr. This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;
- Bog
- 751,95 kr.
-
- 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
809,95 kr. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
- Bog
- 809,95 kr.
-
- 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
610,95 kr. This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.
- Bog
- 610,95 kr.
-
- 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
483,95 kr. The 12 full papers and 15 short papers presented together with three education and training papers in this volume were carefully reviewed and selected from 100 submissions.
- Bog
- 483,95 kr.