Mathematical Theory and Computational Practice (Record no. 181961)

MARC details
000 -LEADER
fixed length control field 05693nam a22006135i 4500
001 - CONTROL NUMBER
control field 978-3-642-03073-4
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240423125818.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2009 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642030734
-- 978-3-642-03073-4
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-03073-4
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5-76.95
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 23
245 10 - TITLE STATEMENT
Title Mathematical Theory and Computational Practice
Medium [electronic resource] :
Remainder of title 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings /
Statement of responsibility, etc edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2009.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg :
-- Imprint: Springer,
-- 2009.
300 ## - PHYSICAL DESCRIPTION
Extent XIV, 510 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Theoretical Computer Science and General Issues,
International Standard Serial Number 2512-2029 ;
Volume number/sequential designation 5635
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note First-Order Universality for Real Programs -- Skolem + Tetration Is Well-Ordered -- Structures of Some Strong Reducibilities -- Complexity of Existential Positive First-Order Logic -- Stochastic Programs and Hybrid Automata for (Biological) Modeling -- Numberings and Randomness -- The Strength of the Grätzer-Schmidt Theorem -- Hyperloops Do Not Threaten the Notion of an Effective Procedure -- Minimum Entropy Combinatorial Optimization Problems -- Program Self-reference in Constructive Scott Subdomains -- and Equivalence Structures -- Immunity for Closed Sets -- Lower Bounds for Kernelizations and Other Preprocessing Procedures -- Infinite-Time Turing Machines and Borel Reducibility -- Cutting Planes and the Parameter Cutwidth -- Members of Random Closed Sets -- Lowness for Demuth Randomness -- Graph States and the Necessity of Euler Decomposition -- On Stateless Multicounter Machines -- Computability of Continuous Solutions of Higher-Type Equations -- Equivalence Relations on Classes of Computable Structures -- Fractals Generated by Algorithmically Random Brownian Motion -- Computable Exchangeable Sequences Have Computable de Finetti Measures -- Spectra of Algebraic Fields and Subfields -- Definability in the Local Theory of the ?-Enumeration Degrees -- Computability of Analytic Functions with Analytic Machines -- An Application of Martin-Löf Randomness to Effective Probability Theory -- Index Sets and Universal Numberings -- Ordinal Computability -- A Gandy Theorem for Abstract Structures and Applications to First-Order Definability -- Constructing New Aperiodic Self-simulating Tile Sets -- Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem -- The First Order Theories of the Medvedev and Muchnik Lattices -- Infima of d.r.e. Degrees -- A Divergence Formula forRandomness and Dimension -- On Ladner’s Result for a Class of Real Machines with Restricted Use of Constants -- 0?-Categorical Completely Decomposable Torsion-Free Abelian Groups -- Notes on the Jump of a Structure -- A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability -- Stability under Strategy Switching -- Computational Heuristics for Simplifying a Biological Model -- Functions Definable by Arithmetic Circuits -- Survey on Oblivious Routing Strategies -- An Approach to the Engineering of Cellular Models Based on P Systems -- Decidability of Sub-theories of Polynomials over a Finite Field -- Chaitin ? Numbers and Halting Problems -- Bayesian Data Integration and Enrichment Analysis for Predicting Gene Function in Malaria -- Dialectica Interpretation with Fine Computational Control -- Algorithmic Minimal Sufficient Statistic Revisited -- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets -- On Generating Independent Random Strings.
520 ## - SUMMARY, ETC.
Summary, etc This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
General subdivision Mathematics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Bioinformatics.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Theory of Computation.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics of Computing.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial Intelligence.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational and Systems Biology.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ambos-Spies, Klaus.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Löwe, Benedikt.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Merkle, Wolfgang.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783642030727
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783642030741
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Theoretical Computer Science and General Issues,
-- 2512-2029 ;
Volume number/sequential designation 5635
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-642-03073-4">https://doi.org/10.1007/978-3-642-03073-4</a>
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks-CSE-Springer

No items available.

© 2024 IIIT-Delhi, library@iiitd.ac.in