Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - SpringerLink (Online service)

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

2024-05-29T19:31:45Z

by Usman, Muhammad. author.
https://doi.org/10.1007/978-981-10-7467-7
Format: Electronic Resources

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-05-29T19:31:45Z

by Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Garrigós, Irene. editor.
https://doi.org/10.1007/978-3-319-74433-9
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-05-29T19:31:45Z

by Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

2024-05-29T19:31:45Z

by d’Amato, Claudia. editor.
https://doi.org/10.1007/978-3-030-00338-8
Format: Electronic Resources

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

2024-05-29T19:31:45Z

by Méndez, Eva. editor. (orcid)0000-0002-5337-4722
https://doi.org/10.1007/978-3-030-00066-0
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-05-29T19:31:45Z

by Desharnais, Jules. editor. (orcid)0000-0002-4780-2698
https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-05-29T19:31:45Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I

2024-05-29T19:31:45Z

by Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294
https://doi.org/10.1007/978-3-030-00671-6
Format: Electronic Resources

Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Foret, Annie. editor.
https://doi.org/10.1007/978-3-662-56343-4
Format: Electronic Resources

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources

Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

2024-05-29T19:31:45Z

by Ferrarotti, Flavio. editor.
https://doi.org/10.1007/978-3-319-90050-6
Format: Electronic Resources

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2024-05-29T19:31:45Z

by Chapman, Peter. editor. (orcid)0000-0002-5524-5780
https://doi.org/10.1007/978-3-319-91376-6
Format: Electronic Resources

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

2024-05-29T19:31:45Z

by Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-319-73305-0
Format: Electronic Resources

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

2024-05-29T19:31:45Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
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-05-29T19:31:45Z

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

The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings

2024-05-29T19:31:45Z

by Gangemi, Aldo. editor.
https://doi.org/10.1007/978-3-319-93417-4
Format: Electronic Resources

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2024-05-29T19:31:45Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Arai, Sachiyo. editor.
https://doi.org/10.1007/978-3-319-93794-6
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-05-29T19:31:45Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2024-05-29T19:31:45Z

by R. Luaces, Miguel. editor.
https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-05-29T19:31:45Z

by Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
https://doi.org/10.1007/978-3-319-73579-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 I

2024-05-29T19:31:45Z

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

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-29T19:31:45Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II

2024-05-29T19:31:45Z

by Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294
https://doi.org/10.1007/978-3-030-00668-6
Format: Electronic Resources

Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings

2024-05-29T19:31:45Z

by Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947
https://doi.org/10.1007/978-3-319-98572-5
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794
https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-05-29T19:31:45Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243
https://doi.org/10.1007/978-3-319-78658-2
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-05-29T19:31:45Z

by Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-319-72056-2
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-05-29T19:31:45Z

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

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2024-05-29T19:31:45Z

by Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-8
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

2024-05-29T19:31:45Z

by Torra, Vicenç. editor. (orcid)0000-0002-0368-8037
https://doi.org/10.1007/978-3-030-00202-2
Format: Electronic Resources

Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II

2024-05-29T19:31:45Z

by Hartmann, Sven. editor.
https://doi.org/10.1007/978-3-319-98812-2
Format: Electronic Resources

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2024-05-29T19:31:45Z

by Češka, Milan. editor.
https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

2024-05-29T19:31:45Z

by Fleuriot, Jacques. editor.
https://doi.org/10.1007/978-3-319-99957-9
Format: Electronic Resources

Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings

2024-05-29T19:31:45Z

by Villavicencio, Aline. editor. (orcid)0000-0002-3731-9168
https://doi.org/10.1007/978-3-319-99722-3
Format: Electronic Resources

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2024-05-29T19:31:45Z

by Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2024-05-29T19:31:45Z

by Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
https://doi.org/10.1007/978-3-319-94812-6
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-05-29T19:31:45Z

by Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2024-05-29T19:31:45Z

by Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91476-3
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

2024-05-29T19:31:45Z

by Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965
https://doi.org/10.1007/978-3-030-03840-3
Format: Electronic Resources

Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Wu, Yunfang. editor.
https://doi.org/10.1007/978-3-319-73573-3
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Croitoru, Madalina. editor.
https://doi.org/10.1007/978-3-319-78102-0
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

2024-05-29T19:31:45Z

by Castro, Félix. editor.
https://doi.org/10.1007/978-3-030-02840-4
Format: Electronic Resources

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

2024-05-29T19:31:45Z

by Castro, Félix. editor.
https://doi.org/10.1007/978-3-030-02837-4
Format: Electronic Resources

Logical Foundations of Cyber-Physical Systems

2024-05-29T19:31:45Z

by Platzer, André. author.
https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-05-29T19:31:45Z

by Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-4
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-05-29T19:31:45Z

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

Data Analytics and Management in Data Intensive Domains XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10–13, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Kalinichenko, Leonid. editor.
https://doi.org/10.1007/978-3-319-96553-6
Format: Electronic Resources

Modeling Companion for Software Practitioners

2024-05-29T19:31:45Z

by Börger, Egon. author.
https://doi.org/10.1007/978-3-662-56641-1
Format: Electronic Resources

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-05-29T19:31:45Z

by Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-05-29T19:31:45Z

by Rusu, Vlad. editor.
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

Nonsymmetric Operads in Combinatorics

2024-05-29T19:31:45Z

by Giraudo, Samuele. author.
https://doi.org/10.1007/978-3-030-02074-3
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Vetulani, Zygmunt. editor.
https://doi.org/10.1007/978-3-319-93782-3
Format: Electronic Resources

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-29T19:31:45Z

by Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2024-05-29T19:31:45Z

by Baetens, Jan M. editor.
https://doi.org/10.1007/978-3-319-92675-9
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-05-29T19:31:45Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2024-05-29T19:31:45Z

by Schlechta, Karl. author.
https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2024-05-29T19:31:45Z

by Schlechta, Karl. author.
https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Modelling and Verification of Secure Exams

2024-05-29T19:31:45Z

by Giustolisi, Rosario. author.
https://doi.org/10.1007/978-3-319-67107-9
Format: Electronic Resources

The Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

2024-05-29T19:31:45Z

by Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684
https://doi.org/10.1007/978-3-319-98192-5
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings

2024-05-29T19:31:45Z

by Ichise, Ryutaro. editor.
https://doi.org/10.1007/978-3-030-04284-4
Format: Electronic Resources

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-05-29T19:31:45Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2024-05-29T19:31:45Z

by Chiabert, Paolo. editor.
https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-05-29T19:31:45Z

by Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-05-29T19:31:45Z

by Cox, Michael T. editor.
https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

2024-05-29T19:31:45Z

by Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91479-4
Format: Electronic Resources

An Introduction to the Technique of Formative Processes in Set Theory

2024-05-29T19:31:45Z

by Cantone, Domenico. author.
https://doi.org/10.1007/978-3-319-74778-1
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2024-05-29T19:31:45Z

by Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2024-05-29T19:31:45Z

by Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678
https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-05-29T19:31:45Z

by Filipe, Joaquim. editor.
https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources

Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

2024-05-29T19:31:45Z

by Nguyen, Hung Son. editor.
https://doi.org/10.1007/978-3-319-99368-3
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2024-05-29T19:31:45Z

by Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724
https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-05-29T19:31:45Z

by Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2024-05-29T19:31:45Z

by Rabe, Florian. editor.
https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

2024-05-29T19:31:45Z

by Foret, Annie. editor.
https://doi.org/10.1007/978-3-662-57784-4
Format: Electronic Resources

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

2024-05-29T19:31:45Z

by Mondal, Anirban. editor.
https://doi.org/10.1007/978-3-030-04780-1
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2024-05-29T19:31:45Z

by Panetto, Hervé. editor.
https://doi.org/10.1007/978-3-030-02671-4
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-05-29T19:31:45Z

by McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-05-29T19:31:45Z

by Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings

2024-05-29T19:31:45Z

by Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-02628-8
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Yung, Moti. editor.
https://doi.org/10.1007/978-3-319-31550-8
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

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

Directed Algebraic Topology and Concurrency

2024-05-29T19:31:45Z

by Fajstrup, Lisbeth. author.
https://doi.org/10.1007/978-3-319-15398-8
Format: Electronic Resources

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2024-05-29T19:31:45Z

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II

