Search Results for Software engineering.

Software engineering

2026-04-01T12:48:54Z

by Sommerville, Ian, 1951-
Format: Books

Continuous Software Engineering

2026-04-01T12:48:54Z

by Bosch, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-11283-1
Format: Electronic Resources

Green in Software Engineering

2026-04-01T12:48:54Z

by Calero, Coral. editor.
http://dx.doi.org/10.1007/978-3-319-08581-4
Format: Electronic Resources

Engineering analysis with ANSYS software

2026-04-01T12:48:54Z

by Nakasone, Y. (Yuji)
Format: Books

Recommendation Systems in Software Engineering

2026-04-01T12:48:54Z

by Robillard, Martin P. editor.
http://dx.doi.org/10.1007/978-3-642-45135-5
Format: Electronic Resources

Software Engineering A Methodical Approach

2026-04-01T12:48:54Z

by Foster, Elvis C. author.
http://dx.doi.org/10.1007/978-1-4842-0847-2
Format: Electronic Resources

Software Engineering Research, Management and Applications

2026-04-01T12:48:54Z

by Lee, Roger. editor.
http://dx.doi.org/10.1007/978-3-319-00948-3
Format: Electronic Resources

Software Engineering Research, Management and Applications

2026-04-01T12:48:54Z

by Lee, Roger. editor.
http://dx.doi.org/10.1007/978-3-319-11265-7
Format: Electronic Resources

Software Engineering: A Hands-On Approach

2026-04-01T12:48:54Z

by Lee, Roger Y. author.
http://dx.doi.org/10.2991/978-94-6239-006-5
Format: Electronic Resources

Software engineering for electronic systems designers

2026-04-01T12:48:54Z

by Jenkins, D. G. (David G.)
Format: Books

Management of Software Engineering Innovation in Japan

2026-04-01T12:48:54Z

by Kadono, Yasuo. author.
http://dx.doi.org/10.1007/978-4-431-55612-1
Format: Electronic Resources

Model-Integrating Software Components Engineering Flexible Software Systems

2026-04-01T12:48:54Z

by Derakhshanmanesh, Mahdi. author.
http://dx.doi.org/10.1007/978-3-658-09646-5
Format: Electronic Resources

Software Engineering Frameworks for the Cloud Computing Paradigm

2026-04-01T12:48:54Z

by Mahmood, Zaigham. editor.
http://dx.doi.org/10.1007/978-1-4471-5031-2
Format: Electronic Resources

Requirements Engineering and Management for Software Development Projects

2026-04-01T12:48:54Z

by Chemuturi, Murali. author.
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2026-04-01T12:48:54Z

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

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2026-04-01T12:48:54Z

by Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2026-04-01T12:48:54Z

by Lee, Roger. editor.
http://dx.doi.org/10.1007/978-3-319-10389-1
Format: Electronic Resources

Design Science Methodology for Information Systems and Software Engineering

2026-04-01T12:48:54Z

by Wieringa, Roel J. author.
http://dx.doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012

2026-04-01T12:48:54Z

by Lee, Roger. editor.
http://dx.doi.org/10.1007/978-3-642-32172-6
Format: Electronic Resources

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks

2026-04-01T12:48:54Z

by Shehory, Onn. editor.
http://dx.doi.org/10.1007/978-3-642-54432-3
Format: Electronic Resources

Requirements engineering : from system goals to UML models to software specifications

2026-04-01T12:48:54Z

by Lamsweerde, A. van (Axel)
Table of contents only http://catdir.loc.gov/catdir/toc/ecip0825/2008036187.html
Format: Books

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

2026-04-01T12:48:54Z

by Münch, Jürgen. editor.
http://dx.doi.org/10.1007/978-3-642-37395-4
Format: Electronic Resources

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2026-04-01T12:48:54Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-319-28406-4
Format: Electronic Resources

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2026-04-01T12:48:54Z

by Papajorgji, Petraq J. author.
http://dx.doi.org/10.1007/978-1-4899-7463-1
Format: Electronic Resources

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2026-04-01T12:48:54Z

by Lucia, Andrea De. editor.
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: Electronic Resources

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology

2026-04-01T12:48:54Z

by Lu, Wei. editor.
http://dx.doi.org/10.1007/978-3-642-34528-9
Format: Electronic Resources

Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles

2026-04-01T12:48:54Z

by Khan, Mohammad Ayoub. editor.
http://dx.doi.org/10.1007/978-3-642-40888-5
Format: Electronic Resources

Building Great Software Engineering Teams Recruiting, Hiring, and Managing Your Team from Startup to Success

2026-04-01T12:48:54Z

by Tyler, Josh. author.
http://dx.doi.org/10.1007/978-1-4842-1133-5
Format: Electronic Resources

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence

2026-04-01T12:48:54Z

by Lu, Wei. editor.
http://dx.doi.org/10.1007/978-3-642-34522-7
Format: Electronic Resources

Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments

2026-04-01T12:48:54Z

by Motta, Gianmario. editor.
http://dx.doi.org/10.1007/978-3-319-04217-6
Format: Electronic Resources

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2026-04-01T12:48:54Z

by Combemale, Benoît. editor.
http://dx.doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2026-04-01T12:48:54Z

by Seffah, Ahmed. author.
http://dx.doi.org/10.1007/978-3-319-15687-3
Format: Electronic Resources

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology

2026-04-01T12:48:54Z

by Lu, Wei. editor.
http://dx.doi.org/10.1007/978-3-642-34531-9
Format: Electronic Resources

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2026-04-01T12:48:54Z

by Barros, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

2026-04-01T12:48:54Z

by Kravets, Alla. editor.
http://dx.doi.org/10.1007/978-3-319-11854-3
Format: Electronic Resources

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-04-01T12:48:54Z

by Erwig, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings

2026-04-01T12:48:54Z

