Search Results for - Narrowed by: Logics and Meanings of Programs. - Computation by Abstract Devices.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-06-06T22:38:15Z

by Doty, David. editor. (orcid)0000-0002-3922-172X
https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-06-06T22:38:15Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2024-06-06T22:38:15Z

by Hasuo, Ichiro. editor.
https://doi.org/10.1007/978-3-319-40370-0
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-06-06T22:38:15Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2024-06-06T22:38:15Z

by Festa, Paola. editor.
https://doi.org/10.1007/978-3-319-50349-3
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-06-06T22:38:15Z

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

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

2024-06-06T22:38:15Z

by Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-319-45994-3
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-06-06T22:38:15Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2024-06-06T22:38:15Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2024-06-06T22:38:15Z

by Câmpeanu, Cezar. editor.
https://doi.org/10.1007/978-3-319-41114-9
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-06-06T22:38:15Z

by Agha, Gul. editor.
https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-06-06T22:38:15Z

by Jobstmann, Barbara. editor.
https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2024-06-06T22:38:15Z

by Foret, Annie. editor.
https://doi.org/10.1007/978-3-662-53042-9
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-06-06T22:38:15Z

by Chechik, Marsha. editor.
https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2024-06-06T22:38:15Z

by Brlek, Srečko. editor.
https://doi.org/10.1007/978-3-662-53132-7
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-06-06T22:38:15Z

by Jacobs, Bart. editor.
https://doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-06T22:38:15Z

by Skrzypczak, Michał. author.
https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2024-06-06T22:38:15Z

by Devitt, Simon. editor.
https://doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-06-06T22:38:15Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

2024-06-06T22:38:15Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-319-47166-2
Format: Electronic Resources

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2024-06-06T22:38:15Z

by Amos, Martyn. editor.
https://doi.org/10.1007/978-3-319-41312-9
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2024-06-06T22:38:15Z

by Fränzle, Martin. editor.
https://doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2024-06-06T22:38:15Z

by Han, Yo-Sub. editor.
https://doi.org/10.1007/978-3-319-40946-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2024-06-06T22:38:15Z

by Lamprecht, Anna-Lena. editor.
https://doi.org/10.1007/978-3-319-51641-7
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2024-06-06T22:38:15Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2024-06-06T22:38:15Z

by Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-319-48989-6
Format: Electronic Resources

Programming Languages and Systems 25th European Symposium on Programming, ESOP 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-06-06T22:38:15Z

by Thiemann, Peter. editor.
https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

2024-06-06T22:38:15Z

by Ehrig, Hartmut. editor.
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: Electronic Resources

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-06-06T22:38:15Z

by Audebaud, Philippe. editor.
http://dx.doi.org/10.1007/978-3-540-70594-9
Format: Electronic Resources

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2024-06-06T22:38:15Z

by Amadio, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Electronic Resources

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-06-06T22:38:15Z

by Breugel, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: Electronic Resources

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

2024-06-06T22:38:15Z

by Martín-Vide, Carlos. editor.
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: Electronic Resources

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

2024-06-06T22:38:15Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-540-70844-5
Format: Electronic Resources

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

2024-06-06T22:38:15Z

by Laber, Eduardo Sany. editor.
http://dx.doi.org/10.1007/978-3-540-78773-0
Format: Electronic Resources

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

2024-06-06T22:38:15Z

by Ochmański, Edward. editor.
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: Electronic Resources

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2024-06-06T22:38:15Z

by Egerstedt, Magnus. editor.
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2024-06-06T22:38:15Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-06-06T22:38:15Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

2024-06-06T22:38:15Z

by Harju, Tero. editor.
http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Electronic Resources

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

2024-06-06T22:38:15Z

by Durand-Lose, Jérôme. editor.
http://dx.doi.org/10.1007/978-3-540-74593-8
Format: Electronic Resources

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

2024-06-06T22:38:15Z

by Holub, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-76336-9
Format: Electronic Resources

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-06-06T22:38:15Z

by Arvind, V. editor.
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2024-06-06T22:38:15Z

by Caires, Luís. editor.
http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Electronic Resources

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2024-06-06T22:38:15Z

by Kučera, Luděk. editor.
http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources

Finite Model Theory and Its Applications

2024-06-06T22:38:15Z

by Grädel, Erich. author.
http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-06-06T22:38:15Z

by Bemporad, Alberto. editor.
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-06-06T22:38:15Z

by Thomas, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Electronic Resources

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2024-06-06T22:38:15Z

by Seidl, Helmut. editor.
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2024-06-06T22:38:15Z

by Corradini, Andrea. editor.
http://dx.doi.org/10.1007/11841883
Format: Electronic Resources

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2024-06-06T22:38:15Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/11823063
Format: Electronic Resources

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2024-06-06T22:38:15Z

by Arun-Kumar, S. editor.
http://dx.doi.org/10.1007/11944836
Format: Electronic Resources

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

2024-06-06T22:38:15Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/11779148
Format: Electronic Resources

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings

2024-06-06T22:38:15Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/11812128
Format: Electronic Resources

CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

2024-06-06T22:38:15Z

by Baier, Christel. editor.
http://dx.doi.org/10.1007/11817949
Format: Electronic Resources

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

2024-06-06T22:38:15Z

by Královič, Rastislav. editor.
http://dx.doi.org/10.1007/11821069
Format: Electronic Resources

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2024-06-06T22:38:15Z

by Uustalu, Tarmo. editor.
http://dx.doi.org/10.1007/11783596
Format: Electronic Resources

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2024-06-06T22:38:15Z

by Correa, José R. editor.
http://dx.doi.org/10.1007/11682462
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2024-06-06T22:38:15Z

by Barkaoui, Kamel. editor.
http://dx.doi.org/10.1007/11921240
Format: Electronic Resources

Fundamentals of Algebraic Graph Transformation

2024-06-06T22:38:15Z

by Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/3-540-31188-2
Format: Electronic Resources

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2024-06-06T22:38:15Z

by Hespanha, João P. editor.
http://dx.doi.org/10.1007/11730637
Format: Electronic Resources

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

2024-06-06T22:38:15Z

by Farré, Jacques. editor.
http://dx.doi.org/10.1007/11605157
Format: Electronic Resources

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2024-06-06T22:38:15Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/11690634
Format: Electronic Resources

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

2024-06-06T22:38:15Z

by Durand, Bruno. editor.
http://dx.doi.org/10.1007/11672142
Format: Electronic Resources

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-06T22:38:15Z

by Sassone, Vladimiro. editor.
http://dx.doi.org/10.1007/b106850
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

2024-06-06T22:38:15Z

by Hung, Dang. editor.
http://dx.doi.org/10.1007/11560647
Format: Electronic Resources

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

2024-06-06T22:38:15Z

by Abadi, Martín. editor.
http://dx.doi.org/10.1007/11539452
Format: Electronic Resources

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

2024-06-06T22:38:15Z

by Margenstern, Maurice. editor.
http://dx.doi.org/10.1007/b106980
Format: Electronic Resources

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-06-06T22:38:15Z

by Kreowski, Hans-Jörg. editor.
http://dx.doi.org/10.1007/b106390
Format: Electronic Resources

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2024-06-06T22:38:15Z

by Sarukkai, Sundar. editor.
http://dx.doi.org/10.1007/11590156
Format: Electronic Resources

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2024-06-06T22:38:15Z

by Lodaya, Kamal. editor.
http://dx.doi.org/10.1007/b104325
Format: Electronic Resources

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

2024-06-06T22:38:15Z

by Calude, Cristian S. editor.
http://dx.doi.org/10.1007/b103739
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-06-06T22:38:15Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/b107116
Format: Electronic Resources

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2024-06-06T22:38:15Z

by Jȩdrzejowicz, Joanna. editor.
http://dx.doi.org/10.1007/11549345
Format: Electronic Resources

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

2024-06-06T22:38:15Z

by Felice, Clelia. editor.
http://dx.doi.org/10.1007/b137735
Format: Electronic Resources

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-06-06T22:38:15Z

by Morari, Manfred. editor.
http://dx.doi.org/10.1007/b106766
Format: Electronic Resources

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

2024-06-06T22:38:15Z

by Coppo, Mario. editor.
http://dx.doi.org/10.1007/11560586
Format: Electronic Resources