Search Results for - Narrowed by: Algorithms. - Computer logic.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-05-17T08:49:50Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-05-17T08:49:50Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar van Bevern, René. editor. (orcid)0000-0002-4805-218X
https://doi.org/10.1007/978-3-030-19955-5
Format: Electronic Resources

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources

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

2024-05-17T08:49:50Z

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

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555
https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682
https://doi.org/10.1007/978-3-030-21363-3
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2024-05-17T08:49:50Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Collart-Dutilleul, Simon. editor.
https://doi.org/10.1007/978-3-030-18744-6
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-05-17T08:49:50Z

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

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Iemhoff, Rosalie. editor.
https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources

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

2024-05-17T08:49:50Z

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

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
https://doi.org/10.1007/978-3-030-35092-5
Format: Electronic Resources

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-13435-8
Format: Electronic Resources

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

2024-05-17T08:49:50Z

Yazar Manea, Florin. editor.
https://doi.org/10.1007/978-3-030-22996-2
Format: Electronic Resources

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

2024-05-17T08:49:50Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

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

2024-05-17T08:49:50Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-319-30734-3
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-05-17T08:49:50Z

Yazar Lluch Lafuente, Alberto. editor.
http://dx.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-05-17T08:49:50Z

Yazar Devitt, Simon. editor.
http://dx.doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Göbel, Susanne. author.
http://dx.doi.org/10.1007/978-3-658-11765-8
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-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Amos, Martyn. editor.
http://dx.doi.org/10.1007/978-3-319-41312-9
Format: Electronic Resources

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

2024-05-17T08:49:50Z

Yazar Larsen, Kim Guldstrand. editor.
http://dx.doi.org/10.1007/978-3-319-45994-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-05-17T08:49:50Z

Yazar Echahed, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

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

2024-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
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-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Mauw, Sjouke. editor.
http://dx.doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

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

2024-05-17T08:49:50Z

Yazar Abdulla, Parosh Aziz. editor.
http://dx.doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

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

2024-05-17T08:49:50Z

Yazar Väänänen, Jouko. editor.
http://dx.doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources

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

2024-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Rival, Xavier. editor.
http://dx.doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

2024-05-17T08:49:50Z

Yazar Rozenberg, Grzegorz. editor.
http://dx.doi.org/10.1007/978-3-319-28475-0
Format: Electronic Resources

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

2024-05-17T08:49:50Z

Yazar Guerraoui, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-14720-8
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-05-17T08:49:50Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Mousavi, Mohammad Reza. editor.
http://dx.doi.org/10.1007/978-3-319-25141-7
Format: Electronic Resources

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2024-05-17T08:49:50Z

Yazar Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Urban, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Kosowski, Adrian. editor.
http://dx.doi.org/10.1007/978-3-319-22177-9
Format: Electronic Resources

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2024-05-17T08:49:50Z

Yazar Parisi-Presicce, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-21145-9
Format: Electronic Resources

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Xu, Dachuan. editor.
http://dx.doi.org/10.1007/978-3-319-21398-9
Format: Electronic Resources

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Jain, Rahul. editor.
http://dx.doi.org/10.1007/978-3-319-17142-5
Format: Electronic Resources

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Holvoet, Tom. editor.
http://dx.doi.org/10.1007/978-3-319-19282-6
Format: Electronic Resources

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-20297-6
Format: Electronic Resources

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

2024-05-17T08:49:50Z

Yazar Dhaenens, Clarisse. editor.
http://dx.doi.org/10.1007/978-3-319-19084-6
Format: Electronic Resources

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Krivine, Jean. editor.
http://dx.doi.org/10.1007/978-3-319-20860-2
Format: Electronic Resources

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

2024-05-17T08:49:50Z

Yazar Durand-Lose, Jerome. editor.
http://dx.doi.org/10.1007/978-3-319-23111-2
Format: Electronic Resources

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

2024-05-17T08:49:50Z

Yazar Shallit, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-319-19225-3
Format: Electronic Resources

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2024-05-17T08:49:50Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources

Models of Strategic Reasoning Logics, Games, and Communities

2024-05-17T08:49:50Z

Yazar van Benthem, Johan. editor.
http://dx.doi.org/10.1007/978-3-662-48540-8
Format: Electronic Resources

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-05-17T08:49:50Z

Yazar Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
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-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Jürgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-09704-6
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-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Ortmeier, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-12214-4
Format: Electronic Resources

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

2024-05-17T08:49:50Z

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

Practical Analysis of Algorithms

2024-05-17T08:49:50Z

Yazar Vrajitoru, Dana. author.
http://dx.doi.org/10.1007/978-3-319-09888-3
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-17T08:49:50Z

Yazar Felber, Pascal. editor.
http://dx.doi.org/10.1007/978-3-319-11764-5
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-17T08:49:50Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

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

2024-05-17T08:49:50Z

Yazar Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
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-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Cai, Zhipeng. editor.
http://dx.doi.org/10.1007/978-3-319-08783-2
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-17T08:49:50Z

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

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

2024-05-17T08:49:50Z

Yazar Gheorghe, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-14370-5
Format: Electronic Resources

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

2024-05-17T08:49:50Z

Yazar Colinet, Margot. editor.
http://dx.doi.org/10.1007/978-3-662-44116-9
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-17T08:49:50Z

Yazar Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
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-17T08:49:50Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
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-17T08:49:50Z

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-17T08:49:50Z

Yazar Diaz, Josep. editor.
http://dx.doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources