Search Results for - Narrowed by: Springer E-Book Collection - 2016 - Software engineering.

Understanding Control Flow Concurrent Programming Using μC++

2024-05-15T18:45:39Z

Yazar Buhr, Peter A. author.
http://dx.doi.org/10.1007/978-3-319-25703-7
Format: Electronic Resources

Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Winkler, Dietmar. editor.
http://dx.doi.org/10.1007/978-3-319-27033-3
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources

Smart City 360° First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Leon-Garcia, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-33681-7
Format: Electronic Resources

Modeling with UML Language, Concepts, Methods

2024-05-15T18:45:39Z

Yazar Rumpe, Bernhard. author.
http://dx.doi.org/10.1007/978-3-319-33933-7
Format: Electronic Resources

Managing Information Technology

2024-05-15T18:45:39Z

Yazar Castillo, Francisco. author.
http://dx.doi.org/10.1007/978-3-319-38891-5
Format: Electronic Resources

Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015

2024-05-15T18:45:39Z

Yazar Mejia, Jezreel. editor.
http://dx.doi.org/10.1007/978-3-319-26285-7
Format: Electronic Resources

Computational Intelligence and Quantitative Software Engineering

2024-05-15T18:45:39Z

Yazar Pedrycz, Witold. editor.
http://dx.doi.org/10.1007/978-3-319-25964-2
Format: Electronic Resources

Agile Software Development Teams

2024-05-15T18:45:39Z

Yazar Schmidt, Christoph. author.
http://dx.doi.org/10.1007/978-3-319-26057-0
Format: Electronic Resources

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Braga, Christiano. editor.
http://dx.doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Bošnački, Dragan. editor.
http://dx.doi.org/10.1007/978-3-319-32582-8
Format: Electronic Resources

Computational Sustainability

2024-05-15T18:45:39Z

Yazar Lässig, Jörg. editor.
http://dx.doi.org/10.1007/978-3-319-31858-5
Format: Electronic Resources

Hagenberg Business Process Modelling Method

2024-05-15T18:45:39Z

Yazar Kossak, Felix. author.
http://dx.doi.org/10.1007/978-3-319-30496-0
Format: Electronic Resources

Jumpstart Tableau A Step-By-Step Guide to Better Data Visualization

2024-05-15T18:45:39Z

Yazar Khan, Arshad. author.
http://dx.doi.org/10.1007/978-1-4842-1934-8
Format: Electronic Resources

Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Arnicans, Guntis. editor.
http://dx.doi.org/10.1007/978-3-319-40180-5
Format: Electronic Resources

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Gaudou, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-31447-1
Format: Electronic Resources

Trust, Privacy and Security in Digital Business 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Katsikas, Sokratis. editor.
http://dx.doi.org/10.1007/978-3-319-44341-6
Format: Electronic Resources

Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria

2024-05-15T18:45:39Z

Yazar Chikhi, Salim. editor.
http://dx.doi.org/10.1007/978-3-319-33410-3
Format: Electronic Resources

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Klusch, Matthias. editor.
http://dx.doi.org/10.1007/978-3-319-45889-2
Format: Electronic Resources

Collaboration and Technology 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Yuizono, Takaya. editor.
http://dx.doi.org/10.1007/978-3-319-44799-5
Format: Electronic Resources

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Lucanu, Dorel. editor.
http://dx.doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Kreiner, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-44817-6
Format: Electronic Resources

Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters

2024-05-15T18:45:39Z

Yazar Al-Akkad, Amro. author.
http://dx.doi.org/10.1007/978-3-658-12616-2
Format: Electronic Resources

Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Dregvaite, Giedre. editor.
http://dx.doi.org/10.1007/978-3-319-46254-7
Format: Electronic Resources

Variation Based Dense 3D Reconstruction Application on Monocular Mini-Laparoscopic Sequences

2024-05-15T18:45:39Z

Yazar Painer, Sven. author.
http://dx.doi.org/10.1007/978-3-658-12698-8
Format: Electronic Resources

