The pillars of the bridge on the cover of this book date from the Roman Empire and they are in daily use today, an example of conventional engineering at its best.
This well structured book discusses lifecycle optimization of software projects for crisis management by means of software engineering methods and tools.
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract.
This book presents the SigniFYI Suite of conceptual and methodological tools, designed to uncover meanings inscribed in software, their origins, intent and consequences to identify and trace correlating patterns; from software design and development to software use and experience.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2015.
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
This book presents a new procedural modelling methodology capable of producing traversable buildings constrained by arbitrary convex shapes, based on a pure treemap approach.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedingsof the 16th International Conference on Computational Science and ItsApplications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedingsof the 16th International Conference on Computational Science and ItsApplications, ICCSA 2016, held in Beijing, China, in July 2016.
This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.
This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
This book constitutes the refereed proceedings of the 5th International Workshop on Controlled Natural Language, CNL 2016, held in Aberdeen, UK, in July 2016.
This book describes pragmatic instruments and methods that enable business experts and software engineers to develop a common understanding of the software to be created, to determine their key requirements, and to manage the project in a way that fosters trust, encourages innovation and distributes risk fairly between clients and contractors.
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
This book constitutes the refereed proceedings of the two International Workshops on Big-Graphs Online Querying, Big-O(Q) 2015, and Data Management and Analytics for Medicine and Healthcare, DMAH 2015, held at Waikoloa, Hawaii, USA on August 31 and September 4, 2015, in conjunction with the 41st International Conference on Very Large Data Bases, VLDB 2015.
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.
This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
This book contains the refereed proceedings of the 7th International Conference on Software Business, ICSOB 2016, held in Ljubljana, Slovenia, in June 2016.
This book contains revised and extended versions of selected papers from the Fifth International Symposium on Business Modeling and Software Design, BMSD 2015, held in Milan, Italy, in July 2015.
The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.
The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.
This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA and at the Hasso Plattner Institute in Potsdam, Germany.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing in Science and Engineering, HPCSE 2015, held in Solan, Czech Republic, in May 2015.
The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016.
This book constitutes the refereed proceedings of the 4th International Conference on Games and Learning Alliance, GALA 2015, held in Rome, Italy, in December 2015.
This book constitutes the refereed proceedings of the 12th International Baltic Conference on Databases and Information Systems, DB&IS 2016, held in Riga, Latvia, in July 2016.
This book combines elementary theory from computer science with real-world challenges in global geodetic observation, based on examples from the Geodetic Observatory Wettzell, Germany.
This book constitutes the proceedings of the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016, held in Ljubljana, Slovenia, in June 2016.
This book constitutes the proceedings of the 16th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2016, held in Heraklion, Crete, Greece, in June 2016.
This book constitutes the thoroughly refereed proceedings of five international workshops held in Ljubljana, Slovenia, in conjunction with the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016, in June 2016.
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.
The 3-volume set LNCS 9731, 9732, and 9733 constitutes the refereed proceedings of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.
The 3-volume set LNCS 9731, 9732, and 9733 constitutes the refereed proceedings of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.
This book contains the refereed proceedings of the 17th International Conference on Business Process Modeling, Development and Support, BPMDS 2016, and the 21st International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2016, held together with the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016) in Ljubljana, Slovenia, in June 2016.
This book draws new attention to domain-specific conceptual modeling by presenting the work of thought leaders who have designed and deployed specific modeling methods.
This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2016, held in St.
