Search Results for - Narrowed by: 2016 - Software engineering.

Enterprise DevOps playbook : a guide to delivering at velocity

2024-06-08T01:53:46Z

by Ott, Bill, author.
https://learning.oreilly.com/library/view/~/9781492030065/?ar https://go.oreilly.com/library-access/library/view/-/9781492030065/?ar https://learning.oreilly.com/library/view/~/9781492030065
Format: Electronic Resources

Programming with Python

2024-06-08T01:53:46Z

by Padmanabhan, T R. author.
https://doi.org/10.1007/978-981-10-3277-6
Format: Electronic Resources

Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems 6th International Conference, PSATS 2014, Genoa, Italy, July 28–29, 2014, Revised Selected Papers

2024-06-08T01:53:46Z

by Bisio, Igor. editor.
https://doi.org/10.1007/978-3-319-47081-8
Format: Electronic Resources

Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings

2024-06-08T01:53:46Z

by Zhang, Lu. editor.
https://doi.org/10.1007/978-981-10-3482-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Dregvaite, Giedre. editor.
https://doi.org/10.1007/978-3-319-46254-7
Format: Electronic Resources

Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I

2024-06-08T01:53:46Z

by Mandler, Benny. editor.
https://doi.org/10.1007/978-3-319-47063-4
Format: Electronic Resources

Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments

2024-06-08T01:53:46Z

by Biswas, Pradipta. author.
https://doi.org/10.1007/978-3-319-40709-8
Format: Electronic Resources

Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Figueroa-García, Juan Carlos. editor.
https://doi.org/10.1007/978-3-319-50880-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Helfert, Markus. editor.
https://doi.org/10.1007/978-3-319-29582-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2024-06-08T01:53:46Z

by Lamprecht, Anna-Lena. editor.
https://doi.org/10.1007/978-3-319-51641-7
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Goldbach, Tobias. author.
https://doi.org/10.1007/978-3-658-14893-5
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-06-08T01:53:46Z

by Leon-Garcia, Alberto. editor.
https://doi.org/10.1007/978-3-319-33681-7
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-06-08T01:53:46Z

by Lecomte, Thierry. editor.
https://doi.org/10.1007/978-3-319-33951-1
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-06-08T01:53:46Z

by Grabowski, Jens. editor.
https://doi.org/10.1007/978-3-319-46613-2
Format: Electronic Resources

Mobile, Secure, and Programmable Networking Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Boumerdassi, Selma. editor.
https://doi.org/10.1007/978-3-319-50463-6
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-06-08T01:53:46Z

by Crowston, Kevin. editor.
https://doi.org/10.1007/978-3-319-39225-7
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Kuhrmann, Marco. editor.
https://doi.org/10.1007/978-3-319-31545-4
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-06-08T01:53:46Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-40406-6
Format: Electronic Resources

Principles and Practice of Multi-Agent Systems International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-46218-9
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-06-08T01:53:46Z

by Bertogna, Marko. editor.
https://doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Cinquemani, Eugenio. editor.
https://doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources

Guide to Software Development Designing and Managing the Life Cycle

2024-06-08T01:53:46Z

by Langer, Arthur M. author.
https://doi.org/10.1007/978-1-4471-6799-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Fiems, Dieter. editor.
https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Web Information Systems Engineering – WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

2024-06-08T01:53:46Z

by Cellary, Wojciech. editor.
https://doi.org/10.1007/978-3-319-48743-4
Format: Electronic Resources

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2024-06-08T01:53:46Z

by Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-319-48989-6
Format: Electronic Resources

System Architecture An Ordinary Engineering Discipline

2024-06-08T01:53:46Z

by Paul, Wolfgang J. author.
https://doi.org/10.1007/978-3-319-43065-2
Format: Electronic Resources

Advances in Visual Computing 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II

2024-06-08T01:53:46Z

by Bebis, George. editor.
https://doi.org/10.1007/978-3-319-50832-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Hannig, Frank. editor.
https://doi.org/10.1007/978-3-319-30695-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-06-08T01:53:46Z

by Echahed, Rachid. editor.
https://doi.org/10.1007/978-3-319-40530-8
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-06-08T01:53:46Z

by Norta, Alex. editor.
https://doi.org/10.1007/978-3-662-50539-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-06-08T01:53:46Z

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

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-06-08T01:53:46Z

by Dutot, Pierre-François. editor.
https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42111-7
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Bellatreche, Ladjel. editor.
https://doi.org/10.1007/978-3-319-45547-1
Format: Electronic Resources