Description and Selection of Communication Services for Service Oriented Network Architectures

2024-05-15T18:45:39Z

Yazar Khondoker, Rahamatullah. author.
http://dx.doi.org/10.1007/978-3-658-12742-8
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2024-05-15T18:45:39Z

Yazar Torra, Vicenç. author.
http://dx.doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-05-15T18:45:39Z

Yazar Steffen, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

Process Mining Data Science in Action

2024-05-15T18:45:39Z

Yazar van der Aalst, Wil. author.
http://dx.doi.org/10.1007/978-3-662-49851-4
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-05-15T18:45:39Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources

Nordic Contributions in IS Research 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Lundh Snis, Ulrika. editor.
http://dx.doi.org/10.1007/978-3-319-43597-8
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Bellatreche, Ladjel. editor.
http://dx.doi.org/10.1007/978-3-319-45547-1
Format: Electronic Resources

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Maruyama, Naoya. editor.
http://dx.doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

2024-05-15T18:45:39Z

Yazar Meisen, Philipp. author.
http://dx.doi.org/10.1007/978-3-658-15728-9
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXV

2024-05-15T18:45:39Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-53580-6
Format: Electronic Resources

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-319-33693-0
Format: Electronic Resources

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Kapitsaki, Georgia M. editor.
http://dx.doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Bozzon, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-38791-8
Format: Electronic Resources

Games and Learning Alliance 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar De Gloria, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-40216-1
Format: Electronic Resources

Business Modeling and Software Design 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Shishkov, Boris. editor.
http://dx.doi.org/10.1007/978-3-319-40512-4
Format: Electronic Resources

Software Business 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Maglyas, Andrey. editor.
http://dx.doi.org/10.1007/978-3-319-40515-5
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Creignou, Nadia. editor.
http://dx.doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2024-05-15T18:45:39Z

Yazar Lopp, Michael. author.
http://dx.doi.org/10.1007/978-1-4842-2158-7
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Biomedical Data Management and Graph Online Querying VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 – September 4, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Wang, Fusheng. editor.
http://dx.doi.org/10.1007/978-3-319-41576-5
Format: Electronic Resources

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Mazzara, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-41579-6
Format: Electronic Resources

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar De Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-05-15T18:45:39Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Celesti, Antonio. editor.
http://dx.doi.org/10.1007/978-3-319-33313-7
Format: Electronic Resources

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

2024-05-15T18:45:39Z

Yazar Ross, Hans-Leo. author.
http://dx.doi.org/10.1007/978-3-319-33361-8
Format: Electronic Resources

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Wąsowski, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources

Theory and Practice of Model Transformations 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Van Gorp, Pieter. editor.
http://dx.doi.org/10.1007/978-3-319-42064-6
Format: Electronic Resources

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

2024-05-15T18:45:39Z

Yazar Karagiannis, Dimitris. editor.
http://dx.doi.org/10.1007/978-3-319-39417-6
Format: Electronic Resources

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II

2024-05-15T18:45:39Z

Yazar Marcus, Aaron. editor.
http://dx.doi.org/10.1007/978-3-319-40355-7
Format: Electronic Resources

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Kozubek, Tomáš. editor.
http://dx.doi.org/10.1007/978-3-319-40361-8
Format: Electronic Resources

Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III

2024-05-15T18:45:39Z

Yazar Kurosu, Masaaki. editor.
http://dx.doi.org/10.1007/978-3-319-39513-5
Format: Electronic Resources

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Lluch Lafuente, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XI

2024-05-15T18:45:39Z

Yazar Koutny, Maciej. editor.
http://dx.doi.org/10.1007/978-3-662-53401-4
Format: Electronic Resources

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Rival, Xavier. editor.
http://dx.doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2024-05-15T18:45:39Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Jobstmann, Barbara. editor.
http://dx.doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor.
http://dx.doi.org/10.1007/978-3-662-49192-8
Format: Electronic Resources

Transactions on Engineering Technologies

2024-05-15T18:45:39Z

Yazar Ao, Sio-iong. editor.
http://dx.doi.org/10.1007/978-981-10-1088-0
Format: Electronic Resources

Mobile and Wireless Technologies 2016

2024-05-15T18:45:39Z

Yazar Kim, Kuinam J. editor.
http://dx.doi.org/10.1007/978-981-10-1409-3
Format: Electronic Resources

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources

Mobile Web and Intelligent Information Systems 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Younas, Muhammad. editor.
http://dx.doi.org/10.1007/978-3-319-44215-0
Format: Electronic Resources

Managing Software Process Evolution Traditional, Agile and Beyond – How to Handle Process Change

2024-05-15T18:45:39Z

Yazar Kuhrmann, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-31545-4
Format: Electronic Resources

Service-Oriented and Cloud Computing 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Aiello, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-44482-6
Format: Electronic Resources

Design Thinking Research Taking Breakthrough Innovation Home

2024-05-15T18:45:39Z

Yazar Plattner, Hasso. editor.
http://dx.doi.org/10.1007/978-3-319-40382-3
Format: Electronic Resources

Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes

2024-05-15T18:45:39Z

Yazar Adão, Telmo. author.
http://dx.doi.org/10.1007/978-3-319-42372-2
Format: Electronic Resources

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Greuel, Gert-Martin. editor.
http://dx.doi.org/10.1007/978-3-319-42432-3
Format: Electronic Resources

Advanced Information Systems Engineering Workshops CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Krogstie, John. editor.
http://dx.doi.org/10.1007/978-3-319-39564-7
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Jelasity, Márk. editor.
http://dx.doi.org/10.1007/978-3-319-39577-7
Format: Electronic Resources

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Kohlhase, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

2024-05-15T18:45:39Z

Yazar Herdt, Vladimir. author.
http://dx.doi.org/10.1007/978-3-658-12680-3
Format: Electronic Resources

Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Sheng, Quan Z. editor.
http://dx.doi.org/10.1007/978-3-319-46295-0
Format: Electronic Resources

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Jacobs, Bart. editor.
http://dx.doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Architectural Design Conception and Specification of Interactive Systems

2024-05-15T18:45:39Z

Yazar Vissers, Chris A. author.
http://dx.doi.org/10.1007/978-3-319-43298-4
Format: Electronic Resources

Qualità dei sistemi e del software Il prossimo passo per l’industrializzazione

2024-05-15T18:45:39Z

Yazar Wieczorek, Martin. author.
http://dx.doi.org/10.1007/978-3-662-47771-7
Format: Electronic Resources

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Sarro, Federica. editor.
http://dx.doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Cinquemani, Eugenio. editor.
http://dx.doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Thiemann, Peter. editor.
http://dx.doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Aichernig, Bernhard K. editor.
http://dx.doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources

Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Sharp, Helen. editor.
http://dx.doi.org/10.1007/978-3-319-33515-5
Format: Electronic Resources

Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Mamatas, Lefteris. editor.
http://dx.doi.org/10.1007/978-3-319-33936-8
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Lecomte, Thierry. editor.
http://dx.doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Pragmatic Evaluation of Software Architectures

2024-05-15T18:45:39Z

Yazar Knodel, Jens. author.
http://dx.doi.org/10.1007/978-3-319-34177-4
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Maciaszek, Leszek A. editor.
http://dx.doi.org/10.1007/978-3-319-30243-0
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods Transportation by Road and Rail

2024-05-15T18:45:39Z

Yazar Vamanu, Bogdan I. author.
http://dx.doi.org/10.1007/978-3-319-30931-6
Format: Electronic Resources

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2024-05-15T18:45:39Z

Yazar Lindley, Sam. editor.
http://dx.doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources

Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Wierzbicki, Adam. editor.
http://dx.doi.org/10.1007/978-3-319-28361-6
Format: Electronic Resources

OSS Reliability Measurement and Assessment

2024-05-15T18:45:39Z

