Theoretical Computer Science - Proceedings Of The 10th Italian Conference On Ictcs '07
Will be published approx. on 6. September 2007
Book
Hardback
216 pages
978-981-277-098-1 (ISBN)
Description
Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages.
More details
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Product notice
sewn/stitched
Paper over boards
Dimensions
Height: 234 mm
Width: 154 mm
Thickness: 19 mm
Weight
517 gr
ISBN-13
978-981-277-098-1 (9789812770981)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Algebraic and Categorical Models; Algorithmic Aspects of Networks; Algorithmic Game Theory; Algorithms and Data Structures; Computability; Computational Complexity; Computational Biology; Computational Geometry; Cryptography and Security; Databases, Semi-Structured Data and Finite Model Theory; Emerging and Non-Standard Models of Computation; Experimental Analysis of Algorithms; Formal Languages and Automata Theory; Internet Algorithmics; Logics, Formal Methods and Model Checking; Models of Concurrent, Distributed and Mobile Systems; Models of Reactive, Hybrid and Stochastic Systems; Parallel, Distributed and External Memory Computing; Principles of Programming Languages; Program Analysis and Transformation; Quantum Computing; Specification, Refinement and Verification; Type Systems and Theory, Typed Calculi.