Ditapis dengan
Field Arithmetic
Infinite Galois Theory and Profinite Groups -- Valuations and Linear Disjointness -- Algebraic Function Fields of One Variable -- The Riemann Hypothesis for Function Fields -- Plane Curves -- The Chebotarev Density Theorem -- Ultraproducts -- Decision Procedures -- Algebraically Closed Fields -- Elements of Algebraic Geometry -- Pseudo Algebraically Closed Fields -- Hilbertian Fields -- The Cla…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540269496
- Deskripsi Fisik
- XXIII, 780 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Essays in Constructive Mathematics
A Fundamental Theorem -- Topics in Algebra -- Some Quadratic Problems -- The Genus of an Algebraic Curve -- Miscellany."... The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader. And it proves that the philosophical orientation of an author really can make a big difference. The mathematical content is intensely classical.…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387271309
- Deskripsi Fisik
- XX, 211 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Languages and Systems
Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based Static Analyzers -- The ASTREÉ Analyzer -- Interprocedural Herbrand Equalities -- Analysis of Modular Arithmetic -- Forward Slicing by Conjunctive Partial Deduction and Argument Filtering -- A New Foundation for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319870
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Processes, Terms and Cycles: Steps on the Road to Infinity
The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb’s Logic Meets the ?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324256
- Deskripsi Fisik
- XVIII, 642 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Semantic Web Reasoning
Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Langu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320289
- Deskripsi Fisik
- X, 166 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Constraint Programming - CP 2005
Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320500
- Deskripsi Fisik
- XX, 888 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320081
- Deskripsi Fisik
- XII, 224 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Reasoning with Analytic Tableaux and Related Methods
Invited Talks -- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach -- Description Logics in Ontology Applications -- Automated Reasoning in the Context of the Semantic Web -- Formal Versus Rigorous Mathematics: How to Get Your Papers Published -- Research Papers -- Consistency of Variable Splitting in Free Variable Systems of First-Order Logic -- On the Dynamic Increase of M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318224
- Deskripsi Fisik
- XIV, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Deduction – CADE-20
What Do We Know When We Know That a Theory Is Consistent? -- Reflecting Proofs in First-Order Logic with Equality -- Reasoning in Extensional Type Theory with Equality -- Nominal Techniques in Isabelle/HOL -- Tabling for Higher-Order Logic Programming -- A Focusing Inverse Method Theorem Prover for First-Order Linear Logic -- The CoRe Calculus -- Simulating Reachability Using First-Order Logic …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318644
- Deskripsi Fisik
- XIV, 466 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automata, Languages and Programming
Invited Lectures -- Data Structures I -- Cryptography and Complexity -- Data Structures II -- Cryptography and Distributed Systems -- Graph Algorithms I -- Security Mechanisms -- Graph Algorithms II -- Automata and Formal Languages I -- Signature and Message Authentication -- Algorithmic Game Theory -- Automata and Logic -- Computational Algebra -- Cache-Oblivious Algorithms and Algorithmic Eng…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316916
- Deskripsi Fisik
- L, 1482 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah