Skip to main content
Search Button
Danmark Kobo butik Gavekort Hjælp
Kobo Rakuten
Ønskeliste

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...


Lecture Notes in Logic Bogserier

1 - 12 af 12 resultater
Skip side bar filters

  • Turing's Legacy

    Developments from Turing's Ideas in Logic

    Redigeret af Rod Downey ...
    Serier Bog 42 - Lecture Notes in Logic
    Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern ... Læs mere

    1.485,60 kr.

Personer, der læser dette, syntes også om...

  • Java SOA Cookbook

    SOA Implementation Recipes, Tips, and Techniques

    af Eben Hewitt ...
    Java SOA Cookbook offers practical solutions and advice to programmers charged with implementing a service-oriented architecture (SOA) in their organization. Instead of providing another conceptual, high-level view of SOA, this cookbook shows you how to make SOA work. It's full of Java and XML code you can insert directly into your applications and recipes you can apply right away.The book focuses ... Læs mere

    226,36 kr.

  • Mathematics in Computing

    An Accessible Guide to Historical, Foundational and Application Contexts

    af Gerard O’Regan ...
    Serier serie Computer Science (R0)
    This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the ... Læs mere

    560,28 kr.

  • Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

    Redigeret af Ivan Lanese, Eric Madelaine ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... Læs mere

    420,24 kr.

  • A Missing Link in Cybernetics

    Logic and Continuity

    af Alex M. Andrew ...
    Serier serie Mathematics and Statistics (R0)
    In this book I argue that a reason for the limited success of various studies under the general heading of cybernetics is failure to appreciate the importance of con- nuity, in a simple metrical sense of the term. It is with particular, but certainly not exclusive, reference to the Arti cial Intelligence (AI) effort that the shortcomings of established approaches are most easily seen. One reason ... Læs mere

    840,47 kr.

  • Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

    Redigeret af Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal ... Læs mere

    373,49 kr.

  • Software Engineering for Resilient Systems

    8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

    Redigeret af Ivica Crnkovic, Elena Troubitsyna ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... Læs mere

    466,89 kr.

  • Handbook on Ontologies

    Redigeret af Steffen Staab, Rudi Studer ...
    Serier serie Computer Science (R0)
    An ontology is a formal description of concepts and relationships that can exist for a community of human and/or machine agents. The notion of ontologies is crucial for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of ontologies considering ontology languages, ontology ... Læs mere

    3.633,11 kr.

  • FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

    Redigeret af John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary ... Læs mere

    466,89 kr.

  • Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

    Redigeret af Bill Roscoe, Márcio Cornélio ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and ... Læs mere

    373,49 kr.

  • Johan van Benthem on Logic and Information Dynamics

    Redigeret af Alexandru Baltag, Sonja Smets ...
    Serier serie Philosophy and Religion (R0)
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire ... Læs mere

    1.867,83 kr.

  • Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

    Redigeret af Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada ...
    Serier serie Springer Nature Proceedings Computer Science
    This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural ... Læs mere

    466,89 kr.