Search Results for - Narrowed by: 2014 - Logics and Meanings of Programs.

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2024-05-22T14:02:44Z

Yazar McCarthy, Jay. editor.
http://dx.doi.org/10.1007/978-3-642-45340-3
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-22T14:02:44Z

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

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-05-22T14:02:44Z

Yazar Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources

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

2024-05-22T14:02:44Z

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Ait Ameur, Yamine. editor.
http://dx.doi.org/10.1007/978-3-662-43652-3
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-22T14:02:44Z

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

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

2024-05-22T14:02:44Z

Yazar Casadio, Claudia. editor.
http://dx.doi.org/10.1007/978-3-642-54789-8
Format: Electronic Resources

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Cai, Zhipeng. editor.
http://dx.doi.org/10.1007/978-3-319-08783-2
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-22T14:02:44Z

Yazar Ruscio, Davide Di. editor.
http://dx.doi.org/10.1007/978-3-319-08789-4
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-22T14:02:44Z

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

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-05-22T14:02:44Z

Yazar Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Asher, Nicholas. editor.
http://dx.doi.org/10.1007/978-3-662-43742-1
Format: Electronic Resources

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

2024-05-22T14:02:44Z

Yazar Barkatou, Moulay. editor.
http://dx.doi.org/10.1007/978-3-642-54479-8
Format: Electronic Resources

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Diaz, Josep. editor.
http://dx.doi.org/10.1007/978-3-662-44602-7
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-22T14:02:44Z

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

Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Bikakis, Antonis. editor.
http://dx.doi.org/10.1007/978-3-319-09870-8
Format: Electronic Resources

Practical Analysis of Algorithms

2024-05-22T14:02:44Z

Yazar Vrajitoru, Dana. author.
http://dx.doi.org/10.1007/978-3-319-09888-3
Format: Electronic Resources

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
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-22T14:02:44Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-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-22T14:02:44Z

Yazar Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-11936-6
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-22T14:02:44Z

Yazar Yahav, Eran. editor.
http://dx.doi.org/10.1007/978-3-319-13338-6
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-22T14:02:44Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
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-22T14:02:44Z

Yazar Schaefer, Ina. editor.
http://dx.doi.org/10.1007/978-3-319-14130-5
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Norman, Gethin. editor.
http://dx.doi.org/10.1007/978-3-319-10696-0
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Ortmeier, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-12214-4
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-22T14:02:44Z

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

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

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

2024-05-22T14:02:44Z

Yazar Gheorghe, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-14370-5
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-22T14:02:44Z

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

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Fermé, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-319-11558-0
Format: Electronic Resources

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

2024-05-22T14:02:44Z

Yazar Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
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-22T14:02:44Z

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

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Beierle, Christoph. editor.
http://dx.doi.org/10.1007/978-3-319-04939-7
Format: Electronic Resources

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Fages, François. editor.
http://dx.doi.org/10.1007/978-3-319-10398-3
Format: Electronic Resources

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

2024-05-22T14:02:44Z

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

Concrete Semantics With Isabelle/HOL

2024-05-22T14:02:44Z

Yazar Nipkow, Tobias. author.
http://dx.doi.org/10.1007/978-3-319-10542-0
Format: Electronic Resources

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-319-12736-1
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Avgeriou, Paris. editor.
http://dx.doi.org/10.1007/978-3-319-09970-5
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-22T14:02:44Z

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

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Gopal, T. V. editor.
http://dx.doi.org/10.1007/978-3-319-06089-7
Format: Electronic Resources

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2024-05-22T14:02:44Z

Yazar Majkić, Zoran. author.
http://dx.doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

2024-05-22T14:02:44Z

Yazar Breugel, Franck van. editor.
http://dx.doi.org/10.1007/978-3-319-06880-0
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-22T14:02:44Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-07317-0
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-22T14:02:44Z

Yazar George, Laurent. editor.
http://dx.doi.org/10.1007/978-3-319-08311-7
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

Verification of Business Rules Programs

2024-05-22T14:02:44Z

Yazar Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: Electronic Resources

Krister Segerberg on Logic of Actions

2024-05-22T14:02:44Z

Yazar Trypuz, Robert. editor.
http://dx.doi.org/10.1007/978-94-007-7046-1
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-22T14:02:44Z

Yazar Fischbach, Kai. editor.
http://dx.doi.org/10.1007/978-3-319-05359-2
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
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-22T14:02:44Z

Yazar Höfner, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-06251-8
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Dowek, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-08918-8
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-22T14:02:44Z

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

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Jürgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources

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

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Legay, Axel. editor.
http://dx.doi.org/10.1007/978-3-319-10512-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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Horváth, András. editor.
http://dx.doi.org/10.1007/978-3-319-10885-8
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-22T14:02:44Z

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

Programming Languages and Operational Semantics A Concise Overview

2024-05-22T14:02:44Z

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

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Hirsch, Edward A. editor.
http://dx.doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources

Engineering Secure Future Internet Services and Systems Current Research

2024-05-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
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-22T14:02:44Z

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

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

2024-05-22T14:02:44Z

Yazar Boniol, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-07512-9
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-22T14:02:44Z

Yazar Seidl, Martina. editor.
http://dx.doi.org/10.1007/978-3-319-09099-3
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

Yazar Lang, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-10702-8
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-22T14:02:44Z

Yazar Cabot, Jordi. editor.
http://dx.doi.org/10.1007/978-3-319-09195-2
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-22T14:02:44Z

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-22T14:02:44Z

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-22T14:02:44Z

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-22T14:02:44Z

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

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

2024-05-22T14:02:44Z

Yazar Colinet, Margot. editor.
http://dx.doi.org/10.1007/978-3-662-44116-9
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-22T14:02:44Z

Yazar Merayo, Mercedes G. editor.
http://dx.doi.org/10.1007/978-3-662-44857-1
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-22T14:02:44Z

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

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

2024-05-22T14:02:44Z

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

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2024-05-22T14:02:44Z

Yazar Iida, Shusaku. editor.
http://dx.doi.org/10.1007/978-3-642-54624-2
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-22T14:02:44Z

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

Transactions on Petri Nets and Other Models of Concurrency IX

2024-05-22T14:02:44Z

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

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

2024-05-22T14:02:44Z

Yazar Shi, Zhongzhi. editor.
http://dx.doi.org/10.1007/978-3-662-44980-6
Format: Electronic Resources

Semantics of Probabilistic Processes An Operational Approach

2024-05-22T14:02:44Z

Yazar Deng, Yuxin. author.
http://dx.doi.org/10.1007/978-3-662-45198-4
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-22T14:02:44Z

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