Search Results for - Narrowed by: Algorithm Analysis and Problem Complexity. - Logics and Meanings of Programs.

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-06-18T15:22:05Z

by Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-06-18T15:22:05Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-06-18T15:22:05Z

by Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-06-18T15:22:05Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-06-18T15:22:05Z

by Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-06-18T15:22:05Z

by Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-06-18T15:22:05Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-06-18T15:22:05Z

by Li, Lian. editor.
https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-06-18T15:22:05Z

by Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-06-18T15:22:05Z

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

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-06-18T15:22:05Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-06-18T15:22:05Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-06-18T15:22:05Z

by Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

2024-06-18T15:22:05Z

by Tian, Cong. editor.
https://doi.org/10.1007/978-3-319-90104-6
Format: Electronic Resources

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-06-18T15:22:05Z

by Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-06-18T15:22:05Z

by Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-06-18T15:22:05Z

by Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-73359-3
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-06-18T15:22:05Z

by Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2024-06-18T15:22:05Z

by Rival, Xavier. editor.
https://doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

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

2024-06-18T15:22:05Z

by Festa, Paola. editor.
https://doi.org/10.1007/978-3-319-50349-3
Format: Electronic Resources

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2024-06-18T15:22:05Z

by Echahed, Rachid. editor.
https://doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-06-18T15:22:05Z

by Mauw, Sjouke. editor.
https://doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-18T15:22:05Z

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

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2024-06-18T15:22:05Z

by Abdulla, Parosh Aziz. editor.
https://doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

2024-06-18T15:22:05Z

by Göbel, Susanne. author.
https://doi.org/10.1007/978-3-658-11765-8
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-06-18T15:22:05Z

by Falcone, Yliès. editor.
https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2024-06-18T15:22:05Z

by Ábrahám, Erika. editor.
https://doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources

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

2024-06-18T15:22:05Z

by Brlek, Srečko. editor.
https://doi.org/10.1007/978-3-662-53132-7
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-06-18T15:22:05Z

by Gavanelli, Marco. editor.
https://doi.org/10.1007/978-3-319-28228-2
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-18T15:22:05Z

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

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2024-06-18T15:22:05Z

by Väänänen, Jouko. editor.
https://doi.org/10.1007/978-3-662-52921-8
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-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 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-18T15:22:05Z

by Lluch Lafuente, Alberto. editor.
https://doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

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

2024-06-18T15:22:05Z

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

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-06-18T15:22:05Z

by Blanchette, Jasmin Christian. editor.
https://doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2024-06-18T15:22:05Z

by Probst, Christian W. editor.
https://doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

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

2024-06-18T15:22:05Z

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

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

2024-06-18T15:22:05Z

by Schürr, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-06-18T15:22:05Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 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-18T15:22:05Z

by Ramakrishnan, C. R. editor.
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-06-18T15:22:05Z

by Fages, François. editor.
http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources

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

2024-06-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

A Modular Calculus for the Average Cost of Data Structuring

2024-06-18T15:22:05Z

by Schellekens, Michel. author.
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-06-18T15:22:05Z

by Degano, Pierpaolo. editor.
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources

The Calculus of Computation Decision Procedures with Applications to Verification

2024-06-18T15:22:05Z

by Bradley, Aaron R. author.
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: Electronic Resources

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-06-18T15:22:05Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: Electronic Resources

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

2024-06-18T15:22:05Z

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

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-06-18T15:22:05Z

by George, Chris W. editor.
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources

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

2024-06-18T15:22:05Z

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

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-06-18T15:22:05Z

by Liblit, Ben. author.
http://dx.doi.org/10.1007/978-3-540-71878-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-18T15:22:05Z

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

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 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-18T15:22:05Z

by Grumberg, Orna. editor.
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-06-18T15:22:05Z

by Azevedo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-06-18T15:22:05Z

by Okada, Mitsu. editor.
http://dx.doi.org/10.1007/978-3-540-77505-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-18T15:22:05Z

by Holub, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-76336-9
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-18T15:22:05Z

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

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-06-18T15:22:05Z

by Hermanns, Holger. editor.
http://dx.doi.org/10.1007/11691372
Format: Electronic Resources

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

2024-06-18T15:22:05Z

by Corradini, Andrea. editor.
http://dx.doi.org/10.1007/11841883
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-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

by Correa, José R. editor.
http://dx.doi.org/10.1007/11682462
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-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2024-06-18T15:22:05Z

by Hnich, Brahim. editor.
http://dx.doi.org/10.1007/11754602
Format: Electronic Resources

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings

2024-06-18T15:22:05Z

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/11874850
Format: Electronic Resources

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers

2024-06-18T15:22:05Z

by Yli-Jyrä, Anssi. editor.
http://dx.doi.org/10.1007/11780885
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-18T15:22:05Z

by Arun-Kumar, S. editor.
http://dx.doi.org/10.1007/11944836
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-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

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

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

2024-06-18T15:22:05Z

by Coppo, Mario. editor.
http://dx.doi.org/10.1007/11560586
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-18T15:22:05Z

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

Complexity Theory Exploring the Limits of Efficient Algorithms

2024-06-18T15:22:05Z

by Wegener, Ingo. author.
http://dx.doi.org/10.1007/3-540-27477-4
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 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-18T15:22:05Z

by Halbwachs, Nicolas. editor.
http://dx.doi.org/10.1007/b107194
Format: Electronic Resources

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2024-06-18T15:22:05Z

by Faltings, Boi V. editor.
http://dx.doi.org/10.1007/b106890
Format: Electronic Resources