Yazar Yamada, Shigeru. author.
http://dx.doi.org/10.1007/978-3-319-31818-9
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-05-15T18:45:39Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Alferes, Jose Julio. editor.
http://dx.doi.org/10.1007/978-3-319-42019-6
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2024-05-15T18:45:39Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2024-05-15T18:45:39Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42111-7
Format: Electronic Resources

Usability- and Accessibility-Focused Requirements Engineering 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

2024-05-15T18:45:39Z

Yazar Ebert, Achim. editor.
http://dx.doi.org/10.1007/978-3-319-45916-5
Format: Electronic Resources

Enterprise, Business-Process and Information Systems Modeling 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings

2024-05-15T18:45:39Z

Yazar Schmidt, Rainer. editor.
http://dx.doi.org/10.1007/978-3-319-39429-9
Format: Electronic Resources

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part III

2024-05-15T18:45:39Z

Yazar Marcus, Aaron. editor.
http://dx.doi.org/10.1007/978-3-319-40406-6
Format: Electronic Resources

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I

2024-05-15T18:45:39Z

Yazar Marcus, Aaron. editor.
http://dx.doi.org/10.1007/978-3-319-40409-7
Format: Electronic Resources

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Abdulla, Parosh Aziz. editor.
http://dx.doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Fränzle, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Kordy, Barbara. editor.
http://dx.doi.org/10.1007/978-3-319-46263-9
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Dignum, Virginia. editor.
http://dx.doi.org/10.1007/978-3-319-42691-4
Format: Electronic Resources

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2024-05-15T18:45:39Z

Yazar Kunze, Matthias. author.
http://dx.doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources

Advanced Information Systems Engineering 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Nurcan, Selmin. editor.
http://dx.doi.org/10.1007/978-3-319-39696-5
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Altmann, Jörn. editor.
http://dx.doi.org/10.1007/978-3-319-43177-2
Format: Electronic Resources

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Grabowski, Jens. editor.
http://dx.doi.org/10.1007/978-3-319-46613-2
Format: Electronic Resources

Information Systems: Development, Research, Applications, Education 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Wrycza, Stanislaw. editor.
http://dx.doi.org/10.1007/978-3-319-46642-2
Format: Electronic Resources

Collaboration in a Hyperconnected World 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Afsarmanesh, Hamideh. editor.
http://dx.doi.org/10.1007/978-3-319-45390-3
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-15T18:45:39Z

Yazar Skrzypczak, Michał. author.
http://dx.doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Monrose, Fabian. editor.
http://dx.doi.org/10.1007/978-3-319-45719-2
Format: Electronic Resources

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Czachórski, Tadeusz. editor.
http://dx.doi.org/10.1007/978-3-319-47217-1
Format: Electronic Resources

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Hannig, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-30695-7
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Rovatsos, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Instruction Selection Principles, Methods, and Applications

2024-05-15T18:45:39Z

Yazar Hjort Blindell, Gabriel. author.
http://dx.doi.org/10.1007/978-3-319-34019-7
Format: Electronic Resources

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2024-05-15T18:45:39Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources

Automated Software and Service Composition A Survey and Evaluating Review

2024-05-15T18:45:39Z

Yazar Mohr, Felix. author.
http://dx.doi.org/10.1007/978-3-319-34168-2
Format: Electronic Resources

Distributed Simulation A Model Driven Engineering Approach

2024-05-15T18:45:39Z

Yazar Topçu, Okan. author.
http://dx.doi.org/10.1007/978-3-319-03050-0
Format: Electronic Resources

Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015

2024-05-15T18:45:39Z

Yazar Ciancarini, Paolo. editor.
http://dx.doi.org/10.1007/978-3-319-27896-4
Format: Electronic Resources

Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Daniel, Florian. editor.
http://dx.doi.org/10.1007/978-3-319-28727-0
Format: Electronic Resources

Tangible Interactive Systems Grasping the Real World with Computers

2024-05-15T18:45:39Z

Yazar Boy, Guy André. author.
http://dx.doi.org/10.1007/978-3-319-30270-6
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Daneva, Maya. editor.
http://dx.doi.org/10.1007/978-3-319-30282-9
Format: Electronic Resources

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Remke, Anne. editor.
http://dx.doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Karydis, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Borangiu, Theodor. editor.
http://dx.doi.org/10.1007/978-3-319-32689-4
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2024-05-15T18:45:39Z

Yazar Chaudhuri, Swarat. editor.
http://dx.doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Open Source Systems: Integrating Communities 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Crowston, Kevin. editor.
http://dx.doi.org/10.1007/978-3-319-39225-7
Format: Electronic Resources

Project Management Basics How to Manage Your Project with Checklists

2024-05-15T18:45:39Z

Yazar McBride, Melanie. author.
http://dx.doi.org/10.1007/978-1-4842-2086-3
Format: Electronic Resources

Trustworthy Open Self-Organising Systems

2024-05-15T18:45:39Z

Yazar Reif, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-319-29201-4
Format: Electronic Resources

Green, Pervasive, and Cloud Computing 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Huang, Xinyi. editor.
http://dx.doi.org/10.1007/978-3-319-39077-2
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Bertogna, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources

Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects

2024-05-15T18:45:39Z

Yazar Book, Matthias. author.
http://dx.doi.org/10.1007/978-3-319-41478-2
Format: Electronic Resources

Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Davis, Brian. editor.
http://dx.doi.org/10.1007/978-3-319-41498-0
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2024-05-15T18:45:39Z

Yazar Chaudhuri, Swarat. editor.
http://dx.doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2024-05-15T18:45:39Z

Yazar Probst, Christian W. editor.
http://dx.doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

Intelligent Web Data Management: Software Architectures and Emerging Technologies

2024-05-15T18:45:39Z

Yazar Ma, Kun. author.
http://dx.doi.org/10.1007/978-3-319-30192-1
Format: Electronic Resources

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Gurfinkel, Arie. editor.
http://dx.doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Serrano, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

Integrating User-Centred Design in Agile Development

2024-05-15T18:45:39Z

Yazar Cockton, Gilbert. editor.
http://dx.doi.org/10.1007/978-3-319-32165-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2024-05-15T18:45:39Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2024-05-15T18:45:39Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2024-05-15T18:45:39Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Crnkovic, Ivica. editor.
http://dx.doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar ter Beek, Maurice H. editor.
http://dx.doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources

Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I

2024-05-15T18:45:39Z

Yazar Kurosu, Masaaki. editor.
http://dx.doi.org/10.1007/978-3-319-39510-4
Format: Electronic Resources

Big Data Technologies and Applications

2024-05-15T18:45:39Z

Yazar Furht, Borko. author.
http://dx.doi.org/10.1007/978-3-319-44550-2
Format: Electronic Resources

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Paias, Ana. editor.
http://dx.doi.org/10.1007/978-3-319-44896-1
Format: Electronic Resources

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Bogdan, Cristian. editor.
http://dx.doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Fiems, Dieter. editor.
http://dx.doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Stevens, Perdita. editor.
http://dx.doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources

Crisis Management for Software Development and Knowledge Transfer

2024-05-15T18:45:39Z

Yazar Zykov, Sergey V. author.
http://dx.doi.org/10.1007/978-3-319-42966-3
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Chechik, Marsha. editor.
http://dx.doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-05-15T18:45:39Z

Yazar van Eekelen, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Castor, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

Perspectives in Business Informatics Research 15th International Conference, BIR 2016, Prague, Czech Republic, September 15–16, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Řepa, Václav. editor.
http://dx.doi.org/10.1007/978-3-319-45321-7
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Norta, Alex. editor.
http://dx.doi.org/10.1007/978-3-662-50539-7
Format: Electronic Resources

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

2024-05-15T18:45:39Z

Yazar Goldbach, Tobias. author.
http://dx.doi.org/10.1007/978-3-658-14893-5
Format: Electronic Resources

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Osman, Nardine. editor.
http://dx.doi.org/10.1007/978-3-319-46840-2
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-05-15T18:45:39Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Hybrid Soft Computing Approaches Research and Applications

2024-05-15T18:45:39Z