Web Information Systems Engineering – WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I

2024-06-08T01:53:46Z

by Cellary, Wojciech. editor.
https://doi.org/10.1007/978-3-319-48740-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Sarro, Federica. editor.
https://doi.org/10.1007/978-3-319-47106-8
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-06-08T01:53:46Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-40355-7
Format: Electronic Resources

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

2024-06-08T01:53:46Z

by Bello, Fernando. editor.
https://doi.org/10.1007/978-3-319-42321-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Kordy, Barbara. editor.
https://doi.org/10.1007/978-3-319-46263-9
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-06-08T01:53:46Z

by Chechik, Marsha. editor.
https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Gavoille, Cyril. editor.
https://doi.org/10.1007/978-3-662-53426-7
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2024-06-08T01:53:46Z

by Igarashi, Atsushi. editor.
https://doi.org/10.1007/978-3-319-47958-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Kohlhase, Michael. editor.
https://doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Maruyama, Naoya. editor.
https://doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Abdulla, Parosh Aziz. editor.
https://doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

The FLP Microsatellite Platform Flight Operations Manual

2024-06-08T01:53:46Z

by Eickhoff, Jens. editor.
https://doi.org/10.1007/978-3-319-23503-5
Format: Electronic Resources

Intelligent Web Data Management: Software Architectures and Emerging Technologies

2024-06-08T01:53:46Z

by Ma, Kun. author.
https://doi.org/10.1007/978-3-319-30192-1
Format: Electronic Resources

Hybrid Soft Computing Approaches Research and Applications

2024-06-08T01:53:46Z

by Bhattacharyya, Siddhartha. editor.
https://doi.org/10.1007/978-81-322-2544-7
Format: Electronic Resources

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

2024-06-08T01:53:46Z

by Karagiannis, Dimitris. editor.
https://doi.org/10.1007/978-3-319-39417-6
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-06-08T01:53:46Z

by Yakovyna, Vitaliy. editor.
https://doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources

ICT Education 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Gruner, Stefan. editor.
https://doi.org/10.1007/978-3-319-47680-3
Format: Electronic Resources

Modeling with UML Language, Concepts, Methods

2024-06-08T01:53:46Z

by Rumpe, Bernhard. author.
https://doi.org/10.1007/978-3-319-33933-7
Format: Electronic Resources

Collaboration Meets Interactive Spaces

2024-06-08T01:53:46Z

by Anslow, Craig. editor.
https://doi.org/10.1007/978-3-319-45853-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Kreiner, Christian. editor.
https://doi.org/10.1007/978-3-319-44817-6
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Zhang, Yin. editor.
https://doi.org/10.1007/978-3-319-38904-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-06-08T01:53:46Z

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

Big Data Technologies and Applications

2024-06-08T01:53:46Z

by Furht, Borko. author.
https://doi.org/10.1007/978-3-319-44550-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Meisen, Philipp. author.
https://doi.org/10.1007/978-3-658-15728-9
Format: Electronic Resources

Tangible Interactive Systems Grasping the Real World with Computers

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Monrose, Fabian. editor.
https://doi.org/10.1007/978-3-319-45719-2
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-06-08T01:53:46Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2024-06-08T01:53:46Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-46520-3
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-06-08T01:53:46Z

by Ebert, Achim. editor.
https://doi.org/10.1007/978-3-319-45916-5
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings

2024-06-08T01:53:46Z

by Carretero, Jesus. editor.
https://doi.org/10.1007/978-3-319-49956-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-06-08T01:53:46Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-34096-8
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-06-08T01:53:46Z

by Stevens, Perdita. editor.
https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2024-06-08T01:53:46Z

by Bloem, Roderick. editor.
https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Mauw, Sjouke. editor.
https://doi.org/10.1007/978-3-319-29968-6
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-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Creignou, Nadia. editor.
https://doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

2024-06-08T01:53:46Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47166-2
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-06-08T01:53:46Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-33600-8
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-06-08T01:53:46Z

by Kofroň, Jan. editor.
https://doi.org/10.1007/978-3-319-29817-7
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-06-08T01:53:46Z

by Thiemann, Peter. editor.
https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Braga, Christiano. editor.
https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Kapitsaki, Georgia M. editor.
https://doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Crnkovic, Ivica. editor.
https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Sheng, Quan Z. editor.
https://doi.org/10.1007/978-3-319-46295-0
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-06-08T01:53:46Z

by Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-39513-5
Format: Electronic Resources

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2024-06-08T01:53:46Z

by Ogata, Kazuhiro. editor.
https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources

Human Centered Computing Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Zu, Qiaohong. editor.
https://doi.org/10.1007/978-3-319-31854-7
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Interaction Techniques and Environments 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part II

2024-06-08T01:53:46Z

by Antona, Margherita. editor.
https://doi.org/10.1007/978-3-319-40244-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Daneva, Maya. editor.
https://doi.org/10.1007/978-3-319-30282-9
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2024-06-08T01:53:46Z

by Carretero, Jesus. editor.
https://doi.org/10.1007/978-3-319-49583-5
Format: Electronic Resources

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

2024-06-08T01:53:46Z

by Comyn-Wattiau, Isabelle. editor.
https://doi.org/10.1007/978-3-319-46397-1
Format: Electronic Resources

Security, Privacy, and Applied Cryptography Engineering 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings

2024-06-08T01:53:46Z

by Carlet, Claude. editor.
https://doi.org/10.1007/978-3-319-49445-6
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Olivetti, Nicola. editor.
https://doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXV

2024-06-08T01:53:46Z

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

OSS Reliability Measurement and Assessment

2024-06-08T01:53:46Z

by Yamada, Shigeru. author.
https://doi.org/10.1007/978-3-319-31818-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Davis, Brian. editor.
https://doi.org/10.1007/978-3-319-41498-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2024-06-08T01:53:46Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

Instruction Selection Principles, Methods, and Applications

2024-06-08T01:53:46Z

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

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-319-56390-9
Format: Electronic Resources

Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II

2024-06-08T01:53:46Z

by Mandler, Benny. editor.
https://doi.org/10.1007/978-3-319-47075-7
Format: Electronic Resources

Development of a Cyber Physical System for Fire Safety

2024-06-08T01:53:46Z

by Wills, Rosalie Faith. author.
https://doi.org/10.1007/978-3-319-47124-2
Format: Electronic Resources

Pragmatic Evaluation of Software Architectures

2024-06-08T01:53:46Z

by Knodel, Jens. author.
https://doi.org/10.1007/978-3-319-34177-4
Format: Electronic Resources

Integrating User-Centred Design in Agile Development

2024-06-08T01:53:46Z

by Cockton, Gilbert. editor.
https://doi.org/10.1007/978-3-319-32165-3
Format: Electronic Resources

Process Mining Data Science in Action

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Herdt, Vladimir. author.
https://doi.org/10.1007/978-3-658-12680-3
Format: Electronic Resources

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-3-662-49283-3
Format: Electronic Resources

Architectural Design Conception and Specification of Interactive Systems

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Al-Akkad, Amro. author.
https://doi.org/10.1007/978-3-658-12616-2
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-06-08T01:53:46Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-319-30243-0
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-06-08T01:53:46Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-40409-7
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-06-08T01:53:46Z

by Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-39510-4
Format: Electronic Resources

Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

2024-06-08T01:53:46Z

by Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-319-47590-5
Format: Electronic Resources

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2024-06-08T01:53:46Z

by Fränzle, Martin. editor.
https://doi.org/10.1007/978-3-319-47677-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

Transactions on Computational Science XXVII

2024-06-08T01:53:46Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-50412-3
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-06-08T01:53:46Z

by Remke, Anne. editor.
https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Caballero, Juan. editor.
https://doi.org/10.1007/978-3-319-30806-7
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-06-08T01:53:46Z

by Altmann, Jörn. editor.
https://doi.org/10.1007/978-3-319-43177-2
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-06-08T01:53:46Z

by Wang, Fusheng. editor.
https://doi.org/10.1007/978-3-319-41576-5
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Osman, Nardine. editor.
https://doi.org/10.1007/978-3-319-46840-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by De Gloria, Alessandro. editor.
https://doi.org/10.1007/978-3-319-40216-1
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-06-08T01:53:46Z

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

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Gorentla Venkata, Manjunath. editor.
https://doi.org/10.1007/978-3-319-50995-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Rival, Xavier. editor.
https://doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Ábrahám, Erika. editor.
https://doi.org/10.1007/978-3-319-33693-0
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-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

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

Interactive Modeling and Simulation in Business System Design

2024-06-08T01:53:46Z

by Roubtsova, Ella. author.
https://doi.org/10.1007/978-3-319-15102-1
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings

2024-06-08T01:53:46Z

by Debruyne, Christophe. editor.
https://doi.org/10.1007/978-3-319-48472-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Kiselyov, Oleg. editor.
https://doi.org/10.1007/978-3-319-29604-3
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-06-08T01:53:46Z

by Dignum, Virginia. editor.
https://doi.org/10.1007/978-3-319-42691-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Castor, Fernando. editor.
https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

Hagenberg Business Process Modelling Method

2024-06-08T01:53:46Z

by Kossak, Felix. author.
https://doi.org/10.1007/978-3-319-30496-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Milazzo, Paolo. editor.
https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Rayadurgam, Sanjai. editor.
https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Liu, Zhiming. editor.
https://doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XI

2024-06-08T01:53:46Z

by Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-53401-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Klusch, Matthias. editor.
https://doi.org/10.1007/978-3-319-45889-2
Format: Electronic Resources

Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Panigrahi, Bijaya Ketan. editor.
https://doi.org/10.1007/978-3-319-48959-9
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2024-06-08T01:53:46Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41540-6
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-06-08T01:53:46Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

2024-06-08T01:53:46Z

by Bello, Fernando. editor.
https://doi.org/10.1007/978-3-319-42324-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41528-4
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-06-08T01:53:46Z

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

Interactive Collaborative Robotics First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings

2024-06-08T01:53:46Z

by Ronzhin, Andrey. editor.
https://doi.org/10.1007/978-3-319-43955-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-06-08T01:53:46Z

by Hildebrandt, Thomas. editor.
https://doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Huang, Xinyi. editor.
https://doi.org/10.1007/978-3-319-39077-2
Format: Electronic Resources

Current Trends in Web Engineering ICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016. Revised Selected Papers

2024-06-08T01:53:46Z

by Casteleyn, Sven. editor.
https://doi.org/10.1007/978-3-319-46963-8
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-06-08T01:53:46Z

by Shen, Xipeng. editor.
https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

Music, Mind, and Embodiment 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Kronland-Martinet, Richard. editor.
https://doi.org/10.1007/978-3-319-46282-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

Project-Management in Practice A Guideline and Toolbox for Successful Projects

2024-06-08T01:53:46Z

by Alam, M. Daud. author.
https://doi.org/10.1007/978-3-662-52944-7
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-06-08T01:53:46Z

by Kroening, Daniel. author.
https://doi.org/10.1007/978-3-662-50497-0
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-06-08T01:53:46Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Nääs, Irenilza. editor.
https://doi.org/10.1007/978-3-319-51133-7
Format: Electronic Resources

Frontier Computing Theory, Technologies and Applications

2024-06-08T01:53:46Z

by Hung, Jason C. editor.
https://doi.org/10.1007/978-981-10-0539-8
Format: Electronic Resources

Internetware A New Software Paradigm for Internet Computing

2024-06-08T01:53:46Z

by Mei, Hong. author.
https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2024-06-08T01:53:46Z

by Kunze, Matthias. author.
https://doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources

Distributed Simulation A Model Driven Engineering Approach

2024-06-08T01:53:46Z

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

Requirements Engineering Toward Sustainable World Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings

2024-06-08T01:53:46Z

by Lee, Seok-Won. editor.
https://doi.org/10.1007/978-981-10-3256-1
Format: Electronic Resources

Technologies and Innovation Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings

2024-06-08T01:53:46Z

by Valencia-García, Rafael. editor.
https://doi.org/10.1007/978-3-319-48024-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK

2024-06-08T01:53:46Z

by Mariani, Stefano. author.
https://doi.org/10.1007/978-3-319-47109-9
Format: Electronic Resources

Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings

2024-06-08T01:53:46Z

by Parsons, Jeffrey. editor.
https://doi.org/10.1007/978-3-319-39294-3
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-06-08T01:53:46Z

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

Knowledge Engineering and Knowledge Management 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings

2024-06-08T01:53:46Z

by Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-49004-5
Format: Electronic Resources

Advances in Visual Computing 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I

2024-06-08T01:53:46Z

by Bebis, George. editor.
https://doi.org/10.1007/978-3-319-50835-1
Format: Electronic Resources

Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

2024-06-08T01:53:46Z

by Tekinerdogan, Bedir. editor.
https://doi.org/10.1007/978-3-319-48992-6
Format: Electronic Resources

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2024-06-08T01:53:46Z

by Abrahamsson, Pekka. editor.
https://doi.org/10.1007/978-3-319-49094-6
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Wierzbicki, Adam. editor.
https://doi.org/10.1007/978-3-319-28361-6
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

2024-06-08T01:53:46Z

by Sampaio, Augusto. editor.
https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources

Deductive Software Verification – The KeY Book From Theory to Practice

2024-06-08T01:53:46Z

by Ahrendt, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-06-08T01:53:46Z

by Chiba, Shigeru. editor.
https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources

Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings

2024-06-08T01:53:46Z

by Link, Sebastian. editor.
https://doi.org/10.1007/978-3-319-47717-6
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Blazy, Sandrine. editor.
https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Nurcan, Selmin. editor.
https://doi.org/10.1007/978-3-319-39696-5
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Gaudou, Benoit. editor.
https://doi.org/10.1007/978-3-319-31447-1
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-06-08T01:53:46Z

by Rovatsos, Michael. editor.
https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Inclusive Smart Cities and Digital Health 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings

2024-06-08T01:53:46Z

by Chang, Carl K. editor.
https://doi.org/10.1007/978-3-319-39601-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Katsikas, Sokratis. editor.
https://doi.org/10.1007/978-3-319-44341-6
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-06-08T01:53:46Z

by Lucanu, Dorel. editor.
https://doi.org/10.1007/978-3-319-44802-2
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-06-08T01:53:46Z

by Jacobs, Bart. editor.
https://doi.org/10.1007/978-3-662-49630-5
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-06-08T01:53:46Z

by Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Younas, Muhammad. editor.
https://doi.org/10.1007/978-3-319-44215-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Mamatas, Lefteris. editor.
https://doi.org/10.1007/978-3-319-33936-8
Format: Electronic Resources

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2024-06-08T01:53:46Z

by Ribeiro, Leila. editor.
https://doi.org/10.1007/978-3-319-49815-7
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

2024-06-08T01:53:46Z

by Bonakdarpour, Borzoo. editor.
https://doi.org/10.1007/978-3-319-49259-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Ciancarini, Paolo. editor.
https://doi.org/10.1007/978-3-319-27896-4
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-06-08T01:53:46Z

by Gurfinkel, Arie. editor.
https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Gavanelli, Marco. editor.
https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

2024-06-08T01:53:46Z

by Mendizabal, Jaizki. editor.
https://doi.org/10.1007/978-3-319-38921-9
Format: Electronic Resources

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2024-06-08T01:53:46Z

by Michael, Loizos. editor.
https://doi.org/10.1007/978-3-319-48758-8
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-06-08T01:53:46Z

by Steffen, Bernhard. editor.
https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

Transactions on Engineering Technologies

2024-06-08T01:53:46Z

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

Software Design for Resilient Computer Systems

2024-06-08T01:53:46Z

by Schagaev, Igor. author.
https://doi.org/10.1007/978-3-319-29465-0
Format: Electronic Resources

Crisis Management for Software Development and Knowledge Transfer

2024-06-08T01:53:46Z

by Zykov, Sergey V. author.
https://doi.org/10.1007/978-3-319-42966-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

Software Engineering Research, Management and Applications

2024-06-08T01:53:46Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-319-33903-0
Format: Electronic Resources

Managing Information Technology

2024-06-08T01:53:46Z

by Castillo, Francisco. author.
https://doi.org/10.1007/978-3-319-38891-5
Format: Electronic Resources

Serious Games Foundations, Concepts and Practice

2024-06-08T01:53:46Z

by Dörner, Ralf. editor.
https://doi.org/10.1007/978-3-319-40612-1
Format: Electronic Resources

Industrial IoT Technologies and Applications International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Wan, Jiafu. editor.
https://doi.org/10.1007/978-3-319-44350-8
Format: Electronic Resources

Autonomic Road Transport Support Systems

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Borangiu, Theodor. editor.
https://doi.org/10.1007/978-3-319-32689-4
Format: Electronic Resources

Pervasive Computing Paradigms for Mental Health 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Serino, Silvia. editor.
https://doi.org/10.1007/978-3-319-32270-4
Format: Electronic Resources

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

2024-06-08T01:53:46Z

by Sieckenius de Souza, Clarisse. author.
https://doi.org/10.1007/978-3-319-42831-4
Format: Electronic Resources

Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects

2024-06-08T01:53:46Z

by Book, Matthias. author.
https://doi.org/10.1007/978-3-319-41478-2
Format: Electronic Resources

Internet of Things Technologies for HealthCare Third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Ahmed, Mobyen Uddin. editor.
https://doi.org/10.1007/978-3-319-51234-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Sharp, Helen. editor.
https://doi.org/10.1007/978-3-319-33515-5
Format: Electronic Resources

Automated Software and Service Composition A Survey and Evaluating Review

2024-06-08T01:53:46Z

by Mohr, Felix. author.
https://doi.org/10.1007/978-3-319-34168-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Yuizono, Takaya. editor.
https://doi.org/10.1007/978-3-319-44799-5
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-06-08T01:53:46Z

by Bogdan, Cristian. editor.
https://doi.org/10.1007/978-3-319-44902-9
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-06-08T01:53:46Z

by Aiello, Marco. editor.
https://doi.org/10.1007/978-3-319-44482-6
Format: Electronic Resources

Real-World Decision Support Systems Case Studies

2024-06-08T01:53:46Z

by Papathanasiou, Jason. editor.
https://doi.org/10.1007/978-3-319-43916-7
Format: Electronic Resources

Fluent 2016 : San Francisco, California video compilation

2024-06-08T01:53:46Z

by Fluent. ( 2016 : San Francisco, California)
https://go.oreilly.com/library-access/library/view/-/9781491944585/?ar https://learning.oreilly.com/videos/~/9781491944585/?ar
Format: Electronic Resources

Empirical Research in Software Engineering

2024-06-08T01:53:46Z

by Malhotra, Ruchika, author.
https://learning.oreilly.com/library/view/~/9781498719735/?ar https://learning.oreilly.com/library/view/~/9781498719735 https://go.oreilly.com/library-access/library/view/-/9781498719735/?ar
Format: Electronic Resources

Managing humans : biting and humorous tales of a software engineering manager

2024-06-08T01:53:46Z

by Lopp, Michael, author.
https://learning.oreilly.com/library/view/~/9781484221587 https://go.oreilly.com/library-access/library/view/-/9781484221587/?ar https://learning.oreilly.com/library/view/~/9781484221587/?ar
Format: Electronic Resources

Beginning Hibernate : for Hibernate 5

2024-06-08T01:53:46Z

by Ottinger, Joseph B., author.
https://learning.oreilly.com/library/view/~/9781484223192 https://go.oreilly.com/library-access/library/view/-/9781484223192/?ar https://learning.oreilly.com/library/view/~/9781484223192/?ar
Format: Electronic Resources

Practical Machine Learning Techniques for Building Intelligent Applications (Audio Book)

2024-06-08T01:53:46Z

by Lorica, Ben, author.
https://go.oreilly.com/library-access/library/view/-/9781491961872/?ar https://learning.oreilly.com/library/view/~/9781491961872/?ar https://learning.oreilly.com/library/view/~/9781491961872
Format: Electronic Resources

Mastering Git : attain expert-level proficiency with Git for enhanced productivity and efficient collaboration by mastering advanced distributed version control features

2024-06-08T01:53:46Z

by Narębski, Jakub, author.
https://go.oreilly.com/library-access/library/view/-/9781783553754/?ar https://learning.oreilly.com/library/view/~/9781783553754 https://learning.oreilly.com/library/view/~/9781783553754/?ar
Format: Electronic Resources

Agile project management using Team Foundation Server 2015

2024-06-08T01:53:46Z

by Rossberg, Joachim, 1967- author.
https://learning.oreilly.com/library/view/~/9781484218709 https://learning.oreilly.com/library/view/~/9781484218709/?ar https://go.oreilly.com/library-access/library/view/-/9781484218709/?ar
Format: Electronic Resources

Stack frames : a look from inside

2024-06-08T01:53:46Z

by Di Cataldo, Giuseppe, author.
https://learning.oreilly.com/library/view/~/9781484221815 https://learning.oreilly.com/library/view/~/9781484221815/?ar https://go.oreilly.com/library-access/library/view/-/9781484221815/?ar
Format: Electronic Resources

Perspectives on data science for software engineering

2024-06-08T01:53:46Z

by Menzies, Tim, editor.
Click to View
Format: Electronic Resources

Advances in computers. Volume 103

2024-06-08T01:53:46Z

by Memon, Atif M., editor.
Click to View
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Celesti, Antonio. editor.
https://doi.org/10.1007/978-3-319-33313-7
Format: Electronic Resources

Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard

2024-06-08T01:53:46Z

by Oquendo, Flavio. author.
https://doi.org/10.1007/978-3-319-44339-3
Format: Electronic Resources

Understanding Control Flow Concurrent Programming Using μC++

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Wieczorek, Martin. author.
https://doi.org/10.1007/978-3-662-47771-7
Format: Electronic Resources

Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Bian, Fuling. editor.
https://doi.org/10.1007/978-3-662-49155-3
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-06-08T01:53:46Z

by Afsarmanesh, Hamideh. editor.
https://doi.org/10.1007/978-3-319-45390-3
Format: Electronic Resources

Quality in Business Process Modeling

2024-06-08T01:53:46Z

by Krogstie, John. author.
https://doi.org/10.1007/978-3-319-42512-2
Format: Electronic Resources

Stakeholders and Information Technology in Education IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Brinda, Torsten. editor.
https://doi.org/10.1007/978-3-319-54687-2
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Bozzon, Alessandro. editor.
https://doi.org/10.1007/978-3-319-38791-8
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by van Eekelen, Marko. editor.
https://doi.org/10.1007/978-3-319-46559-3
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-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Karydis, Ioannis. editor.
https://doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Siarry, Patrick. editor.
https://doi.org/10.1007/978-3-319-50307-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology

2024-06-08T01:53:46Z

by Pohl, Klaus. editor.
https://doi.org/10.1007/978-3-319-48003-9
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Painer, Sven. author.
https://doi.org/10.1007/978-3-658-12698-8
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Gadducci, Fabio. editor.
https://doi.org/10.1007/978-3-319-47286-7
Format: Electronic Resources

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

2024-06-08T01:53:46Z

by Li, Kangshun. editor.
https://doi.org/10.1007/978-981-10-0356-1
Format: Electronic Resources

Computer Engineering and Technology 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-981-10-3159-5
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Daniel, Florian. editor.
https://doi.org/10.1007/978-3-319-28727-0
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Lorenz, Pascal. editor.
https://doi.org/10.1007/978-3-319-30142-6
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Arnicans, Guntis. editor.
https://doi.org/10.1007/978-3-319-40180-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-06-08T01:53:46Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Description and Selection of Communication Services for Service Oriented Network Architectures

2024-06-08T01:53:46Z

by Khondoker, Rahamatullah. author.
https://doi.org/10.1007/978-3-658-12742-8
Format: Electronic Resources

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2024-06-08T01:53:46Z

by Wotawa, Franz. editor.
https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Greuel, Gert-Martin. editor.
https://doi.org/10.1007/978-3-319-42432-3
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-06-08T01:53:46Z

by Jelasity, Márk. editor.
https://doi.org/10.1007/978-3-319-39577-7
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-06-08T01:53:46Z

by Lindley, Sam. editor.
https://doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Mejia, Jezreel. editor.
https://doi.org/10.1007/978-3-319-26285-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-06-08T01:53:46Z

by Winkler, Dietmar. editor.
https://doi.org/10.1007/978-3-319-27033-3
Format: Electronic Resources

Trustworthy Open Self-Organising Systems

2024-06-08T01:53:46Z

by Reif, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-29201-4
Format: Electronic Resources

Computational Sustainability

2024-06-08T01:53:46Z

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

Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future

2024-06-08T01:53:46Z

by Mertins, Kai. editor.
https://doi.org/10.1007/978-3-319-30957-6
Format: Electronic Resources

Mobile and Wireless Technologies 2016

2024-06-08T01:53:46Z

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

Behavioral Program Synthesis with Genetic Programming

2024-06-08T01:53:46Z

by Krawiec, Krzysztof. author.
https://doi.org/10.1007/978-3-319-27565-9
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-06-08T01:53:46Z

by Chikhi, Salim. editor.
https://doi.org/10.1007/978-3-319-33410-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Bartocci, Ezio. editor.
https://doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2024-06-08T01:53:46Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources

Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

2024-06-08T01:53:46Z

by Gao, Guang R. editor.
https://doi.org/10.1007/978-3-319-47099-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-06-08T01:53:46Z

by Jobstmann, Barbara. editor.
https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

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

2024-06-08T01:53:46Z

by Paias, Ana. editor.
https://doi.org/10.1007/978-3-319-44896-1
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Methods, Techniques, and Best Practices 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I

2024-06-08T01:53:46Z

by Antona, Margherita. editor.
https://doi.org/10.1007/978-3-319-40250-5
Format: Electronic Resources

Internet Science Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings

2024-06-08T01:53:46Z

by Bagnoli, Franco. editor.
https://doi.org/10.1007/978-3-319-45982-0
Format: Electronic Resources

Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers

2024-06-08T01:53:46Z

by Plaat, Aske. editor.
https://doi.org/10.1007/978-3-319-50935-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-06-08T01:53:46Z

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

Universal Access in Human-Computer Interaction. Users and Context Diversity 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III

2024-06-08T01:53:46Z

by Antona, Margherita. editor.
https://doi.org/10.1007/978-3-319-40238-3
Format: Electronic Resources

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

2024-06-08T01:53:46Z

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

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

2024-06-08T01:53:46Z

by Serrano, Manuel. editor.
https://doi.org/10.1007/978-3-319-39110-6
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-06-08T01:53:46Z

by Mazzara, Manuel. editor.
https://doi.org/10.1007/978-3-319-41579-6
Format: Electronic Resources

Computational Intelligence and Quantitative Software Engineering

2024-06-08T01:53:46Z

by Pedrycz, Witold. editor.
https://doi.org/10.1007/978-3-319-25964-2
Format: Electronic Resources

Learning Linux binary analysis : uncover the secrets of Linux binary analysis with this handy guide

2024-06-08T01:53:46Z

by I'Neill, Ryan "elfmaster", author.
Click to View
Format: Electronic Resources

Systems programming : designing and developing distributed applications

2024-06-08T01:53:46Z

by Anthony, Richard John, author.
Click to View
Format: Electronic Resources

Social Software Engineering : Development and Collaboration with Social Networking

2024-06-08T01:53:46Z

by Keyes, Jessica, author
https://go.oreilly.com/library-access/library/view/-/9781439853764/?ar https://learning.oreilly.com/library/view/~/9781439853764/?ar https://learning.oreilly.com/library/view/~/9781439853764
Format: Electronic Resources

Perspectives on data science for software engineering

2024-06-08T01:53:46Z

by Menzies, Tim, editor.
https://learning.oreilly.com/library/view/~/9780128042618/?ar https://go.oreilly.com/library-access/library/view/-/9780128042618/?ar https://learning.oreilly.com/library/view/~/9780128042618
Format: Electronic Resources

Devops on the Microsoft stack

2024-06-08T01:53:46Z

by Kort, Wouter de, author.
https://go.oreilly.com/library-access/library/view/-/9781484214466/?ar https://learning.oreilly.com/library/view/~/9781484214466/?ar
Format: Electronic Resources

Implementing domain-specific languages with Xtext and Xtend : learn how to implement a DSL with Xtext and Xtend using easy-to-understand examples and best practices

2024-06-08T01:53:46Z

by Bettini, Lorenzo, author.
https://go.oreilly.com/library-access/library/view/-/9781786464965/?ar https://learning.oreilly.com/library/view/~/9781786464965/?ar
Format: Electronic Resources

Modern software engineering : continuous delivery and microservices with .NET (MeasureUP Conference).

2024-06-08T01:53:46Z

by MeasureUP Conference (2016 : Austin, Texas)
https://learning.oreilly.com/videos/~/9780134665726/?ar https://go.oreilly.com/library-access/library/view/-/9780134665726/?ar
Format: Electronic Resources

Software engineering

2024-06-08T01:53:46Z

by Subramanian, Chandramouli, author.
https://learning.oreilly.com/library/view/~/9789332558298/?ar https://go.oreilly.com/library-access/library/view/-/9789332558298/?ar
Format: Electronic Resources

Learning Linux binary analysis : uncover the secrets of Linux binary analysis with this handy guide

2024-06-08T01:53:46Z

by O'Neill, Ryan, author.
https://go.oreilly.com/library-access/library/view/-/9781782167105/?ar https://learning.oreilly.com/library/view/~/9781782167105/?ar https://learning.oreilly.com/library/view/~/9781782167105
Format: Electronic Resources

Data Structure and Software Engineering : Challenges and Improvements

2024-06-08T01:53:46Z

by Antonakos, James L., editor.
https://go.oreilly.com/library-access/library/view/-/9781926692975/?ar https://learning.oreilly.com/library/view/~/9781926692975 https://learning.oreilly.com/library/view/~/9781926692975/?ar
Format: Electronic Resources

Software engineering : the current practices

2024-06-08T01:53:46Z

by Rajlich, Václav.
https://go.oreilly.com/library-access/library/view/-/9781466510357/?ar https://learning.oreilly.com/library/view/~/9781466510357/?ar https://learning.oreilly.com/library/view/~/9781466510357
Format: Electronic Resources