Peter Van Emde Boas (51 results)

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: Brand New. 2013 edition. 577 pages. 9.25x6.25x1.20 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Spindleruv Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors. …

Hardcover. Condition: new. Hardcover. The book you have just opened is probably unlike anything you have ever read so far. It offers you a path to direct contact with The Art of War, the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China. This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, The Art of War, from the perspectives of logic, mathematics, and computer science. Sun Tzus book has been studied and translated many times before, with viewpoints from historians, military- and business strategists, philosophers, and in the context of modern computer strategy games. This book takes a new approach to study this 2500-year-old text. It uses modern mind mapping techniques to show a new dimension that uncovers meaning and structure not easily seen before. Mind maps are semantic diagrams of related concepts: they are used in this book in a restricted form, defined as Text Tree Mind Maps. A chapter covering the theoretical side of diagramming ancient text, explains the making of the mind maps used in this book and why showing old text in this way is so useful. It offers you a path to direct contact with The Art of War, the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China. This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, The Art of War, from the perspectives of logic, mathematics, and computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Hardcover. Condition: Very Good. 2020 Brill hardcover edition. Light reading wear else very good condition. Contents: 1. How To Do Things with (e)keinos and autos in Tragedy: Initial Suggestions by Anna Bonifazi; 2. Pointing to Common Ground in Dramatic Dialogue: The Case of de and toi by Rutger J. Allan; 3. Terms of Address on Right Periphery in Greek Tragedy by Sandra Rodriguez-Piedrabuena; 4. The Linguistic Characterisation of Oedipus in OT: A Pragmatics-Based Approach to 'Mind Style' by Evert van Emde Boas; 5. Resonance in the Prologue of Sophocles' Ajax by Severin Hof; 6. Pentheus und Dionysos in den Bakchen: Die Grenzen des klaren Dialogs by Camille Semenzato; 7. Iphigenie und ihre Mutter: Pragmatische Bemerkungen zur Iphigenie in Aulis by Giada Sorrentino; 8. Oedipus and Tiresias: Im/politeness Theory and the Interpretation of Sophocles' Oedipus Tyrannus by Luigi Battezzato; 9. Politeness and Impoliteness in Aristophanes by Michael Lloyd; 10. Developments in Politeness from Aristophanes to Menander and Beyond by Peter Barrios-Lech; 11. Advice-Giving in Roman Comedy: Speech-Act Formulation and Im/politeness by Lukasz Berger; 12. The Politics of Manipulation: Politeness and Insincerity in the Language of Parasites and Courtesans in Plautus' Comedies by Luis Unceta Gomez; 13. Silence and the Failure of Persuasion in Tragic Discourse by Vanessa Zetzmann; 14. Doing Things with Words . and Gestures on Stage by Matteo Capponi; 15. Reflections on Gestures and Words in Terence's Comedies by Licinia Ricottilli; 16. The Kiss in Plautus' Stichus: Notes on Gestures and Words in View of a Pragmatics of Comic Communication by Renata Raccanelli; 17. Lacrimae and vultus: Pragmatic Considerations on Gestures in Seneca's Tragedies by Elvia Calabrese; 18. Pragmatics of fraus: Encoding and Decoding of Deceit in Seneca's Troades and Thyestes by Lavinia Scolari; 19. Euripides: Von der Rhetorik zur Pragmatik by Carlo Scardina. …

Taschenbuch. Condition: Neu. SOFSEM 2013: Theory and Practice of Computer Science | 39th International Conference on Current Trends in Theory and Practice of Computer Science, ¿pindler¿v Mlýn, Czech Republic, January 26-31, 2013, Proceedings | Peter Van Emde Boas (u. a.) | Taschenbuch | xiv | Englisch | 2013 | Springer | EAN 9783642358425 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: As New. Unread book in perfect condition.