2024-05-29T19:31:45Z

by Carvalho, Joao Paulo. editor.
https://doi.org/10.1007/978-3-319-40581-0
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

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

2024-05-29T19:31:45Z

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

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2024-05-29T19:31:45Z

by Lucanu, Dorel. editor.
https://doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2024-05-29T19:31:45Z

by Kiselyov, Oleg. editor.
https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2024-05-29T19:31:45Z

by Karydis, Ioannis. editor.
https://doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2024-05-29T19:31:45Z

by Beckmann, Arnold. editor.
https://doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2024-05-29T19:31:45Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-05-29T19:31:45Z

by Rayadurgam, Sanjai. editor.
https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2024-05-29T19:31:45Z

by Ribeiro, Leila. editor.
https://doi.org/10.1007/978-3-319-49815-7
Format: Electronic Resources

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

2024-05-29T19:31:45Z

by Amblard, Maxime. editor.
https://doi.org/10.1007/978-3-662-53826-5
Format: Electronic Resources

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2024-05-29T19:31:45Z

by Serrano, Manuel. editor.
https://doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Mazzara, Manuel. editor.
https://doi.org/10.1007/978-3-319-41579-6
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

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

2024-05-29T19:31:45Z

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

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2024-05-29T19:31:45Z

by Gurfinkel, Arie. editor.
https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings

2024-05-29T19:31:45Z

by Renda, M. Elena. editor.
https://doi.org/10.1007/978-3-319-43949-5
Format: Electronic Resources

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2024-05-29T19:31:45Z

by Bloem, Roderick. editor.
https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

2024-05-29T19:31:45Z

by Ortiz, Magdalena. editor.
https://doi.org/10.1007/978-3-319-45276-0
Format: Electronic Resources

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2024-05-29T19:31:45Z

by Cornélio, Márcio. editor.
https://doi.org/10.1007/978-3-319-29473-5
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-05-29T19:31:45Z

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

Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers

2024-05-29T19:31:45Z

by Ganty, Pierre. editor.
https://doi.org/10.1007/978-3-319-28766-9
Format: Electronic Resources

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Hajiaghayi, Mohammad Taghi. editor.
https://doi.org/10.1007/978-3-319-28678-5
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2024-05-29T19:31:45Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2024-05-29T19:31:45Z

by Ogata, Kazuhiro. editor.
https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2024-05-29T19:31:45Z

by Torra, Vicenç. author.
https://doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources

Probability Logics Probability-Based Formalization of Uncertain Reasoning

2024-05-29T19:31:45Z

by Ognjanović, Zoran. author.
https://doi.org/10.1007/978-3-319-47012-2
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2024-05-29T19:31:45Z

by Bertogna, Marko. editor.
https://doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

2024-05-29T19:31:45Z

by Gyssens, Marc. editor.
https://doi.org/10.1007/978-3-319-30024-5
Format: Electronic Resources

Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers

2024-05-29T19:31:45Z

by Dong, Minghui. editor.
https://doi.org/10.1007/978-3-319-49508-8
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-05-29T19:31:45Z

by Foret, Annie. editor.
https://doi.org/10.1007/978-3-662-53042-9
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2024-05-29T19:31:45Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2024-05-29T19:31:45Z

by Blesa, Maria J. editor.
https://doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

2024-05-29T19:31:45Z

by Sampaio, Augusto. editor.
https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources

Subjective Logic A Formalism for Reasoning Under Uncertainty

2024-05-29T19:31:45Z

by Jøsang, Audun. author.
https://doi.org/10.1007/978-3-319-42337-1
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-05-29T19:31:45Z

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

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2024-05-29T19:31:45Z

by Bošnački, Dragan. editor.
https://doi.org/10.1007/978-3-319-32582-8
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-05-29T19:31:45Z

by Lecomte, Thierry. editor.
https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings

2024-05-29T19:31:45Z

by Schockaert, Steven. editor.
https://doi.org/10.1007/978-3-319-45856-4
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-05-29T19:31:45Z

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

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

2024-05-29T19:31:45Z

by Olivetti, Nicola. editor.
https://doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

2024-05-29T19:31:45Z

by Friedrich, Gerhard. editor.
https://doi.org/10.1007/978-3-319-46073-4
Format: Electronic Resources

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2024-05-29T19:31:45Z

by Dediu, Adrian-Horia. editor.
https://doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2024-05-29T19:31:45Z

by Cook, Matthew. editor.
https://doi.org/10.1007/978-3-319-39300-1
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-05-29T19:31:45Z

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

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Inoue, Katsumi. editor.
https://doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources

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

2024-05-29T19:31:45Z

by Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-319-48989-6
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-29T19:31:45Z

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

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2024-05-29T19:31:45Z

by Mäkinen, Veli. editor.
https://doi.org/10.1007/978-3-319-44543-4
Format: Electronic Resources

A New Perspective on Nonmonotonic Logics

2024-05-29T19:31:45Z

by Gabbay, Dov M. author.
https://doi.org/10.1007/978-3-319-46817-4
Format: Electronic Resources

Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Qi, Guilin. editor.
https://doi.org/10.1007/978-3-319-31676-5
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-05-29T19:31:45Z

by Hasuo, Ichiro. editor.
https://doi.org/10.1007/978-3-319-40370-0
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2024-05-29T19:31:45Z

by ter Beek, Maurice H. editor.
https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources

Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization

2024-05-29T19:31:45Z

by Hudec, Miroslav. author.
https://doi.org/10.1007/978-3-319-42518-4
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I

2024-05-29T19:31:45Z

by Carvalho, Joao Paulo. editor.
https://doi.org/10.1007/978-3-319-40596-4
Format: Electronic Resources

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2024-05-29T19:31:45Z

by Alferes, Jose Julio. editor.
https://doi.org/10.1007/978-3-319-42019-6
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2024-05-29T19:31:45Z

by Blazy, Sandrine. editor.
https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2024-05-29T19:31:45Z

by Rueher, Michel. editor.
https://doi.org/10.1007/978-3-319-44953-1
Format: Electronic Resources

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2024-05-29T19:31:45Z

by Crnkovic, Ivica. editor.
https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

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

2024-05-29T19:31:45Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2024-05-29T19:31:45Z

by Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-31220-0
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-29T19:31:45Z

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

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2024-05-29T19:31:45Z

by Castor, Fernando. editor.
https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2024-05-29T19:31:45Z

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

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2024-05-29T19:31:45Z

by Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2024-05-29T19:31:45Z

by Milazzo, Paolo. editor.
https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2024-05-29T19:31:45Z

by Igarashi, Atsushi. editor.
https://doi.org/10.1007/978-3-319-47958-3
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Yakovyna, Vitaliy. editor.
https://doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources

Transactions on Rough Sets XX

2024-05-29T19:31:45Z

by Peters, James F. editor.
https://doi.org/10.1007/978-3-662-53611-7
Format: Electronic Resources

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2024-05-29T19:31:45Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources

Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Lipták, Zsuzsanna. editor.
https://doi.org/10.1007/978-3-319-29516-9
Format: Electronic Resources

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2024-05-29T19:31:45Z

by Lindley, Sam. editor.
https://doi.org/10.1007/978-3-319-30936-1
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-05-29T19:31:45Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2024-05-29T19:31:45Z

by Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-319-27683-0
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-05-29T19:31:45Z

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

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2024-05-29T19:31:45Z

by Braga, Christiano. editor.
https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources

Natural Language Processing and Information Systems 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings

2024-05-29T19:31:45Z

by Métais, Elisabeth. editor.
https://doi.org/10.1007/978-3-319-41754-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-05-29T19:31:45Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

2024-05-29T19:31:45Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-49175-1
Format: Electronic Resources

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2024-05-29T19:31:45Z

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

Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

2024-05-29T19:31:45Z

by Silva, João. editor.
https://doi.org/10.1007/978-3-319-41552-9
Format: Electronic Resources

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2024-05-29T19:31:45Z

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

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

2024-05-29T19:31:45Z

by Blanchette, Jasmin Christian. editor.
https://doi.org/10.1007/978-3-319-43144-4
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-29T19:31:45Z

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

AI*IA 2016 Advances in Artificial Intelligence XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings

2024-05-29T19:31:45Z

by Adorni, Giovanni. editor.
https://doi.org/10.1007/978-3-319-49130-1
Format: Electronic Resources

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

2024-05-29T19:31:45Z

by Fränzle, Martin. editor.
https://doi.org/10.1007/978-3-319-44878-7
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-05-29T19:31:45Z

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

Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

2024-05-29T19:31:45Z

by Li, Yuan-Fang. editor.
https://doi.org/10.1007/978-3-319-50112-3
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-29T19:31:45Z

by Skrzypczak, Michał. author.
https://doi.org/10.1007/978-3-662-52947-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-05-29T19:31:45Z

by Stevens, Perdita. editor.
https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2024-05-29T19:31:45Z

by Dinh, Thang N. editor.
https://doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources

Deductive Software Verification – The KeY Book From Theory to Practice

2024-05-29T19:31:45Z

by Ahrendt, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

2024-05-29T19:31:45Z

by Král, Pavel. editor.
https://doi.org/10.1007/978-3-319-45925-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-05-29T19:31:45Z

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

Logic for Computer Scientists

2024-05-29T19:31:45Z

by Schöning, Uwe. author.
http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: Electronic Resources

Ingredients for Successful System Level Design Methodology

2024-05-29T19:31:45Z

by Patel, Hiren D. author.
http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Electronic Resources

25 Years of Model Checking History, Achievements, Perspectives

2024-05-29T19:31:45Z

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

Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings

2024-05-29T19:31:45Z

by Nordström, Bengt. editor.
http://dx.doi.org/10.1007/978-3-540-85287-2
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2024-05-29T19:31:45Z

by Berghammer, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-05-29T19:31:45Z

by Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

2024-05-29T19:31:45Z

by Wobcke, Wayne. editor.
http://dx.doi.org/10.1007/978-3-540-89378-3
Format: Electronic Resources

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2024-05-29T19:31:45Z

by Dengel, Andreas R. editor.
http://dx.doi.org/10.1007/978-3-540-85845-4
Format: Electronic Resources

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2024-05-29T19:31:45Z

by Železný, Filip. editor.
http://dx.doi.org/10.1007/978-3-540-85928-4
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-05-29T19:31:45Z

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

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-05-29T19:31:45Z

by Garcia de la Banda, Maria. editor.
http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I

2024-05-29T19:31:45Z

by Daelemans, Walter. editor.
http://dx.doi.org/10.1007/978-3-540-87479-9
Format: Electronic Resources

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

2024-05-29T19:31:45Z

by Börger, Egon. editor.
http://dx.doi.org/10.1007/978-3-540-87603-8
Format: Electronic Resources

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2024-05-29T19:31:45Z

by Alpuente, María. editor.
http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources

Mathematical Linguistics

2024-05-29T19:31:45Z

by Kornai, András. author.
http://dx.doi.org/10.1007/978-1-84628-986-6
Format: Electronic Resources

Probabilistic Inductive Logic Programming Theory and Applications

2024-05-29T19:31:45Z

by Raedt, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2024-05-29T19:31:45Z

by Avron, Arnon. editor.
http://dx.doi.org/10.1007/978-3-540-78127-1
Format: Electronic Resources

Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings

2024-05-29T19:31:45Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-78135-6
Format: Electronic Resources

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2024-05-29T19:31:45Z

by Medina, Raoul. editor.
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2024-05-29T19:31:45Z

by Shankar, Natarajan. editor.
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: Electronic Resources

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

2024-05-29T19:31:45Z

by Chan, Chien-Chung. editor.
http://dx.doi.org/10.1007/978-3-540-88425-5
Format: Electronic Resources

Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

2024-05-29T19:31:45Z

by Baek, Joonsang. editor.
http://dx.doi.org/10.1007/978-3-540-88733-1
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-05-29T19:31:45Z

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

Line Drawing Interpretation

2024-05-29T19:31:45Z

by Cooper, Martin. author.
http://dx.doi.org/10.1007/978-1-84800-229-6
Format: Electronic Resources

Sets, Logic and Maths for Computing

2024-05-29T19:31:45Z

by Makinson, David. author.
http://dx.doi.org/10.1007/978-1-84628-845-6
Format: Electronic Resources

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings

2024-05-29T19:31:45Z

by Althoff, Klaus-Dieter. editor.
http://dx.doi.org/10.1007/978-3-540-85502-6
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-05-29T19:31:45Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources

Logics of Specification Languages

2024-05-29T19:31:45Z

by Bjørner, Dines. editor.
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2024-05-29T19:31:45Z

by Fitzgerald, John S. editor.
http://dx.doi.org/10.1007/978-3-540-85762-4
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-05-29T19:31:45Z

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

Transactions on Rough Sets IX

2024-05-29T19:31:45Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-89876-4
Format: Electronic Resources

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2024-05-29T19:31:45Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

2024-05-29T19:31:45Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-88269-5
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Constraint Handling Rules Current Research Topics

2024-05-29T19:31:45Z

by Schrijvers, Tom. editor.
http://dx.doi.org/10.1007/978-3-540-92243-8
Format: Electronic Resources

MICAI 2008: Advances in Artificial Intelligence 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

2024-05-29T19:31:45Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-88636-5
Format: Electronic Resources

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

2024-05-29T19:31:45Z

by Miculan, Marino. editor.
http://dx.doi.org/10.1007/978-3-540-68103-8
Format: Electronic Resources

Robustness and Usability in Modern Design Flows

2024-05-29T19:31:45Z

by Fey, Görschwin. author.
http://dx.doi.org/10.1007/978-1-4020-6536-1
Format: Electronic Resources

Temporal Logic and State Systems

2024-05-29T19:31:45Z

by Kröger, Fred. author.
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

2024-05-29T19:31:45Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-540-70590-1
Format: Electronic Resources

Algorithms in Invariant Theory

2024-05-29T19:31:45Z

by Sturmfels, Bernd. author.
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: Electronic Resources

Programming Languages and Systems 17th European Symposium on Programming, ESOP 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-05-29T19:31:45Z

by Drossopoulou, Sophia. editor.
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-05-29T19:31:45Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2024-05-29T19:31:45Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-05-29T19:31:45Z

by Stuckey, Peter J. editor.
http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Electronic Resources

Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

2024-05-29T19:31:45Z

by Teixeira, António. editor.
http://dx.doi.org/10.1007/978-3-540-85980-2
Format: Electronic Resources

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings

2024-05-29T19:31:45Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-540-85984-0
Format: Electronic Resources

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

2024-05-29T19:31:45Z

by Horimoto, Katsuhisa. editor.
http://dx.doi.org/10.1007/978-3-540-85101-1
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings

2024-05-29T19:31:45Z

by Kapetanios, Epaminondas. editor.
http://dx.doi.org/10.1007/978-3-540-69858-6
Format: Electronic Resources

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

2024-05-29T19:31:45Z

by Meyden, Ron. editor.
http://dx.doi.org/10.1007/978-3-540-70525-3
Format: Electronic Resources

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2024-05-29T19:31:45Z

by Gupta, Aarti. editor.
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: Electronic Resources

Compiler Construction 17th International Conference, CC 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-05-29T19:31:45Z

by Hendren, Laurie. editor.
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: Electronic Resources

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2024-05-29T19:31:45Z

by Mohamed, Otmane Ait. editor.
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-05-29T19:31:45Z

by Armando, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Electronic Resources

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

2024-05-29T19:31:45Z

by Hölldobler, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87803-2
Format: Electronic Resources

Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

2024-05-29T19:31:45Z

by Ito, Masami. editor.
http://dx.doi.org/10.1007/978-3-540-85780-8
Format: Electronic Resources

Rough Sets and Knowledge Technology Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings

2024-05-29T19:31:45Z

by Wang, Guoyin. editor.
http://dx.doi.org/10.1007/978-3-540-79721-0
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-05-29T19:31:45Z

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

Institution-independent Model Theory

2024-05-29T19:31:45Z

by Diaconescu, Răzvan. author.
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: Electronic Resources

Advances in Geometric Modeling and Processing 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings

2024-05-29T19:31:45Z

by Chen, Falai. editor.
http://dx.doi.org/10.1007/978-3-540-79246-8
Format: Electronic Resources

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

2024-05-29T19:31:45Z

by Paech, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-89778-1
Format: Electronic Resources

Transactions on Rough Sets VIII

2024-05-29T19:31:45Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-85064-9
Format: Electronic Resources

Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers

2024-05-29T19:31:45Z

by Bacardit, Jaume. editor.
http://dx.doi.org/10.1007/978-3-540-88138-4
Format: Electronic Resources

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

2024-05-29T19:31:45Z

by Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-540-88190-2
Format: Electronic Resources

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-05-29T19:31:45Z

by Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources

Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings

2024-05-29T19:31:45Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-540-69731-2
Format: Electronic Resources

A Concise Introduction to Languages and Machines

2024-05-29T19:31:45Z

by Parkes, Alan P. author.
http://dx.doi.org/10.1007/978-1-84800-121-3
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

2024-05-29T19:31:45Z

by Eklund, Peter. editor.
http://dx.doi.org/10.1007/978-3-540-70596-3
Format: Electronic Resources

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-05-29T19:31:45Z

by Hodges, Wilfrid. editor.
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2024-05-29T19:31:45Z

by King, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: Electronic Resources

Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

2024-05-29T19:31:45Z

by Greco, Sergio. editor.
http://dx.doi.org/10.1007/978-3-540-87993-0
Format: Electronic Resources

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

2024-05-29T19:31:45Z

by Clark, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-88009-7
Format: Electronic Resources

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2024-05-29T19:31:45Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: Electronic Resources

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

2024-05-29T19:31:45Z

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

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2024-05-29T19:31:45Z

by Carnielli, Walter. author.
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

2024-05-29T19:31:45Z

by Sadri, Fariba. editor.
http://dx.doi.org/10.1007/978-3-540-88833-8
Format: Electronic Resources

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II

2024-05-29T19:31:45Z

by Daelemans, Walter. editor.
http://dx.doi.org/10.1007/978-3-540-87481-2
Format: Electronic Resources

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-05-29T19:31:45Z

by Kaminski, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources

Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

2024-05-29T19:31:45Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-70939-8
Format: Electronic Resources

Transactions on Rough Sets VI Commemorating the Life and Work of Zdzisław Pawlak, Part I

2024-05-29T19:31:45Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-71200-8
Format: Electronic Resources

Transactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part II

2024-05-29T19:31:45Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-71663-1
Format: Electronic Resources

Logica Universalis Towards a General Theory of Logic

2024-05-29T19:31:45Z

by Beziau, Jean-Yves. editor.
http://dx.doi.org/10.1007/978-3-7643-8354-1
Format: Electronic Resources

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-05-29T19:31:45Z

by Edelkamp, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

2024-05-29T19:31:45Z

by Weber, Rosina O. editor.
http://dx.doi.org/10.1007/978-3-540-74141-1
Format: Electronic Resources

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-05-29T19:31:45Z

by Bessière, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources

Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007. Proceedings

2024-05-29T19:31:45Z

by Kok, Joost N. editor.
http://dx.doi.org/10.1007/978-3-540-74976-9
Format: Electronic Resources

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-05-29T19:31:45Z

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

Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings

2024-05-29T19:31:45Z

by Prade, Henri. editor.
http://dx.doi.org/10.1007/978-3-540-75410-7
Format: Electronic Resources

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-05-29T19:31:45Z

by Bozapalidis, Symeon. editor.
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources

AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings

2024-05-29T19:31:45Z

by Orgun, Mehmet A. editor.
http://dx.doi.org/10.1007/978-3-540-76928-6
Format: Electronic Resources

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

2024-05-29T19:31:45Z

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

Finite Model Theory and Its Applications

2024-05-29T19:31:45Z

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

Formal Correctness of Security Protocols With 62 Figures and 4 Tables

2024-05-29T19:31:45Z

by Bella, Giampaolo. author.
http://dx.doi.org/10.1007/978-3-540-68136-6
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-05-29T19:31:45Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-05-29T19:31:45Z

by Clavel, Manuel. author.
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2024-05-29T19:31:45Z

by Artemov, Sergei N. editor.
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-05-29T19:31:45Z

by Schneider, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources