Ebook > Științe > Math > Branislav Rovan & Vladimiro Sassone: Mathematical Foundations of Computer Science 2012 (PDF)

Branislav Rovan & Vladimiro Sassone
Mathematical Foundations of Computer Science 2012 [PDF ebook]
37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings

Ajutor

Copertina de Branislav Rovan & Vladimiro Sassone: Mathematical Foundations of Computer Science 2012 (PDF)

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.

€127.17

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9783642325892 ● Editor Branislav Rovan & Vladimiro Sassone ● Editura Springer Berlin Heidelberg ● Publicat 2012 ● Descărcabil 3 ori ● Valută EUR ● ID 6323076 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Branislav Rovan Vladimiro Sassone Peter Widmayer

48.586 Ebooks din această categorie

Copertina de Klaus Kirsten: Spectral Functions in Mathematics and Physics

Klaus Kirsten: Spectral Functions in Mathematics and Physics

The literature on the spectral analysis of second order elliptic differential operators contains a great deal of information on the spectral functions for explicitly known spectra. The same is not …

Copertina de Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

First Published in 2018. The emphasis of the book is calculational, and most computations are presented in step-by-step detail. The book is unique in that it develops all three representations of …

Copertina de Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers – selected from over 65 …

Copertina de David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

Copertina de Alessandro Figa-Talamanca: Harmonic Analysis on Free Groups

Alessandro Figa-Talamanca: Harmonic Analysis on Free Groups

This book presents an account of recent results on the theory of representations and the harmonic analysis of free groups. It emphasizes the analogy with the theory of representations of noncompact …

Copertina de Chris Chatfield: Introduction to Multivariate Analysis

Chris Chatfield: Introduction to Multivariate Analysis

This book provides an introduction to the analysis of multivariate data.It describes multivariate probability distributions, the preliminary analysisof a large -scale set of data, princ iple …

Copertina de Karan S. (University of Kansas, USA) Surana: Numerical Methods and Methods of Approximation in Science and Engineering

Karan S. (University of Kansas, USA) Surana: Numerical Methods and Methods of Approximation in Science and Engineering

Numerical Methods and Methods of Approximation in Science and Engineering prepares students and other readers for advanced studies involving applied numerical and computational analysis. Focused on b …

Copertina de William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart & Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang: Formal Methods in Computer Science

William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart & Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang: Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part …

Copertina de Fernanda De Bastiani & Gillian Z. (Department of Statistics, Faculty of Science and Enginerring, Macquarie University, Australia) Heller: Distributions for Modeling Location, Scale, and Shape

Fernanda De Bastiani & Gillian Z. (Department of Statistics, Faculty of Science and Enginerring, Macquarie University, Australia) Heller: Distributions for Modeling Location, Scale, and Shape

This is a book about statistical distributions, their properties, and their application to modelling the dependence of the location, scale, and shape of the distribution of a response variable on exp …

Copertina de Przemyslaw Biecek & Tomasz (Hasselt University, Belgium) Burzykowski: Explanatory Model Analysis

Przemyslaw Biecek & Tomasz (Hasselt University, Belgium) Burzykowski: Explanatory Model Analysis

Explanatory Model Analysis Explore, Explain and Examine Predictive Models is a set of methods and tools designed to build better predictive models and to monitor their behaviour in a changing environ …

Pagina următoare >>>