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

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

2024-05-24T14:28:21Z

Yazar Fitzgerald, John. editor.
http://dx.doi.org/10.1007/978-3-642-54118-6
Format: Electronic Resources

Self-Organizing Systems 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Elmenreich, Wilfried. editor.
http://dx.doi.org/10.1007/978-3-642-54140-7
Format: Electronic Resources

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Ruscio, Davide Di. editor.
http://dx.doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources

Computational Logistics 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar González-Ramírez, Rosa G. editor.
http://dx.doi.org/10.1007/978-3-319-11421-7
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

2024-05-24T14:28:21Z

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

Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Mazzeo, Pier Luigi. editor.
http://dx.doi.org/10.1007/978-3-319-13323-2
Format: Electronic Resources

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Mey, Dieter an. editor.
http://dx.doi.org/10.1007/978-3-642-54420-0
Format: Electronic Resources

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Yahav, Eran. editor.
http://dx.doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2024-05-24T14:28:21Z

Yazar Iida, Shusaku. editor.
http://dx.doi.org/10.1007/978-3-642-54624-2
Format: Electronic Resources

Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Hervás, Ramón. editor.
http://dx.doi.org/10.1007/978-3-319-13102-3
Format: Electronic Resources

Ambient Assisted Living and Daily Activities 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Pecchia, Leandro. editor.
http://dx.doi.org/10.1007/978-3-319-13105-4
Format: Electronic Resources

Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Parsons, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-319-14139-8
Format: Electronic Resources

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Kontchakov, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-11113-1
Format: Electronic Resources

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Gheorghe, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-14370-5
Format: Electronic Resources

A Rigorous Semantics for BPMN 2.0 Process Diagrams

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Advances in Computer Science and its Applications CSA 2013

2024-05-24T14:28:21Z

Yazar Jeong, Hwa Young. editor.
http://dx.doi.org/10.1007/978-3-642-41674-3
Format: Electronic Resources

Recommendation Systems in Software Engineering

2024-05-24T14:28:21Z

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

Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives

2024-05-24T14:28:21Z

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

Systems and Software Quality The next step for industrialisation

2024-05-24T14:28:21Z

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

Handbook on Agent-Oriented Design Processes

2024-05-24T14:28:21Z

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

User-Centred Engineering Creating Products for Humans

2024-05-24T14:28:21Z

Yazar Richter, Michael. author.
http://dx.doi.org/10.1007/978-3-662-43989-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

2024-05-24T14:28:21Z

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

Automatic Generation of Combinatorial Test Data

2024-05-24T14:28:21Z

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

Web Information Systems and Technologies 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Krempels, Karl-Heinz. editor.
http://dx.doi.org/10.1007/978-3-662-44300-2
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-05-24T14:28:21Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

Enterprise, Business-Process and Information Systems Modeling 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Bider, Ilia. editor.
http://dx.doi.org/10.1007/978-3-662-43745-2
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Desai, Narayan. editor.
http://dx.doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Cohen, Ernie. editor.
http://dx.doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part III

2024-05-24T14:28:21Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09150-1
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Ciobanu, Gabriel. editor.
http://dx.doi.org/10.1007/978-3-319-10882-7
Format: Electronic Resources

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Biere, Armin. editor.
http://dx.doi.org/10.1007/978-3-319-08867-9
Format: Electronic Resources

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Horváth, András. editor.
http://dx.doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-319-10506-2
Format: Electronic Resources

eScience on Distributed Computing Infrastructure Achievements of PLGrid Plus Domain-Specific Services and Tools

2024-05-24T14:28:21Z

Yazar Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-10894-0
Format: Electronic Resources

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Cabot, Jordi. editor.
http://dx.doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Müller-Olm, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-10936-7
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Mendes, Pedro. editor.
http://dx.doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Chatterjee, Mainak. editor.
http://dx.doi.org/10.1007/978-3-642-45249-9
Format: Electronic Resources

