Search Results for Systems theory. - Narrowed by: Computer logic. - Mathematical logic.

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-07-23T00:55:39Z

Yazar Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
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-07-23T00:55:39Z

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

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Chechik, Marsha. editor.
http://dx.doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2024-07-23T00:55:39Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2024-07-23T00:55:39Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources

Semantics of Probabilistic Processes An Operational Approach

2024-07-23T00:55:39Z

Yazar Deng, Yuxin. author.
http://dx.doi.org/10.1007/978-3-662-45198-4
Format: Electronic Resources

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

2024-07-23T00:55:39Z

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

PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2024-07-23T00:55:39Z

Yazar Bjørner, Nikolaj. editor.
https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Kulikov, Alexander S. editor.
http://dx.doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-319-40229-1
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-07-23T00:55:39Z

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

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Larsen, Kim Guldstrand. editor.
http://dx.doi.org/10.1007/978-3-319-45994-3
Format: Electronic Resources

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-07-23T00:55:39Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-07-23T00:55:39Z

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

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-07-23T00:55:39Z

Yazar Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
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-07-23T00:55:39Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
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-07-23T00:55:39Z

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

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

2024-07-23T00:55:39Z

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

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

2024-07-23T00:55:39Z

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

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-07-23T00:55:39Z

Yazar Lutz, Carsten. editor.
https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

2024-07-23T00:55:39Z

Yazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
https://doi.org/10.1007/978-3-030-28796-2
Format: Electronic Resources

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar De Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Stevens, Perdita. editor.
http://dx.doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-07-23T00:55:39Z

Yazar Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-16310-9
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-07-23T00:55:39Z

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

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2024-07-23T00:55:39Z

Yazar Fontaine, Pascal. editor.
https://doi.org/10.1007/978-3-030-29436-6
Format: Electronic Resources

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-319-33693-0
Format: Electronic Resources

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-07-23T00:55:39Z

Yazar Jacobs, Bart. editor.
http://dx.doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-07-23T00:55:39Z

Yazar Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-0
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-07-23T00:55:39Z

Yazar Dowek, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-08918-8
Format: Electronic Resources

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

2024-07-23T00:55:39Z

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

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-07-23T00:55:39Z

Yazar Blackburn, Patrick. editor.
https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-07-23T00:55:39Z

Yazar Chen, Yu-Fang. editor.
https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2024-07-23T00:55:39Z

Yazar van der Hoek, Wiebe. editor.
http://dx.doi.org/10.1007/978-3-662-48561-3
Format: Electronic Resources

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2024-07-23T00:55:39Z

Yazar Kroening, Daniel. editor.
http://dx.doi.org/10.1007/978-3-319-21690-4
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-07-23T00:55:39Z

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

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

2024-07-23T00:55:39Z

Yazar Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
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-07-23T00:55:39Z

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