FEEDBACK Smiley face

Mathematical Foundations of Computer Science 1999 (Record no. 14717)

000 -LEADER
fixed length control field 06268nam a22006135i 4500
001 - CONTROL NUMBER
control field 978-3-540-48340-3
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170515111507.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 121227s1999 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540483403
-- 978-3-540-48340-3
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-48340-3
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 UY
Source bicssc
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 COM031000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 23
245 10 - TITLE STATEMENT
Title Mathematical Foundations of Computer Science 1999
Medium [electronic resource] :
Remainder of title 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings /
Statement of responsibility, etc edited by Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 1999.
300 ## - PHYSICAL DESCRIPTION
Extent XII, 464 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 Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 1672
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Computing Over Reals -- On-Line Addition in Real Base -- Query Languages for Real Number Databases Based on Descriptive Complexity over R -- The Arithmetical Hierarchy of Real Numbers -- Compression Techniques -- The Burrows-Wheeler Transform: Theory and Practice -- Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts -- Foundations of Programming -- Computing and Comparing Semantics of Programs in Four-Valued Logics -- Foundations of Modular SOS -- Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces -- Complexity and Algorithms -- On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System -- The Complexity of the Extended GCD Problem -- Complexity Results for Confluence Problems -- Model Checking -- Is Your Model Checker on Time? -- Clausal Resolution for CTL -- Model Checking and Higher-Order Recursion -- Distributed Computing -- Multiparty Communication Complexity: Very Hard Functions -- New Perspectives in Distributed Computing -- Functional Programming -- An Improved Disjunctive Strictness Analysis for Lazy Functional Languages -- Unique Fixed Point Induction for McCarthy’s Amb -- Automata -- On Some Topological Properties of Linear Cellular Automata -- Real-Time Language Recognition by One-Way and Two-Way Cellular Automata -- Average State Complexity of Operations on Unary Automata -- Fooling Rebound Automata -- Algorithms and Complexity -- The Complexity of Minimizing FBDDs -- Efficient Strongly Universal and Optimally Universal Hashing -- Lower and Upper Bounds for the Problem of Page Replication in Ring Networks -- Security -- Language-Based Security -- Logic -- An Algebraic Approach to Knowledge Representation -- On the Structure of the Monadic Logic of the Binary Tree -- A New Space Bound for the Modal Logics K4, KD4 and S4 -- Counting Problems -- On Approximating the Number of Bases of Exchange Preserving Matroids -- Processes and Bisimulation -- The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes -- On Plain and Hereditary History-Preserving Bisimulation -- Approximating Weak Bisimulation on Basic Process Algebras -- Graph Algorithms -- Edge Coloring of Bipartite Graphs with Constraints -- An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover -- On Minimum Edge Ranking Spanning Trees -- Complexity -- Football Elimination Is Hard to Decide Under the 3-Point-Rule -- Generalized Regular Counting Classes -- A Foundation of Programming a Multi-tape Quantum Turing Machine -- Types: Theory and Applications -- A Type Discipline for Solving Year 2000 Problems in COBOL Programs -- Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.
520 ## - SUMMARY, ETC.
Summary, etc This volume contains papers selected for presentation during the 24th Interna­ tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Rajsbaum, and Mads Tofte, and 37 accepted papers chosen out of 68 submissions. The volume contains all accepted contributed papers, and three invited papers. The contributed papers have been selected for presentation based on their scientific quality, novelty, and interest for the general audience of MFCS par­ ticipants. Each paper has been reviewed by at least three independent referees — PC members and/or sub-referees appointed by them. The papers were se­ lected for presentation during a fully electronic virtual meeting of the program committee on May 7, 1999. The virtual PC meeting was supported by software written by Artur Zgoda, Ph.D. student at the University of Wroclaw. The entire communication and access to quite a sensitive database at PC headquarters in Wroclaw was secured by cryptographic protocols based on technology of certificates.
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 communication systems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers.
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 Mathematical logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Combinatorics.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science.
650 24 - 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 Discrete Mathematics in Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Communication Networks.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Foundations.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Combinatorics.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kutyłowski, Mirosław.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pacholski, Leszek.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wierzbicki, Tomasz.
Relator term editor.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783540664086
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
-- 0302-9743 ;
Volume number/sequential designation 1672
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/3-540-48340-3
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-LNC
912 ## -
-- ZDB-2-BAE
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type e-Book

No items available.


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in