Search Results for - Narrowed by: Software engineering. - Computers. - 2014

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

2024-06-18T02:46:59Z

Yazar Goues, Claire Le. editor.
http://dx.doi.org/10.1007/978-3-319-09940-8
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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

Augmented Marked Graphs

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

Yazar Awan, Irfan. editor.
http://dx.doi.org/10.1007/978-3-319-10359-4
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-06-18T02:46:59Z

Yazar Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

Yazar Kravets, Alla. editor.
http://dx.doi.org/10.1007/978-3-319-11854-3
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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

Yazar Aguilera, Marcos K. editor.
http://dx.doi.org/10.1007/978-3-319-14472-6
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-06-18T02:46:59Z

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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

Yazar Heinrich, Robert. author.
http://dx.doi.org/10.1007/978-3-658-06518-8
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-06-18T02:46:59Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-662-43613-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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

Yazar Krishnamachari, Bhaskar. editor.
http://dx.doi.org/10.1007/978-3-319-04651-8
Format: Electronic Resources

An Introduction to Design Science

2024-06-18T02:46:59Z

Yazar Johannesson, Paul. author.
http://dx.doi.org/10.1007/978-3-319-10632-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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

Yazar Kontchakov, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-11113-1
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-06-18T02:46:59Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
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-06-18T02:46:59Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
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-06-18T02:46:59Z

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

Design Science Methodology for Information Systems and Software Engineering

2024-06-18T02:46:59Z

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

Break-Glass Handling Exceptional Situations in Access Control

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

Transactions on Computational Collective Intelligence XVI

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-06-18T02:46:59Z

Yazar Lamprecht, Anna-Lena. editor.
http://dx.doi.org/10.1007/978-3-662-45006-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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

Future Business Software Current Trends in Business Software Development

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

Yazar Brugali, Davide. editor.
http://dx.doi.org/10.1007/978-3-319-11900-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-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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

Autonomy Requirements Engineering for Space Missions

2024-06-18T02:46:59Z

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

Programming Languages and Operational Semantics A Concise Overview

2024-06-18T02:46:59Z

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

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

2024-06-18T02:46:59Z

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