Hardcover. Condition: Very Good. Book in Very Good condition.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Games, Theory and Applications.- Database Research Issues in a WWW and GRIDs World.- Integration, Diffusion, and Merging in Information Management Discipline.- Flexibility through Multiagent Systems: Solution or Illusion .- World Wide Web Challenges: Supporting Users in Search and Navigation.- Querying and Viewing the Semantic Web: An RDF-Based Perspective.- Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems.- Algorithms for Scalable Storage Servers.- Fuzzy Unification and Argumentation for Well-Founded Semantics.- Tree Signatures and Unordered XML Pattern Matching.- Regular Papers.- Quantum Query Complexity for Some Graph Problems.- A Model of Versioned Web Sites.- Design of Secure Multicast Models for Mobile Services.- Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints.- Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances.- Validity Conditions in Agreement Problems and Time Complexity.- Supporting Evolution in Workflow Definition Languages.- Clustered Level Planarity.- Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds - Combining Information Theoretical and Supervised Pattern Recognition Approaches.- Features of Neighbors Spaces.- Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning.- Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks.- Processing XPath Expressions in Relational Databases.- An Embedded Language Approach to Router Specification in Curry.- Multi-document Automatic Text Summarization Using Entropy Estimates.- Implicit Flow Maximization by Iterative Squaring.- Evolving Constructors for Infinitely Growing Sorting Networks and Medians.- Fuzzy Group Models for Adaptationin Cooperative Information Retrieval Contexts.- Theory of One Tape Linear Time Turing Machines.- Avoiding Forbidden Submatrices by Row Deletions.- Building a Bridge between Mirror Neurons and Theory of Embodied Cognition.- The Best Student Paper.- Fully Truthful Mechanisms. …

Condition: New.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New. In English.

Hardcover. Condition: Brand New. 434 pages. 9.45x6.61x1.06 inches. In Stock.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 580 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in ¿pindler¿v Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.…

Hardcover. Condition: new. Hardcover. The book you have just opened is probably unlike anything you have ever read so far. It offers you a path to direct contact with The Art of War, the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China. This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, The Art of War, from the perspectives of logic, mathematics, and computer science. Sun Tzus book has been studied and translated many times before, with viewpoints from historians, military- and business strategists, philosophers, and in the context of modern computer strategy games. This book takes a new approach to study this 2500-year-old text. It uses modern mind mapping techniques to show a new dimension that uncovers meaning and structure not easily seen before. Mind maps are semantic diagrams of related concepts: they are used in this book in a restricted form, defined as Text Tree Mind Maps. A chapter covering the theoretical side of diagramming ancient text, explains the making of the mind maps used in this book and why showing old text in this way is so useful. It offers you a path to direct contact with The Art of War, the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China. This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, The Art of War, from the perspectives of logic, mathematics, and computer science. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book you have just opened is probably unlike anything you have ever read so far. It offers you a path to direct contact with 'The Art of War', the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China.This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, 'The Art of War', from the perspectives of logic, mathematics, and computer science. Sun Tzu's book has been studied and translated many times before, with viewpoints from historians, military- and business strategists, philosophers, and in the context of modern computer strategy games.This book takes a new approach to study this 2500-year-old text. It uses modern mind mapping techniques to show a new dimension that uncovers meaning and structure not easily seen before. Mind maps are semantic diagrams of related concepts: they are used in this book in a restricted form, defined as Text Tree Mind Maps. A chapter coveringthe theoretical side of diagramming ancient text, explains the making of the mind maps used in this book and why showing old text in this way is so useful.…

Taschenbuch. Condition: Neu. Analyzing the Logic of Sun Tzu in "The Art of War", Using Mind Maps | Peter Van Emde Boas (u. a.) | Taschenbuch | Logic in Asia: Studia Logica Library | xxi | Englisch | 2023 | Springer | EAN 9789811962523 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Generating Hard Instances of the Short Basis Problem.- Wide Area Computation.- Proof Techniques for Cryptographic Protocols.- Type Structure for Low-Level Programming Languages.- Real Computations with Fake Numbers.- A Model for Associative Memory, a Basis for Thinking and Consciousness.- Numerical Integration with Exact Real Arithmetic.- Observations about the Nature and State of Computer Science.- DNA Computing: New Ideas and Paradigms.- Online Data Structures in External Memory.- From Computational Learning Theory to Discovery Science.- Contributed Papers.- Bounded Depth Arithmetic Circuits: Counting and Closure.- Parametric Temporal Logic for 'Model Measuring'.- Communicating Hierarchical State Machines.- Small Pseudo-Random Sets Yield Hard Functions: New Tight Explicit Lower Bounds for Branching Programs.- General Morphisms of Petri Nets (Extended Abstract).- On Some Tighter Inapproximability Results (Extended Abstract).- Decomposition and Composition of Timed Automata.- New Applications of the Incompressibility Method (Extended Abstract).- Mobility Types for Mobile Ambients.- Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains.- Decidable Fragments of Simultaneous Rigid Reachability.- Text Compression Using Antidictionaries.- Non-interactive Zero-Knowledge: A Low-Randomness Characterization of NP (Extended Abstract).- Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem.- Space-Time Tradeoffs for Graph Properties.- Boundedness of Reset P/T Nets.- Two-way finite state transducers and monadic second-order logic.- Partially Ordered Regular Languages for Graph Queries.- Deciding First-Order Properties of Locally Tree-Decomposable Graphs.- Comparison of Process Algebra EquivalencesUsing Formats.- Compact Routing Tables for Graphs of Bounded Genus (Extended Abstract).- Computing LOGCFL Certificates.- Efficient Techniques for Maintaining Multidimensional Keys in Linked Data Structures (Extended Abstract).- On the Complements of Partial k-Trees.- Approximation Results for Kinetic Variants of TSP.- Distributed Probabilistic Polling and Applications to Proportionate Agreement.- Bisimulation Equivalence Is Decidable for Normed Process Algebra (Extended abstract).- A Framework for Decidable Metrical Logics.- On the Power of Las Vegas II. Two-Way Finite Automata.- Stable Marriage with Incomplete Lists and Ties.- Average-Case Complexity of Shellsort (Preliminary Version).- Linear-Time Construction of Two-Dimensional Suffix Trees (Extended Abstract).- A Connection between the Star Problem and the Finite Power Property in Trace Monoids (Extended Abstract).- Two Techniques in the Area of the Star Problem.- Approximations by OBDDs and the Variable Ordering Problem.- Simulation Preorder on Simple Process Algebras.- Solos in Concert.- Shortest Anisotropic Paths on Terrains.- Relations between Local and Global Periodicity of Words (Extended Abstract).- Efficient Merging, Construction, and Maintenance of Evolutionary Trees.- Formalizing a Lazy Substitution Proof System for -Calculus in the Calculus of Inductive Constructions.- Leader Election by d Dimensional Cellular Automata.- New Upper Bounds for MaxSat.- Polynomial and Rational Evaluation and Interpolation (with Structured Matrices) .- Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup Time.- Finite Automata with Generalized Acceptance Criteria.- A Variant of the Arrow Distributed Directory with Low Average Complexity (Extended Abstract).- Closed Freyd- and -categories.- TypedExceptions and Continuations Cannot Macro-Express Each Other.- Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously (Extended Abstract).- Accessing Multiple Sequences Through Set Associative Caches.- T(A) = T(B) .- Many-Valued Logics and Holographic Proofs.- On the Complexity and Inapproximability of Shortest Implicant Problems.- The Wave Propagator Is Turing Computable.- An FPTAS for Agreea.…

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book you have just opened is probably unlike anything you have ever read so far. It offers you a path to direct contact with 'The Art of War', the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China.This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, 'The Art of War', from the perspectives of logic, mathematics, and computer science. Sun Tzu's book has been studied and translated many times before, with viewpoints from historians, military- and business strategists, philosophers, and in the context of modern computer strategy games.This book takes a new approach to study this 2500-year-old text. It uses modern mind mapping techniques to show a new dimension that uncovers meaning and structure not easily seen before. Mind maps are semantic diagrams of related concepts: they are used in this book in a restricted form, defined as Text Tree Mind Maps. A chapter covering the theoretical side of diagramming ancient text, explains the making of the mind maps used in this book and why showing old text in this way is so useful.…