Software Project Management in a Changing World

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering

2024-05-24T14:28:21Z

Yazar Heinrich, Robert. author.
http://dx.doi.org/10.1007/978-3-658-06518-8
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Break-Glass Handling Exceptional Situations in Access Control

2024-05-24T14:28:21Z

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

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Merayo, Mercedes G. editor.
http://dx.doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013

2024-05-24T14:28:21Z

Yazar Mohapatra, Durga Prasad. editor.
http://dx.doi.org/10.1007/978-81-322-1665-0
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Fischbach, Kai. editor.
http://dx.doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Synthesizable VHDL Design for FPGAs

2024-05-24T14:28:21Z

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

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Flatt, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources

Future Business Software Current Trends in Business Software Development

2024-05-24T14:28:21Z

Yazar Brunetti, Gino. editor.
http://dx.doi.org/10.1007/978-3-319-04144-5
Format: Electronic Resources

Biometrics in the New World The Cloud, Mobile Technology and Pervasive Identity

2024-05-24T14:28:21Z

Yazar Ashbourn, Julian. author.
http://dx.doi.org/10.1007/978-3-319-04159-9
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Höfner, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-06251-8
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Augmented Marked Graphs

2024-05-24T14:28:21Z

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

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

An Introduction to Design Science

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Dingel, Juergen. editor.
http://dx.doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources

Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Jonsson, Magnus. editor.
http://dx.doi.org/10.1007/978-3-319-10262-7
Format: Electronic Resources

Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Indulska, Marta. editor.
http://dx.doi.org/10.1007/978-3-319-12256-4
Format: Electronic Resources

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Seidl, Martina. editor.
http://dx.doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2024-05-24T14:28:21Z

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

Web Information Systems Engineering – WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II

2024-05-24T14:28:21Z

Yazar Benatallah, Boualem. editor.
http://dx.doi.org/10.1007/978-3-319-11746-1
Format: Electronic Resources

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

2024-05-24T14:28:21Z

Yazar Mendes, Emilia. author.
http://dx.doi.org/10.1007/978-3-642-54157-5
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Felber, Pascal. editor.
http://dx.doi.org/10.1007/978-3-319-11764-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V

2024-05-24T14:28:21Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09156-3
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-319-10557-4
Format: Electronic Resources

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Goertzel, Ben. editor.
http://dx.doi.org/10.1007/978-3-319-09274-4
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

2024-05-24T14:28:21Z

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

Web Information Systems Engineering – WISE 2013 Workshops WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Huang, Zhisheng. editor.
http://dx.doi.org/10.1007/978-3-642-54370-8
Format: Electronic Resources

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Brugali, Davide. editor.
http://dx.doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2024-05-24T14:28:21Z

Yazar Kovalev, Mikhail. author.
http://dx.doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources

Information Systems Management in the Big Data Era

2024-05-24T14:28:21Z

Yazar Lake, Peter. author.
http://dx.doi.org/10.1007/978-3-319-13503-8
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

2024-05-24T14:28:21Z

Yazar Gnesi, Stefania. editor.
http://dx.doi.org/10.1007/978-3-642-54804-8
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

2024-05-24T14:28:21Z

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

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-13749-0
Format: Electronic Resources

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

2024-05-24T14:28:21Z

Yazar Lopes, Luís. editor.
http://dx.doi.org/10.1007/978-3-319-14313-2
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

2024-05-24T14:28:21Z

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

Autonomy Requirements Engineering for Space Missions

2024-05-24T14:28:21Z

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

Situational Method Engineering

2024-05-24T14:28:21Z

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

Lean Software Development in Action

2024-05-24T14:28:21Z

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

Evolving Software Systems

2024-05-24T14:28:21Z

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

Refinement in Z and Object-Z Foundations and Advanced Applications

2024-05-24T14:28:21Z

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

High Performance Cloud Auditing and Applications

2024-05-24T14:28:21Z

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

SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-319-04298-5
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Maehle, Erik. editor.
http://dx.doi.org/10.1007/978-3-319-04891-8
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Socio-technical Design of Ubiquitous Computing Systems

2024-05-24T14:28:21Z

Yazar David, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-05044-7
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Service-Oriented Computing – ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Lomuscio, Alessio R. editor.
http://dx.doi.org/10.1007/978-3-319-06859-6
Format: Electronic Resources

Agile! The Good, the Hype and the Ugly

2024-05-24T14:28:21Z

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

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Giese, Holger. editor.
http://dx.doi.org/10.1007/978-3-319-09108-2
Format: Electronic Resources

Frontiers in Gaming Simulation 44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013. Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Meijer, Sebastiaan A. editor.
http://dx.doi.org/10.1007/978-3-319-04954-0
Format: Electronic Resources

Introduction to Software Quality

2024-05-24T14:28:21Z

Yazar O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources

Agile Risk Management

2024-05-24T14:28:21Z

Yazar Moran, Alan. author.
http://dx.doi.org/10.1007/978-3-319-05008-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

2024-05-24T14:28:21Z

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

Aligning Organizations Through Measurement The GQM+Strategies Approach

2024-05-24T14:28:21Z

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

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar George, Laurent. editor.
http://dx.doi.org/10.1007/978-3-319-08311-7
Format: Electronic Resources

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Krishnamachari, Bhaskar. editor.
http://dx.doi.org/10.1007/978-3-319-04651-8
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

2024-05-24T14:28:21Z

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

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Demri, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Klein, Gerwin. editor.
http://dx.doi.org/10.1007/978-3-319-08970-6
Format: Electronic Resources

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures

2024-05-24T14:28:21Z

Yazar Wang, Endong. author.
http://dx.doi.org/10.1007/978-3-319-06486-4
Format: Electronic Resources

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2024-05-24T14:28:21Z

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

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources

Continuous Software Engineering

2024-05-24T14:28:21Z

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

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part II

2024-05-24T14:28:21Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09129-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I

2024-05-24T14:28:21Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09144-0
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IV

2024-05-24T14:28:21Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09147-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VI

2024-05-24T14:28:21Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09153-2
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Emergent Interfaces for Feature Modularization

2024-05-24T14:28:21Z

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

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Jedlitschka, Andreas. editor.
http://dx.doi.org/10.1007/978-3-319-13835-0
Format: Electronic Resources

Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems

2024-05-24T14:28:21Z

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

Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings

2024-05-24T14:28:21Z

Yazar Guo, Song. editor.
http://dx.doi.org/10.1007/978-3-319-07425-2
Format: Electronic Resources

Trusted Cloud Computing

2024-05-24T14:28:21Z

Yazar Krcmar, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-12718-7
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

2024-05-24T14:28:21Z

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

PRIMA 2014: Principles and Practice of Multi-Agent Systems 17th International Conference, Gold Coast, QLD Australia, December 1-5, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Dam, Hoa Khanh. editor.
http://dx.doi.org/10.1007/978-3-319-13191-7
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

2024-05-24T14:28:21Z

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

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Avgeriou, Paris. editor.
http://dx.doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Advanced Information Systems Engineering 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Jarke, Matthias. editor.
http://dx.doi.org/10.1007/978-3-319-07881-6
Format: Electronic Resources

The Art of Software Thermal Management for Embedded Systems

2024-05-24T14:28:21Z

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

Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Casteleyn, Sven. editor.
http://dx.doi.org/10.1007/978-3-319-08245-5
Format: Electronic Resources

Design Thinking Research Building Innovation Eco-Systems

2024-05-24T14:28:21Z

Yazar Leifer, Larry. editor.
http://dx.doi.org/10.1007/978-3-319-01303-9
Format: Electronic Resources

Python for Signal Processing Featuring IPython Notebooks

2024-05-24T14:28:21Z

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

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

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

Advanced Information Systems Engineering Workshops CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Iliadis, Lazaros. editor.
http://dx.doi.org/10.1007/978-3-319-07869-4
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2024-05-24T14:28:21Z

Yazar Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources

Software Project Effort Estimation Foundations and Best Practice Guidelines for Success

2024-05-24T14:28:21Z

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

Exploring Services Science 5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Snene, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-319-04810-9
Format: Electronic Resources

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Tuosto, Emilio. editor.
http://dx.doi.org/10.1007/978-3-319-08260-8
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Novel Methods and Technologies for Enterprise Information Systems ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers

2024-05-24T14:28:21Z

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

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Yamashita, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources

Models@run.time Foundations, Applications, and Roadmaps

2024-05-24T14:28:21Z

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

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Poole, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources

Enterprise Information Systems Engineering The MERODE Approach

2024-05-24T14:28:21Z

Yazar Snoeck, Monique. author.
http://dx.doi.org/10.1007/978-3-319-10145-3
Format: Electronic Resources

Agile Anywhere Essays on Agile Projects and Beyond

2024-05-24T14:28:21Z

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

Business Process Management 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Sadiq, Shazia. editor.
http://dx.doi.org/10.1007/978-3-319-10172-9
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Lang, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-10702-8
Format: Electronic Resources

Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Yu, Eric. editor.
http://dx.doi.org/10.1007/978-3-319-12206-9
Format: Electronic Resources

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Ortmeier, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-12214-4
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-05-24T14:28:21Z

Yazar Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-3-319-11268-8
Format: Electronic Resources

Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Fortino, Giancarlo. editor.
http://dx.doi.org/10.1007/978-3-319-11692-1
Format: Electronic Resources

Web Information Systems Engineering – WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I

2024-05-24T14:28:21Z

Yazar Benatallah, Boualem. editor.
http://dx.doi.org/10.1007/978-3-319-11749-2
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-319-12736-1
Format: Electronic Resources

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Cerone, Antonio. editor.
http://dx.doi.org/10.1007/978-3-642-54338-8
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Cloud Computing and Services Science Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

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

Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Ait Ameur, Yamine. editor.
http://dx.doi.org/10.1007/978-3-319-11587-0
Format: Electronic Resources

Engineering Secure Future Internet Services and Systems Current Research

2024-05-24T14:28:21Z

Yazar Heisel, Maritta. editor.
http://dx.doi.org/10.1007/978-3-319-07452-8
Format: Electronic Resources

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2024-05-24T14:28:21Z

Yazar Schaefer, Ina. editor.
http://dx.doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.

2024-05-24T14:28:21Z

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

Knowledge Science, Engineering and Management 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Buchmann, Robert. editor.
http://dx.doi.org/10.1007/978-3-319-12096-6
Format: Electronic Resources

The Python Workbook A Brief Introduction with Exercises and Solutions

2024-05-24T14:28:21Z

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

Real-time Security Extensions for EPCglobal Networks Case Study for the Pharmaceutical Industry

2024-05-24T14:28:21Z

Yazar Schapranow, Matthieu-P. author.
http://dx.doi.org/10.1007/978-3-642-36343-6
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-05-24T14:28:21Z

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

Mashups Concepts, Models and Architectures

2024-05-24T14:28:21Z

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

Transactions on Aspect-Oriented Software Development XI

2024-05-24T14:28:21Z

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

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar McMillan, Kenneth L. editor.
http://dx.doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

Yazar Zowghi, Didar. editor.
http://dx.doi.org/10.1007/978-3-662-43610-3
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

2024-05-24T14:28:21Z

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

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

2024-05-24T14:28:21Z

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

Transactions on Petri Nets and Other Models of Concurrency IX

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-05-24T14:28:21Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Computer Information Systems and Industrial Management 13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Saeed, Khalid. editor.
http://dx.doi.org/10.1007/978-3-662-45237-0
Format: Electronic Resources

Design Science Methodology for Information Systems and Software Engineering

2024-05-24T14:28:21Z

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

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Barafort, Béatrix. editor.
http://dx.doi.org/10.1007/978-3-662-43896-1
Format: Electronic Resources

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

2024-05-24T14:28:21Z

Yazar Remke, Anne. editor.
http://dx.doi.org/10.1007/978-3-662-45489-3
Format: Electronic Resources

The Practice of Enterprise Modeling 7th IFIP WG 8.1 Working Conference, PoEM 2014, Manchester, UK, November 12-13, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Frank, Ulrich. editor.
http://dx.doi.org/10.1007/978-3-662-45501-2
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Meersman, Robert. editor.
http://dx.doi.org/10.1007/978-3-662-45550-0
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2014 Conferences Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Meersman, Robert. editor.
http://dx.doi.org/10.1007/978-3-662-45563-0
Format: Electronic Resources

IAENG Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2012

2024-05-24T14:28:21Z

Yazar Kim, Haeng Kon. editor.
http://dx.doi.org/10.1007/978-94-007-6818-5
Format: Electronic Resources

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012

2024-05-24T14:28:21Z

Yazar Sathiakumar, Swamidoss. editor.
http://dx.doi.org/10.1007/978-81-322-1299-7
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Sericola, Bruno. editor.
http://dx.doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources

Software Engineering Research, Management and Applications

2024-05-24T14:28:21Z

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

Soft City Culture and Technology The Betaville Project

2024-05-24T14:28:21Z

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

JRuby Rails Web Application Development

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Mitasiunas, Antanas. editor.
http://dx.doi.org/10.1007/978-3-319-13036-1
Format: Electronic Resources

Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Das, Vinu V. editor.
http://dx.doi.org/10.1007/978-3-319-11629-7
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

Enterprise Information Systems 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Hammoudi, Slimane. editor.
http://dx.doi.org/10.1007/978-3-319-09492-2
Format: Electronic Resources

Secure and Trustworthy Service Composition The Aniketos Approach

2024-05-24T14:28:21Z

Yazar Brucker, Achim D. editor.
http://dx.doi.org/10.1007/978-3-319-13518-2
Format: Electronic Resources

Knowledge Engineering and Knowledge Management 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Janowicz, Krzysztof. editor.
http://dx.doi.org/10.1007/978-3-319-13704-9
Format: Electronic Resources

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2024-05-24T14:28:21Z

Yazar Hliněný, Petr. editor.
http://dx.doi.org/10.1007/978-3-319-14896-0
Format: Electronic Resources

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

2024-05-24T14:28:21Z

Yazar Lopes, Luís. editor.
http://dx.doi.org/10.1007/978-3-319-14325-5
Format: Electronic Resources

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Aguilera, Marcos K. editor.
http://dx.doi.org/10.1007/978-3-319-14472-6
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Corral, Luis. editor.
http://dx.doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources

Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2024-05-24T14:28:21Z

Yazar Magoutis, Kostas. editor.
http://dx.doi.org/10.1007/978-3-662-43352-2
Format: Electronic Resources

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Hong, Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources

ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Jones, Richard. editor.
http://dx.doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVI

2024-05-24T14:28:21Z

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

Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Villari, Massimo. editor.
http://dx.doi.org/10.1007/978-3-662-44879-3
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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

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

2024-05-24T14:28:21Z

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

RoboCup 2013: Robot World Cup XVII

2024-05-24T14:28:21Z

Yazar Behnke, Sven. editor.
http://dx.doi.org/10.1007/978-3-662-44468-9
Format: Electronic Resources

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-05-24T14:28:21Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Baldan, Paolo. editor.
http://dx.doi.org/10.1007/978-3-662-44584-6
Format: Electronic Resources

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings

2024-05-24T14:28:21Z

Yazar Franch, Xavier. editor.
http://dx.doi.org/10.1007/978-3-662-45391-9
Format: Electronic Resources

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

2024-05-24T14:28:21Z

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