Yazar Bhattacharyya, Siddhartha. editor.
http://dx.doi.org/10.1007/978-81-322-2544-7
Format: Electronic Resources

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Gavoille, Cyril. editor.
http://dx.doi.org/10.1007/978-3-662-53426-7
Format: Electronic Resources

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Echahed, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

2024-05-15T18:45:39Z

Yazar Yang, Gi-Chul. editor.
http://dx.doi.org/10.1007/978-981-10-0551-0
Format: Electronic Resources

Information Technology in Environmental Engineering Proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015)

2024-05-15T18:45:39Z

Yazar Marx Gómez, Jorge. editor.
http://dx.doi.org/10.1007/978-3-319-25153-0
Format: Electronic Resources

Collaborative Quality Assurance in Information Systems Development The Interaction of Software Development Techniques and Team Cognition

2024-05-15T18:45:39Z

Yazar Spohrer, Kai. author.
http://dx.doi.org/10.1007/978-3-319-25163-9
Format: Electronic Resources

Autonomic Road Transport Support Systems

2024-05-15T18:45:39Z

Yazar McCluskey, Thomas Leo. editor.
http://dx.doi.org/10.1007/978-3-319-25808-9
Format: Electronic Resources

Design Thinking Research Making Design Thinking Foundational

2024-05-15T18:45:39Z

Yazar Plattner, Hasso. editor.
http://dx.doi.org/10.1007/978-3-319-19641-1
Format: Electronic Resources

Multidimensional Views on Enterprise Information Systems Proceedings of ERP Future 2014

2024-05-15T18:45:39Z

Yazar Piazolo, Felix. editor.
http://dx.doi.org/10.1007/978-3-319-27043-2
Format: Electronic Resources

Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Lorenz, Pascal. editor.
http://dx.doi.org/10.1007/978-3-319-30142-6
Format: Electronic Resources

Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Helfert, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-29582-4
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Yakovyna, Vitaliy. editor.
http://dx.doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Kofroň, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-29817-7
Format: Electronic Resources

Software Engineering Education Going Agile 11th China–Europe International Symposium on Software Engineering Education (CEISEE 2015)

2024-05-15T18:45:39Z

Yazar Kassel, Stephan. editor.
http://dx.doi.org/10.1007/978-3-319-29166-6
Format: Electronic Resources

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Mauw, Sjouke. editor.
http://dx.doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Hildebrandt, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

Software Engineering Research, Management and Applications

2024-05-15T18:45:39Z

Yazar Lee, Roger. editor.
http://dx.doi.org/10.1007/978-3-319-33903-0
Format: Electronic Resources

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings

2024-05-15T18:45:39Z

Yazar Zhang, Yin. editor.
http://dx.doi.org/10.1007/978-3-319-38904-2
Format: Electronic Resources

Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Clarke, Paul M. editor.
http://dx.doi.org/10.1007/978-3-319-38980-6
Format: Electronic Resources

An Economic Interpretation of Linear Programming

2024-05-15T18:45:39Z

Yazar Paris, Quirino. author.
http://dx.doi.org/10.1057/9781137573926
Format: Electronic Resources

Behavioral Program Synthesis with Genetic Programming

2024-05-15T18:45:39Z

Yazar Krawiec, Krzysztof. author.
http://dx.doi.org/10.1007/978-3-319-27565-9
Format: Electronic Resources

Software Design for Resilient Computer Systems

2024-05-15T18:45:39Z

Yazar Schagaev, Igor. author.
http://dx.doi.org/10.1007/978-3-319-29465-0
Format: Electronic Resources

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2024-05-15T18:45:39Z

Yazar Cornélio, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-29473-5
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-05-15T18:45:39Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2024-05-15T18:45:39Z

Yazar Kiselyov, Oleg. editor.
http://dx.doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2024-05-15T18:45:39Z

Yazar Caballero, Juan. editor.
http://dx.doi.org/10.1007/978-3-319-30806-7
Format: Electronic Resources

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2024-05-15T18:45:39Z

Yazar Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources