Search Results for Logic. - Narrowed by: Operating Systems.

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

2025-02-13T13:10:07Z

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

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

2025-02-13T13:10:07Z

by De Nicola, Rocco. editor.
https://doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2025-02-13T13:10:07Z

by Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
https://doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2025-02-13T13:10:07Z

by Brat, Guillaume. editor.
https://doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2025-02-13T13:10:07Z

by Cámara, Javier. editor.
https://doi.org/10.1007/978-3-642-36249-1
Format: Electronic Resources

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

2025-02-13T13:10:07Z

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

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

2025-02-13T13:10:07Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34032-1
Format: Electronic Resources

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

2025-02-13T13:10:07Z

by Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-642-25271-6
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

2025-02-13T13:10:07Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34026-0
Format: Electronic Resources

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

2025-02-13T13:10:07Z

by Goodloe, Alwyn. editor.
https://doi.org/10.1007/978-3-642-28891-3
Format: Electronic Resources

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

2025-02-13T13:10:07Z

by Bobaru, Mihaela. editor.
https://doi.org/10.1007/978-3-642-20398-5
Format: Electronic Resources

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2025-02-13T13:10:07Z

by de Boer, Frank S. editor.
https://doi.org/10.1007/978-3-642-17071-3
Format: Electronic Resources

Understanding Concurrent Systems

2025-02-13T13:10:07Z

by Roscoe, A.W. author.
https://doi.org/10.1007/978-1-84882-258-0
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

2025-02-13T13:10:07Z

by Kullmann, Oliver. editor.
https://doi.org/10.1007/978-3-642-02777-2
Format: Electronic Resources

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

2025-02-13T13:10:07Z

by Bonsangue, Marcello M. editor.
https://doi.org/10.1007/978-3-642-04167-9
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers

2025-02-13T13:10:07Z

by Frachtenberg, Eitan. editor.
https://doi.org/10.1007/978-3-642-04633-9
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2025-02-13T13:10:07Z

by Suzuki, Kenji. editor.
https://doi.org/10.1007/978-3-540-68855-6
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers

2025-02-13T13:10:07Z

by Frachtenberg, Eitan. editor.
https://doi.org/10.1007/978-3-540-78699-3
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2025-02-13T13:10:07Z

by Meyer, Bertrand. editor.
https://doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

2025-02-13T13:10:07Z

by Kleine Büning, Hans. editor.
https://doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

2025-02-13T13:10:07Z

by Bonsangue, Marcello M. editor.
https://doi.org/10.1007/978-3-540-92188-2
Format: Electronic Resources

Principles of the Spin Model Checker

2025-02-13T13:10:07Z

by Ben-Ari, Mordechai. author.
https://doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

2025-02-13T13:10:07Z

by Ramalingam, G. editor.
https://doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2025-02-13T13:10:07Z

by Prodan, Radu. author.
https://doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

2025-02-13T13:10:07Z

by Indulska, Jadwiga. editor.
https://doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

2025-02-13T13:10:07Z

by Bonsangue, Marcello M. editor.
https://doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings

2025-02-13T13:10:07Z

by Winckler, Marco. editor.
https://doi.org/10.1007/978-3-540-77222-4
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2025-02-13T13:10:07Z

by Frachtenberg, Eitan. editor.
https://doi.org/10.1007/978-3-540-71035-6
Format: Electronic Resources

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

2025-02-13T13:10:07Z

by de Boer, Frank S. editor.
https://doi.org/10.1007/978-3-540-74792-5
Format: Electronic Resources

Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures

2025-02-13T13:10:07Z

by Aldini, Alessandro. editor.
https://doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings

2025-02-13T13:10:07Z

by Paillier, Pascal. editor.
https://doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

2025-02-13T13:10:07Z

by Marques-Silva, Joao. editor.
https://doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

2025-02-13T13:10:07Z

by Derrick, John. editor.
https://doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings

2025-02-13T13:10:07Z

by Shao, Zhong. editor.
https://doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

2025-02-13T13:10:07Z

by Kobayashi, Naoki. editor.
https://doi.org/10.1007/11924661
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

2025-02-13T13:10:07Z

by Biere, Armin. editor. (orcid)0000-0001-7170-9242
https://doi.org/10.1007/11814948
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

2025-02-13T13:10:07Z

by Gorrieri, Roberto. editor.
https://doi.org/10.1007/11768869
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2025-02-13T13:10:07Z

by Barthe, Gilles. editor.
https://doi.org/10.1007/11741060
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings

2025-02-13T13:10:07Z

by Goubin, Louis. editor.
https://doi.org/10.1007/11894063
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

2025-02-13T13:10:07Z

by Najm, Elie. editor.
https://doi.org/10.1007/11888116
Format: Electronic Resources

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings

2025-02-13T13:10:07Z

by Lightfoot, David. editor.
https://doi.org/10.1007/11860990
Format: Electronic Resources

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2025-02-13T13:10:07Z

by de Boer, Frank S. editor.
https://doi.org/10.1007/11804192
Format: Electronic Resources

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

2025-02-13T13:10:07Z

by Mycroft, Alan. editor.
https://doi.org/10.1007/11688839
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2025-02-13T13:10:07Z

by Hoos, Holger H. editor.
https://doi.org/10.1007/11527695
Format: Electronic Resources

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

2025-02-13T13:10:07Z

by Kutvonen, Lea. editor.
https://doi.org/10.1007/b137217
Format: Electronic Resources

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

2025-02-13T13:10:07Z

by Dearle, Alan. editor.
https://doi.org/10.1007/11590712
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

2025-02-13T13:10:07Z

by Bacchus, Fahiem. editor.
https://doi.org/10.1007/b137280
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2005 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings

2025-02-13T13:10:07Z

by Rao, Josyula R. editor.
https://doi.org/10.1007/11545262
Format: Electronic Resources

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

2025-02-13T13:10:07Z

by Van Roy, Peter. editor.
https://doi.org/10.1007/b106627
Format: Electronic Resources

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

2025-02-13T13:10:07Z

by Yi, Kwangkeun. editor.
https://doi.org/10.1007/11575467
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

2025-02-13T13:10:07Z

by Feitelson, Dror. editor.
https://doi.org/10.1007/b107134
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

2025-02-13T13:10:07Z

by Wang, Farn. editor.
https://doi.org/10.1007/11562436
Format: Electronic Resources

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

2025-02-13T13:10:07Z

by de Boer, Frank S. editor.
https://doi.org/10.1007/11561163
Format: Electronic Resources

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2025-02-13T13:10:07Z

by Aldini, Alessandro. editor.
https://doi.org/10.1007/11554578
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

2025-02-13T13:10:07Z

by Steffen, Martin. editor.
https://doi.org/10.1007/b136996
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2025-02-13T13:10:07Z

by Feitelson, Dror. editor.
https://doi.org/10.1007/11605300
Format: Electronic Resources