FEEDBACK Smiley face

STACS 98 (Record no. 14584)

000 -LEADER
fixed length control field 06231nam a22006375i 4500
001 - CONTROL NUMBER
control field 978-3-540-69705-3
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170515111459.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 121227s1998 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540697053
-- 978-3-540-69705-3
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/BFb0028542
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 STACS 98
Medium [electronic resource] :
Remainder of title 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25–27, 1998 Proceedings /
Statement of responsibility, etc edited by Michel Morvan, Christoph Meinel, Daniel Krob.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 1998.
300 ## - PHYSICAL DESCRIPTION
Extent XVI, 636 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 1373
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Random graphs, random walks, differential equations and the probabilistic analysis of algorithms -- Distributed online frequency assignment in cellular networks -- Floats, integers, and single source shortest paths -- A synthesis on partition refinement: A useful routine for strings, graphs, boolean matrices and automata -- Simplifying the modal mu-calculus alternation hierarchy -- On disguised double horn functions and extensions -- The complexity of propositional linear temporal logics in simple cases -- Searching constant width mazes captures the AC 0 hierarchy -- Nearly optimal language compression using extractors -- Random sparse bit strings at the threshold of adjacency -- Lower bounds for randomized read-k-times branching programs -- Inducing an order on cellular automata by a grouping operation -- Attractors of D-dimensional Linear Cellular Automata -- Optimal simulations between unary automata -- Shuffle of ?-words: Algebraic aspects -- A generalization of resource-bounded measure, with an application (Extended abstract) -- The complexity of modular graph automorphism -- Unary quantifiers, transitive closure, and relations of large degree -- On the structure of valiant's complexity classes -- On the existence of polynomial time approximation schemes for OBDD minimization -- Complexity of problems on graphs represented as OBDDs -- Equivalence test and ordering transformation for parity-OBDDs of different variable ordering -- Size and structure of random ordered binary decision diagrams -- Provable security for block ciphers by decorrelation -- On the approximation of finding A(nother) Hamiltonian cycle in cubic Hamiltonian graphs -- The mutual exclusion scheduling problem for permutation and comparability graphs -- Massaging a linear programming solution to give a 2-approximation for a generalization of the vertex cover problem -- Partially persistent search trees with transcript operations -- Relating hierarchies of word and tree automata -- Languages defined with modular counting quantifiers -- Hierarchies of principal twist-closed trios -- Radix representations of algebraic number fields and finite automata -- Sorting and searching on the word RAM -- Communication-efficient deterministic parallel algorithms for planar point location and 2d Voronoi Diagram -- On Batcher's merge sorts as parallel sorting algorithms -- Minimum spanning trees for minor-closed graph classes in parallel -- Optimal broadcasting in almost trees and partial k-trees -- Local normal forms for first-order logic with applications to games and automata -- Axiomatizing the equational theory of regular tree languages -- A Logical Characterization of Systolic Languages -- Optimal proof systems for propositional logic and complete sets -- The (parallel) approximability of non-boolean satisfiability problems and restricted integer programming -- Interactive protocols on the reals -- Result-indistinguishable zero-knowledge proofs: Increased power and constant-round protocols -- Bounded size dictionary compression: SCk-completeness and NC algorithms -- Expressive completeness of LTrL on finite traces: An algebraic proof -- On uniform DOL words -- Series-parallel posets: Algebra, automata and languages -- On the expected number of nodes at level k in 0-balanced trees -- Cell flipping in permutation diagrams -- Construction of non-intersecting colored flows through a planar cellular figure -- Recursively enumerable reals and chaitin ? numbers -- Uniformly defining complexity classes of functions -- Recognizability equals monadic second-order definability for sets of graphs of bounded tree-width.
520 ## - SUMMARY, ETC.
Summary, etc This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998. The volume presents three invited surveys together with 52 revised full papers selected from a total of 155 submissions. The papers are organized in topical sections on algorithms and data structures, logic, complexity, and automata and formal languages.
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 programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Data encryption (Computer science).
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 Numerical analysis.
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 Computer graphics.
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 Programming Techniques.
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 Graphics.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Data Encryption.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Numeric Computing.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Morvan, Michel.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Meinel, Christoph.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Krob, Daniel.
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 9783540642305
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
-- 0302-9743 ;
Volume number/sequential designation 1373
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/BFb0028542
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