by Goues, Claire Le. editor.
http://dx.doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2026-04-01T12:48:54Z

by Gorbenko, Anatoliy. editor.
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Electronic Resources

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2026-04-01T12:48:54Z

by Ruhe, Günther. editor.
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Electronic Resources

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

2026-04-01T12:48:54Z

by Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources

Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings

2026-04-01T12:48:54Z

by Piessens, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-15618-7
Format: Electronic Resources

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2026-04-01T12:48:54Z

by Calinescu, Radu. editor.
http://dx.doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2026-04-01T12:48:54Z

by Fantechi, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-23129-7
Format: Electronic Resources

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Czarnecki, Krzysztof. editor.
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

2026-04-01T12:48:54Z

by Jürjens, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

2026-04-01T12:48:54Z

by Majzik, István. editor.
http://dx.doi.org/10.1007/978-3-319-12241-0
Format: Electronic Resources

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2026-04-01T12:48:54Z

by Hierons, Robert M. editor.
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Electronic Resources

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2026-04-01T12:48:54Z

by Lourenço, João M. editor.
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Electronic Resources

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Arbab, Farhad. editor.
http://dx.doi.org/10.1007/978-3-642-40213-5
Format: Electronic Resources

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

2026-04-01T12:48:54Z

by Li, Xuandong. editor.
http://dx.doi.org/10.1007/978-3-319-25942-0
Format: Electronic Resources

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2026-04-01T12:48:54Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-319-24644-4
Format: Electronic Resources

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2026-04-01T12:48:54Z

by Jürjens, Jan. editor.
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Müller, Jörg P. editor.
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Electronic Resources

Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

2026-04-01T12:48:54Z

by Hammoudi, Slimane. editor.
http://dx.doi.org/10.1007/978-3-319-25156-1
Format: Electronic Resources

Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

2026-04-01T12:48:54Z

by Desfray, Philippe. editor.
http://dx.doi.org/10.1007/978-3-319-27869-8
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

2026-04-01T12:48:54Z

by Doerr, Joerg. editor.
http://dx.doi.org/10.1007/978-3-642-37422-7
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings

2026-04-01T12:48:54Z

by Salinesi, Camille. editor.
http://dx.doi.org/10.1007/978-3-319-05843-6
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

2026-04-01T12:48:54Z

by Fricker, Samuel A. editor.
http://dx.doi.org/10.1007/978-3-319-16101-3
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

2026-04-01T12:48:54Z

by Baumeister, Hubert. editor.
http://dx.doi.org/10.1007/978-3-642-38314-4
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014. Proceedings

2026-04-01T12:48:54Z

by Cantone, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-06862-6
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings

2026-04-01T12:48:54Z

by Lassenius, Casper. editor.
http://dx.doi.org/10.1007/978-3-319-18612-2
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2026-04-01T12:48:54Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2026-04-01T12:48:54Z

by Sauer, Stefan. editor.
http://dx.doi.org/10.1007/978-3-662-44811-3
Format: Electronic Resources

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-04-01T12:48:54Z

by Lemos, Rogério de. editor.
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2026-04-01T12:48:54Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

2026-04-01T12:48:54Z

by Merz, Stephan. editor.
http://dx.doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Filipe, Joaquim. editor.
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2026-04-01T12:48:54Z

by Maciaszek, Leszek A. editor.
http://dx.doi.org/10.1007/978-3-319-27218-4
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Maciaszek, Leszek A. editor.
http://dx.doi.org/10.1007/978-3-642-45422-6
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2026-04-01T12:48:54Z

by Maciaszek, Leszek A. editor.
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Electronic Resources

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2026-04-01T12:48:54Z

by Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014. Proceedings

2026-04-01T12:48:54Z

by Winkler, Dietmar. editor.
http://dx.doi.org/10.1007/978-3-319-03602-1
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

2026-04-01T12:48:54Z

by Canal, Carlos. editor.
http://dx.doi.org/10.1007/978-3-319-15201-1
Format: Electronic Resources

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2026-04-01T12:48:54Z

by Groves, Lindsay. editor.
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2026-04-01T12:48:54Z

by Bianculli, Domenico. editor.
http://dx.doi.org/10.1007/978-3-662-49224-6
Format: Electronic Resources

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-04-01T12:48:54Z

by Silhavy, Radek. editor.
http://dx.doi.org/10.1007/978-3-319-18473-9
Format: Electronic Resources

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2026-04-01T12:48:54Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Counsell, Steve. editor.
http://dx.doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-04-01T12:48:54Z

by Egyed, Alexander. editor.
http://dx.doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-04-01T12:48:54Z

by Gnesi, Stefania. editor.
http://dx.doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-04-01T12:48:54Z

by Cortellessa, Vittorio. editor.
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources

Autonomy Requirements Engineering for Space Missions

2026-04-01T12:48:54Z

by Vassev, Emil. author.
http://dx.doi.org/10.1007/978-3-319-09816-6
Format: Electronic Resources

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2026-04-01T12:48:54Z

by Trendowicz, Adam. author.
http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Electronic Resources

Aligning Organizations Through Measurement The GQM+Strategies Approach

2026-04-01T12:48:54Z

by Basili, Victor. author.
http://dx.doi.org/10.1007/978-3-319-05047-8
Format: Electronic Resources

Yazılım mühendisliği.

2026-04-01T12:48:54Z

by Sarıdoğan, M. Erhan.
Format: Books

Emergent Interfaces for Feature Modularization

2026-04-01T12:48:54Z

by Ribeiro, Márcio. author.
http://dx.doi.org/10.1007/978-3-319-11493-4
Format: Electronic Resources

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

2026-04-01T12:48:54Z

by Gorentla Venkata, Manjunath. editor.
http://dx.doi.org/10.1007/978-3-319-26428-8
Format: Electronic Resources

Systems and Software Quality The next step for industrialisation

2026-04-01T12:48:54Z

by Wieczorek, Martin. author.
http://dx.doi.org/10.1007/978-3-642-39971-8
Format: Electronic Resources

Agile Anywhere Essays on Agile Projects and Beyond

2026-04-01T12:48:54Z

by Hazzan, Orit. author.
http://dx.doi.org/10.1007/978-3-319-10157-6
Format: Electronic Resources

Information Systems Reengineering, Integration and Normalization

2026-04-01T12:48:54Z

by Fong, Joseph Shi Piu. author.
http://dx.doi.org/10.1007/978-3-319-12295-3
Format: Electronic Resources

Python machine learning

2026-04-01T12:48:54Z

by Lee, Wei-Meng.
https://portal.igpublish.com/iglibrary/search/WILEYB0037873.html
Format: Electronic Resources

Broken Agile Stories from the Trenches

2026-04-01T12:48:54Z

by Brizard, Tim. author.
http://dx.doi.org/10.1007/978-1-4842-1745-0
Format: Electronic Resources

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

2026-04-01T12:48:54Z

by Štuikys, Vytautas. author.
http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: Electronic Resources

Exploring the Raspberry Pi 2 with C++

2026-04-01T12:48:54Z

by Gay, Warren. author.
http://dx.doi.org/10.1007/978-1-4842-1739-9
Format: Electronic Resources

Mashups Concepts, Models and Architectures

2026-04-01T12:48:54Z

by Daniel, Florian. author.
http://dx.doi.org/10.1007/978-3-642-55049-2
Format: Electronic Resources

Java Threads and the Concurrency Utilities

2026-04-01T12:48:54Z

by Friesen, Jeff. author.
http://dx.doi.org/10.1007/978-1-4842-1700-9
Format: Electronic Resources

Pro Git

2026-04-01T12:48:54Z

by Chacon, Scott. author.
http://dx.doi.org/10.1007/978-1-4842-0076-6
Format: Electronic Resources

Middleware Solutions for the Internet of Things

2026-04-01T12:48:54Z

by Delicato, Flávia C. author.
http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: Electronic Resources

TypeScript Revealed

2026-04-01T12:48:54Z

by Maharry, Dan. author.
http://dx.doi.org/10.1007/978-1-4302-5726-4
Format: Electronic Resources

Practical Enterprise Software Development Techniques Tools and Techniques for Large Scale Solutions

2026-04-01T12:48:54Z

by Crookshanks, Edward. author.
http://dx.doi.org/10.1007/978-1-4842-0620-1
Format: Electronic Resources

Ontology-Driven Software Development

2026-04-01T12:48:54Z

by Pan, Jeff Z. editor.
http://dx.doi.org/10.1007/978-3-642-31226-7
Format: Electronic Resources

Agile Product Development How to Design Innovative Products That Create Customer Value

2026-04-01T12:48:54Z

by Varma, Tathagat. author.
http://dx.doi.org/10.1007/978-1-4842-1067-3
Format: Electronic Resources

Aspect-Oriented Security Hardening of UML Design Models

2026-04-01T12:48:54Z

by Mouheb, Djedjiga. author.
http://dx.doi.org/10.1007/978-3-319-16106-8
Format: Electronic Resources

Develop on Yammer Social Integration for Modern Business Applications

2026-04-01T12:48:54Z

by Rawal, Pathik. author.
http://dx.doi.org/10.1007/978-1-4842-0943-1
Format: Electronic Resources

Handbook on Agent-Oriented Design Processes

2026-04-01T12:48:54Z

by Cossentino, Massimo. editor.
http://dx.doi.org/10.1007/978-3-642-39975-6
Format: Electronic Resources

Validation of Evolving Software

2026-04-01T12:48:54Z

by Chockler, Hana. editor.
http://dx.doi.org/10.1007/978-3-319-10623-6
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency VIII

2026-04-01T12:48:54Z

by Koutny, Maciej. editor.
http://dx.doi.org/10.1007/978-3-642-40465-8
Format: Electronic Resources

Arduino Music and Audio Projects

2026-04-01T12:48:54Z

by Cook, Mike. author.
http://dx.doi.org/10.1007/978-1-4842-1721-4
Format: Electronic Resources

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

2026-04-01T12:48:54Z

by Śmiałek, Michał. author.
http://dx.doi.org/10.1007/978-3-319-12838-2
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency X

2026-04-01T12:48:54Z

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

Refinement in Z and Object-Z Foundations and Advanced Applications

2026-04-01T12:48:54Z

by Derrick, John. author.
http://dx.doi.org/10.1007/978-1-4471-5355-9
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency IX

2026-04-01T12:48:54Z

by Koutny, Maciej. editor.
http://dx.doi.org/10.1007/978-3-662-45730-6
Format: Electronic Resources

An Introduction to Design Science

2026-04-01T12:48:54Z

by Johannesson, Paul. author.
http://dx.doi.org/10.1007/978-3-319-10632-8
Format: Electronic Resources

Tekstil'de mekanik nakış makinalarının elektronik kontrol yazılımı

2026-04-01T12:48:54Z

by Köroğlu, Timuçin.
Format: Books

Expert Oracle Database Architecture Third Edition

2026-04-01T12:48:54Z

by Kyte, Thomas. author.
http://dx.doi.org/10.1007/978-1-4302-6299-2
Format: Electronic Resources

Early Software Reliability Prediction A Fuzzy Logic Approach

2026-04-01T12:48:54Z

by Pandey, Ajeet Kumar. author.
http://dx.doi.org/10.1007/978-81-322-1176-1
Format: Electronic Resources

Expert Oracle Application Express

2026-04-01T12:48:54Z

by Scott, John. author.
http://dx.doi.org/10.1007/978-1-4842-0484-9
Format: Electronic Resources

Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems

2026-04-01T12:48:54Z

by Garcia, Emilia. author.
http://dx.doi.org/10.1007/978-3-319-11572-6
Format: Electronic Resources

Unboxing Android USB A Hands-On Approach with Real World Examples

2026-04-01T12:48:54Z

by Regupathy, Rajaram. author.
http://dx.doi.org/10.1007/978-1-4302-6209-1
Format: Electronic Resources

Hardening Azure Applications

2026-04-01T12:48:54Z

by Machiraju, Suren. author.
http://dx.doi.org/10.1007/978-1-4842-0920-2
Format: Electronic Resources

Game Development Tool Essentials

2026-04-01T12:48:54Z

by Ardolino, Alessandro. author.
http://dx.doi.org/10.1007/978-1-4302-6701-0
Format: Electronic Resources

Soft City Culture and Technology The Betaville Project

2026-04-01T12:48:54Z

by Skelton, Carl. author.
http://dx.doi.org/10.1007/978-1-4614-7251-3
Format: Electronic Resources

Pro Data Visualization using R and JavaScript

2026-04-01T12:48:54Z

by Barker, Tom. author.
http://dx.doi.org/10.1007/978-1-4302-5807-0
Format: Electronic Resources

UML @ Classroom An Introduction to Object-Oriented Modeling

2026-04-01T12:48:54Z

by Seidl, Martina. author.
http://dx.doi.org/10.1007/978-3-319-12742-2
Format: Electronic Resources

Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation

2026-04-01T12:48:54Z

by Siegfried, Robert. author.
http://dx.doi.org/10.1007/978-3-658-07529-3
Format: Electronic Resources

Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers

2026-04-01T12:48:54Z

by Dingsøyr, Torgeir. editor.
http://dx.doi.org/10.1007/978-3-319-14358-3
Format: Electronic Resources

High Performance Cloud Auditing and Applications

2026-04-01T12:48:54Z

by Han, Keesook J. editor.
http://dx.doi.org/10.1007/978-1-4614-3296-8
Format: Electronic Resources

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2026-04-01T12:48:54Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Electronic Resources

Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

2026-04-01T12:48:54Z

by Fitzgerald, Brian. editor.
http://dx.doi.org/10.1007/978-3-642-44930-7
Format: Electronic Resources

Situational Method Engineering

2026-04-01T12:48:54Z

by Henderson-Sellers, Brian. author.
http://dx.doi.org/10.1007/978-3-642-41467-1
Format: Electronic Resources

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2026-04-01T12:48:54Z

by Dalpiaz, Fabiano. editor.
http://dx.doi.org/10.1007/978-3-319-14484-9
Format: Electronic Resources

Feature-Oriented Software Product Lines Concepts and Implementation

2026-04-01T12:48:54Z

by Apel, Sven. author.
http://dx.doi.org/10.1007/978-3-642-37521-7
Format: Electronic Resources

Beginning django CMS

2026-04-01T12:48:54Z

by George, Nigel. author.
http://dx.doi.org/10.1007/978-1-4842-1669-9
Format: Electronic Resources

Aspect-Oriented Requirements Engineering

2026-04-01T12:48:54Z

by Moreira, Ana. editor.
http://dx.doi.org/10.1007/978-3-642-38640-4
Format: Electronic Resources

Systems and Software Variability Management Concepts, Tools and Experiences

2026-04-01T12:48:54Z

by Capilla, Rafael. editor.
http://dx.doi.org/10.1007/978-3-642-36583-6
Format: Electronic Resources

Continuous Delivery with Visual Studio ALM 2015

2026-04-01T12:48:54Z

by Olausson, Mathias. author.
http://dx.doi.org/10.1007/978-1-4842-1272-1
Format: Electronic Resources

Augmented Marked Graphs

2026-04-01T12:48:54Z

by Cheung, King Sing. author.
http://dx.doi.org/10.1007/978-3-319-06428-4
Format: Electronic Resources

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2026-04-01T12:48:54Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-26184-3
Format: Electronic Resources

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Electronic Resources

Pro HTML5 with Visual Studio 2015

2026-04-01T12:48:54Z

by Collins, Mark J. author.
http://dx.doi.org/10.1007/978-1-4842-1147-2
Format: Electronic Resources

Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Lacroix, Zoé. editor.
http://dx.doi.org/10.1007/978-3-642-45263-5
Format: Electronic Resources

The Coder's Path to Wealth and Independence

2026-04-01T12:48:54Z

by Beckner, Mark. author.
http://dx.doi.org/10.1007/978-1-4842-0421-4
Format: Electronic Resources

Scala Design Patterns Patterns for Practical Reuse and Design

2026-04-01T12:48:54Z

by Hunt, John. author.
http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Electronic Resources

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-04-01T12:48:54Z

by Stephenson, Ben. author.
http://dx.doi.org/10.1007/978-3-319-14240-1
Format: Electronic Resources

Current Trends in Web Engineering 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers

2026-04-01T12:48:54Z

by Daniel, Florian. editor.
http://dx.doi.org/10.1007/978-3-319-24800-4
Format: Electronic Resources

Domain Engineering Product Lines, Languages, and Conceptual Models

2026-04-01T12:48:54Z

by Reinhartz-Berger, Iris. editor.
http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Electronic Resources

Visual Studio LightSwitch 2015

2026-04-01T12:48:54Z

by Leung, Tim. author.
http://dx.doi.org/10.1007/978-1-4842-0766-6
Format: Electronic Resources

Software Measurement 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings

2026-04-01T12:48:54Z

by Kobyliński, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-319-24285-9
Format: Electronic Resources

Requirements Engineering in the Big Data Era Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings

2026-04-01T12:48:54Z

by Liu, Lin. editor.
http://dx.doi.org/10.1007/978-3-662-48634-4
Format: Electronic Resources

Foundations for Designing User-Centered Systems What System Designers Need to Know about People

2026-04-01T12:48:54Z

by Ritter, Frank E. author.
http://dx.doi.org/10.1007/978-1-4471-5134-0
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2026-04-01T12:48:54Z

by Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-05416-2
Format: Electronic Resources

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings

2026-04-01T12:48:54Z

by Winkler, Dietmar. editor.
http://dx.doi.org/10.1007/978-3-319-13251-8
Format: Electronic Resources

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2026-04-01T12:48:54Z

by Quintão Pereira, Fernando Magno. editor.
http://dx.doi.org/10.1007/978-3-319-11863-5
Format: Electronic Resources

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2026-04-01T12:48:54Z

by Winkler, Dietmar. editor.
http://dx.doi.org/10.1007/978-3-642-35702-2
Format: Electronic Resources

Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings

2026-04-01T12:48:54Z

by Eyers, David. editor.
http://dx.doi.org/10.1007/978-3-642-45065-5
Format: Electronic Resources

Time and Petri Nets

2026-04-01T12:48:54Z

by Popova-Zeugmann, Louchka. author.
http://dx.doi.org/10.1007/978-3-642-41115-1
Format: Electronic Resources

Mobile Networks and Management 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Timm-Giel, Andreas. editor.
http://dx.doi.org/10.1007/978-3-642-37935-2
Format: Electronic Resources

Requirements Engineering for Digital Health

2026-04-01T12:48:54Z

by Fricker, Samuel A. editor.
http://dx.doi.org/10.1007/978-3-319-09798-5
Format: Electronic Resources

Software Sourcing in the Age of Open Leveraging the Unknown Workforce

2026-04-01T12:48:54Z

by Ågerfalk, Pär J. author.
http://dx.doi.org/10.1007/978-3-319-17266-8
Format: Electronic Resources

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2026-04-01T12:48:54Z

by Cotroneo, Domenico. editor.
http://dx.doi.org/10.1007/978-88-470-2772-5
Format: Electronic Resources

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2026-04-01T12:48:54Z

by Wang, Mingzheng. editor.
http://dx.doi.org/10.1007/978-3-642-39787-5
Format: Electronic Resources

JavaScript Object Programming

2026-04-01T12:48:54Z

by Rinehart, Martin. author.
http://dx.doi.org/10.1007/978-1-4842-1787-0
Format: Electronic Resources

A Practical Guide to TPM 2.0 Using the New Trusted Platform Module in the New Age of Security

2026-04-01T12:48:54Z

by Arthur, Will. author.
http://dx.doi.org/10.1007/978-1-4302-6584-9
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development X

2026-04-01T12:48:54Z

by Leavens, Gary T. editor.
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Electronic Resources

The Scrum Culture Introducing Agile Methods in Organizations

2026-04-01T12:48:54Z

by Maximini, Dominik. author.
http://dx.doi.org/10.1007/978-3-319-11827-7
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XII

2026-04-01T12:48:54Z

by Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-662-46734-3
Format: Electronic Resources

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Cordeiro, José. editor.
http://dx.doi.org/10.1007/978-3-662-44920-2
Format: Electronic Resources

Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programming

2026-04-01T12:48:54Z

by Brauer, Johannes. author.
http://dx.doi.org/10.1007/978-3-658-06823-3
Format: Electronic Resources

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2026-04-01T12:48:54Z

by Wagner, Christian. author.
http://dx.doi.org/10.1007/978-3-658-05270-6
Format: Electronic Resources

Platform Embedded Security Technology Revealed

2026-04-01T12:48:54Z

by Ruan, Xiaoyu. author.
http://dx.doi.org/10.1007/978-1-4302-6572-6
Format: Electronic Resources

Make an E-commerce Site in a Weekend Using PHP

2026-04-01T12:48:54Z

by Harwani, Bintu. author.
http://dx.doi.org/10.1007/978-1-4842-1672-9
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XI

2026-04-01T12:48:54Z

by Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency VII

2026-04-01T12:48:54Z

by Jensen, Kurt. editor.
http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Electronic Resources

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2026-04-01T12:48:54Z

by Kühn, Eva. editor.
http://dx.doi.org/10.1007/978-3-662-43376-8
Format: Electronic Resources

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Cordeiro, José. editor.
http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Electronic Resources

Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB

2026-04-01T12:48:54Z

by Pelcat, Maxime. author.
http://dx.doi.org/10.1007/978-1-4471-4210-2
Format: Electronic Resources

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

2026-04-01T12:48:54Z

by Chivers, Ian. author.
http://dx.doi.org/10.1007/978-3-319-17701-4
Format: Electronic Resources

Cryptography in C and C++

2026-04-01T12:48:54Z

by Welschenbach, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-5099-9
Format: Electronic Resources

Model-Driven Dependability Assessment of Software Systems

2026-04-01T12:48:54Z

by Bernardi, Simona. author.
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Electronic Resources

The Privacy Engineer’s Manifesto Getting from Policy to Code to QA to Value

2026-04-01T12:48:54Z

by Dennedy, Michelle Finneran. author.
http://dx.doi.org/10.1007/978-1-4302-6356-2
Format: Electronic Resources

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-04-01T12:48:54Z

by Reisig, Wolfgang. author.
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

2026-04-01T12:48:54Z

by Ortiz, Guadalupe. editor.
http://dx.doi.org/10.1007/978-3-319-14886-1
Format: Electronic Resources

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-04-01T12:48:54Z

by Jhala, Ranjit. editor.
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-04-01T12:48:54Z

by Weber, Jens. editor.
http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Electronic Resources

C++ Game Development Primer

2026-04-01T12:48:54Z

by Sutherland, Bruce. author.
http://dx.doi.org/10.1007/978-1-4842-0814-4
Format: Electronic Resources

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2026-04-01T12:48:54Z

by Cohen, Albert. editor.
http://dx.doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

2026-04-01T12:48:54Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: Electronic Resources

Software design for engineers and scientists

2026-04-01T12:48:54Z

by Robinson, John A.
Format: Books

Automatic Generation of Combinatorial Test Data

2026-04-01T12:48:54Z

by Zhang, Jian. author.
http://dx.doi.org/10.1007/978-3-662-43429-1
Format: Electronic Resources

Software Project Effort Estimation Foundations and Best Practice Guidelines for Success

2026-04-01T12:48:54Z

by Trendowicz, Adam. author.
http://dx.doi.org/10.1007/978-3-319-03629-8
Format: Electronic Resources

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Cossentino, Massimo. editor.
http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Electronic Resources

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

2026-04-01T12:48:54Z

by Guerraoui, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-14720-8
Format: Electronic Resources

Lean Software Development in Action

2026-04-01T12:48:54Z

by Janes, Andrea. author.
http://dx.doi.org/10.1007/978-3-642-00503-9
Format: Electronic Resources

Agile! The Good, the Hype and the Ugly

2026-04-01T12:48:54Z

by Meyer, Bertrand. author.
http://dx.doi.org/10.1007/978-3-319-05155-0
Format: Electronic Resources

Future Internet Testing First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Vos, Tanja E.J. editor.
http://dx.doi.org/10.1007/978-3-319-07785-7
Format: Electronic Resources

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2026-04-01T12:48:54Z

by Giachino, Elena. editor.
http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Electronic Resources

Software Project Management in a Changing World

2026-04-01T12:48:54Z

by Ruhe, Günther. editor.
http://dx.doi.org/10.1007/978-3-642-55035-5
Format: Electronic Resources

Multilevel Business Processes Modeling and Data Analysis

2026-04-01T12:48:54Z

by G. Schuetz, Christoph. author.
http://dx.doi.org/10.1007/978-3-658-11084-0
Format: Electronic Resources

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2026-04-01T12:48:54Z

by Binder, Walter. editor.
http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Electronic Resources

Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014. Proceedings

2026-04-01T12:48:54Z

by Commisso, Trine Hald. editor.
http://dx.doi.org/10.1007/978-3-319-09546-2
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Canal, Carlos. editor.
http://dx.doi.org/10.1007/978-3-642-45364-9
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

2026-04-01T12:48:54Z

by Devillers, Raymond. editor.
http://dx.doi.org/10.1007/978-3-319-19488-2
Format: Electronic Resources

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Moschitti, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-642-45260-4
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I

2026-04-01T12:48:54Z

by Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27119-4
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

2026-04-01T12:48:54Z

by Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27122-4
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III

2026-04-01T12:48:54Z

by Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27137-8
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV

2026-04-01T12:48:54Z

by Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27140-8
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I

2026-04-01T12:48:54Z

by Sun, Xian-he. editor.
http://dx.doi.org/10.1007/978-3-319-11197-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II

2026-04-01T12:48:54Z

by Sun, Xian-he. editor.
http://dx.doi.org/10.1007/978-3-319-11194-0
Format: Electronic Resources

Exploring C++ 11 Problems and Solutions Handbook

2026-04-01T12:48:54Z

by Lischner, Ray. author.
http://dx.doi.org/10.1007/978-1-4302-6194-0
Format: Electronic Resources

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

2026-04-01T12:48:54Z

by Fischer, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-23404-5
Format: Electronic Resources

Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives

2026-04-01T12:48:54Z

by Medinilla, Ángel. author.
http://dx.doi.org/10.1007/978-3-642-54991-5
Format: Electronic Resources

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2026-04-01T12:48:54Z

by Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Electronic Resources

Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Oshri, Ilan. editor.
http://dx.doi.org/10.1007/978-3-642-40951-6
Format: Electronic Resources

Semantic Mashups Intelligent Reuse of Web Resources

2026-04-01T12:48:54Z

by Endres-Niggemeyer, Brigitte. editor.
http://dx.doi.org/10.1007/978-3-642-36403-7
Format: Electronic Resources

Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

2026-04-01T12:48:54Z

by Herzwurm, Georg. editor.
http://dx.doi.org/10.1007/978-3-642-39336-5
Format: Electronic Resources

Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

2026-04-01T12:48:54Z

by Dregvaite, Giedre. editor.
http://dx.doi.org/10.1007/978-3-319-24770-0
Format: Electronic Resources

GUI Design for Android Apps

2026-04-01T12:48:54Z

by Cohen, Ryan. author.
http://dx.doi.org/10.1007/978-1-4842-0382-8
Format: Electronic Resources

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

2026-04-01T12:48:54Z

by D’Argenio, Pedro R. editor.
http://dx.doi.org/10.1007/978-3-642-40184-8
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2026-04-01T12:48:54Z

by Braberman, Víctor. editor.
http://dx.doi.org/10.1007/978-3-642-40229-6
Format: Electronic Resources

Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings

2026-04-01T12:48:54Z

by Oinas-Kukkonen, Harri. editor.
http://dx.doi.org/10.1007/978-3-319-21783-3
Format: Electronic Resources

Evolving Software Systems

2026-04-01T12:48:54Z

by Mens, Tom. editor.
http://dx.doi.org/10.1007/978-3-642-45398-4
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

2026-04-01T12:48:54Z

by Aversa, Rocco. editor.
http://dx.doi.org/10.1007/978-3-319-03889-6
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

2026-04-01T12:48:54Z

by Kołodziej, Joanna. editor.
http://dx.doi.org/10.1007/978-3-319-03859-9
Format: Electronic Resources

Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings

2026-04-01T12:48:54Z

by Demazeau, Yves. editor.
http://dx.doi.org/10.1007/978-3-319-07551-8
Format: Electronic Resources

Pro Team Foundation Service

2026-04-01T12:48:54Z

by Olausson, Mathias. author.
http://dx.doi.org/10.1007/978-1-4302-5996-1
Format: Electronic Resources

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

2026-04-01T12:48:54Z

by Cuzzocrea, Alfredo. editor.
http://dx.doi.org/10.1007/978-3-642-41366-7
Format: Electronic Resources

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2026-04-01T12:48:54Z

by Escalona, María José. editor.
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Electronic Resources

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

2026-04-01T12:48:54Z

by Bauer, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-07076-6
Format: Electronic Resources

Cloud Computing Methods and Practical Approaches

2026-04-01T12:48:54Z

by Mahmood, Zaigham. editor.
http://dx.doi.org/10.1007/978-1-4471-5107-4
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

2026-04-01T12:48:54Z

by Legay, Axel. editor.
http://dx.doi.org/10.1007/978-3-319-10512-3
Format: Electronic Resources

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2026-04-01T12:48:54Z

by Heckel, Reiko. editor.
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Electronic Resources

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

2026-04-01T12:48:54Z

by Bois, André Rauber Du. editor.
http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Electronic Resources

Robust Data Mining

2026-04-01T12:48:54Z

by Xanthopoulos, Petros. author.
http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: Electronic Resources

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2026-04-01T12:48:54Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings

2026-04-01T12:48:54Z

by Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/978-3-319-07734-5
Format: Electronic Resources

S-BPM ONE - Scientific Research 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014. Proceedings

2026-04-01T12:48:54Z

by Nanopoulos, Alexandros. editor.
http://dx.doi.org/10.1007/978-3-319-06065-1
Format: Electronic Resources

Python for Signal Processing Featuring IPython Notebooks

2026-04-01T12:48:54Z

by Unpingco, José. author.
http://dx.doi.org/10.1007/978-3-319-01342-8
Format: Electronic Resources

Software Reliability Modeling Fundamentals and Applications

2026-04-01T12:48:54Z

by Yamada, Shigeru. author.
http://dx.doi.org/10.1007/978-4-431-54565-1
Format: Electronic Resources

Process Design for Natural Scientists An Agile Model-Driven Approach

2026-04-01T12:48:54Z

by Lamprecht, Anna-Lena. editor.
http://dx.doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources

Irresistible Apps Motivational Design Patterns for Apps, Games, and Web-based Communities

2026-04-01T12:48:54Z

by Lewis, Chris. author.
http://dx.doi.org/10.1007/978-1-4302-6422-4
Format: Electronic Resources

Sustainable Web Ecosystem Design

2026-04-01T12:48:54Z

by O'Toole, Greg. author.
http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Electronic Resources

Process-Aware Systems First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedings

2026-04-01T12:48:54Z

by Cao, Jian. editor.
http://dx.doi.org/10.1007/978-3-662-46170-9
Format: Electronic Resources

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

2026-04-01T12:48:54Z

by Ivanov, Ivan I. editor.
http://dx.doi.org/10.1007/978-3-319-04519-1
Format: Electronic Resources

Beginning SAP Fiori

2026-04-01T12:48:54Z

by Mathew, Bince. author.
http://dx.doi.org/10.1007/978-1-4842-1335-3
Format: Electronic Resources

Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014. Proceedings

2026-04-01T12:48:54Z

by Lassenius, Casper. editor.
http://dx.doi.org/10.1007/978-3-319-08738-2
Format: Electronic Resources

Synthesizable VHDL Design for FPGAs

2026-04-01T12:48:54Z

by Bezerra, Eduardo Augusto. author.
http://dx.doi.org/10.1007/978-3-319-02547-6
Format: Electronic Resources

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

2026-04-01T12:48:54Z

by Biedermann, Alexander. author.
http://dx.doi.org/10.1007/978-3-658-08047-1
Format: Electronic Resources

Handbook of Neuroevolution Through Erlang

2026-04-01T12:48:54Z

by Sher, Gene I. author.
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: Electronic Resources

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

2026-04-01T12:48:54Z

by Jörges, Sven. author.
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: Electronic Resources

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Electronic Resources

Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

2026-04-01T12:48:54Z

by Bouajjani, Ahmed. editor.
http://dx.doi.org/10.1007/978-3-319-26850-7
Format: Electronic Resources

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings

2026-04-01T12:48:54Z

by Dittrich, Yvonne. editor.
http://dx.doi.org/10.1007/978-3-642-38706-7
Format: Electronic Resources

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

2026-04-01T12:48:54Z

by Sharygina, Natasha. editor.
http://dx.doi.org/10.1007/978-3-642-39799-8
Format: Electronic Resources

Pro JavaFX 8 A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients

2026-04-01T12:48:54Z

by Vos, Johan. author.
http://dx.doi.org/10.1007/978-1-4302-6575-7
Format: Electronic Resources

Cloud Portability and Interoperability Issues and Current Trends

2026-04-01T12:48:54Z

by Di Martino, Beniamino. author.
http://dx.doi.org/10.1007/978-3-319-13701-8
Format: Electronic Resources

Ada 2012 Rationale The Language, The Standard Libraries

2026-04-01T12:48:54Z

by Barnes, John. author.
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Electronic Resources

Metasynthetic Computing and Engineering of Complex Systems

2026-04-01T12:48:54Z

by Cao, Longbing. author.
http://dx.doi.org/10.1007/978-1-4471-6551-4
Format: Electronic Resources

JRuby Rails Web Application Development

2026-04-01T12:48:54Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-319-03934-3
Format: Electronic Resources

Connecting Families The Impact of New Communication Technologies on Domestic Life

2026-04-01T12:48:54Z

by Neustaedter, Carman. editor.
http://dx.doi.org/10.1007/978-1-4471-4192-1
Format: Electronic Resources

Correct Software in Web Applications and Web Services

2026-04-01T12:48:54Z

by Thalheim, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-17112-8
Format: Electronic Resources

Optimization Methods, Theory and Applications

2026-04-01T12:48:54Z

by Xu, Honglei. editor.
http://dx.doi.org/10.1007/978-3-662-47044-2
Format: Electronic Resources

Break-Glass Handling Exceptional Situations in Access Control

2026-04-01T12:48:54Z

by Petritsch, Helmut. author.
http://dx.doi.org/10.1007/978-3-658-07365-7
Format: Electronic Resources

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2026-04-01T12:48:54Z

by Taft, S. Tucker. editor.
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Electronic Resources

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Nambiar, Raghunath. editor.
http://dx.doi.org/10.1007/978-3-642-36727-4
Format: Electronic Resources

Web Dynpro ABAP for Practitioners

2026-04-01T12:48:54Z

by Gellert, Ulrich. author.
http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Electronic Resources

Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings

2026-04-01T12:48:54Z

by Daniel, Florian. editor.
http://dx.doi.org/10.1007/978-3-642-40276-0
Format: Electronic Resources

Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems

2026-04-01T12:48:54Z

by Zelinka, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-07401-6
Format: Electronic Resources

The Art of Software Thermal Management for Embedded Systems

2026-04-01T12:48:54Z

by Benson, Mark. author.
http://dx.doi.org/10.1007/978-1-4939-0298-9
Format: Electronic Resources

Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings

2026-04-01T12:48:54Z

by Awan, Irfan. editor.
http://dx.doi.org/10.1007/978-3-319-10359-4
Format: Electronic Resources

Information Systems Management in the Big Data Era

2026-04-01T12:48:54Z

by Lake, Peter. author.
http://dx.doi.org/10.1007/978-3-319-13503-8
Format: Electronic Resources

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

2026-04-01T12:48:54Z

by Gibbons, Jeremy. editor.
http://dx.doi.org/10.1007/978-3-642-53956-5
Format: Electronic Resources

Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings

2026-04-01T12:48:54Z

by Dregvaite, Giedre. editor.
http://dx.doi.org/10.1007/978-3-319-11958-8
Format: Electronic Resources

Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings

2026-04-01T12:48:54Z

by Zowghi, Didar. editor.
http://dx.doi.org/10.1007/978-3-662-43610-3
Format: Electronic Resources

Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Leung, Victor C.M. editor.
http://dx.doi.org/10.1007/978-3-319-05506-0
Format: Electronic Resources

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Yousif, Mazin. editor.
http://dx.doi.org/10.1007/978-3-319-03874-2
Format: Electronic Resources

Using Event-B for Critical Device Software Systems

2026-04-01T12:48:54Z

by Singh, Neeraj Kumar. author.
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources

Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

2026-04-01T12:48:54Z

by Mayr, Heinrich C. editor.
http://dx.doi.org/10.1007/978-3-642-38370-0
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

2026-04-01T12:48:54Z

by Ermolayev, Vadim. editor.
http://dx.doi.org/10.1007/978-3-319-13206-8
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Ermolayev, Vadim. editor.
http://dx.doi.org/10.1007/978-3-319-03998-5
Format: Electronic Resources

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

2026-04-01T12:48:54Z

by Hřebíček, Jiří. editor.
http://dx.doi.org/10.1007/978-3-642-41151-9
Format: Electronic Resources

Trusted Cloud Computing

2026-04-01T12:48:54Z

by Krcmar, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-12718-7
Format: Electronic Resources

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Zsók, Viktória. editor.
http://dx.doi.org/10.1007/978-3-319-15940-9
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2026-04-01T12:48:54Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/978-3-319-19195-9
Format: Electronic Resources

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2026-04-01T12:48:54Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings

2026-04-01T12:48:54Z

by Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2026-04-01T12:48:54Z

by Bubenko, Janis. editor.
http://dx.doi.org/10.1007/978-3-642-36926-1
Format: Electronic Resources

Data Science 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings

2026-04-01T12:48:54Z

by Maneth, Sebastian. editor.
http://dx.doi.org/10.1007/978-3-319-20424-6
Format: Electronic Resources

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2026-04-01T12:48:54Z

by Dueck, Gerhard W. editor.
http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Electronic Resources

Data Science Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings

2026-04-01T12:48:54Z

by Zhang, Chengqi. editor.
http://dx.doi.org/10.1007/978-3-319-24474-7
Format: Electronic Resources

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2026-04-01T12:48:54Z

by Pontelli, Enrico. editor.
http://dx.doi.org/10.1007/978-3-319-19686-2
Format: Electronic Resources

Mobile and Wireless Technology 2015

2026-04-01T12:48:54Z

by Kim, Kuinam J. editor.
http://dx.doi.org/10.1007/978-3-662-47669-7
Format: Electronic Resources

Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers

2026-04-01T12:48:54Z

by Leung, Victor C.M. editor.
http://dx.doi.org/10.1007/978-3-319-16050-4
Format: Electronic Resources

Creativity and Rationale Enhancing Human Experience by Design

2026-04-01T12:48:54Z

by Carroll, John M. editor.
http://dx.doi.org/10.1007/978-1-4471-4111-2
Format: Electronic Resources

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2026-04-01T12:48:54Z

by Hunt, John. author.
http://dx.doi.org/10.1007/978-3-319-06776-6
Format: Electronic Resources

Graph and Model Transformation General Framework and Applications

2026-04-01T12:48:54Z

by Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/978-3-662-47980-3
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVI

2026-04-01T12:48:54Z

by Kowalczyk, Ryszard. editor.
http://dx.doi.org/10.1007/978-3-662-44871-7
Format: Electronic Resources

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-04-01T12:48:54Z

by Beyer, Dirk. editor.
http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Electronic Resources

Models@run.time Foundations, Applications, and Roadmaps

2026-04-01T12:48:54Z

by Bencomo, Nelly. editor.
http://dx.doi.org/10.1007/978-3-319-08915-7
Format: Electronic Resources

Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers

2026-04-01T12:48:54Z

by Matera, Maristella. editor.
http://dx.doi.org/10.1007/978-3-319-03737-0
Format: Electronic Resources