E-bok > Sciences > 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

Stöd

Omslag till 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

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera PDF ● ISBN 9783642325892 ● Redaktör Branislav Rovan & Vladimiro Sassone ● Utgivare Springer Berlin Heidelberg ● Publicerad 2012 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6323076 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Branislav Rovan Vladimiro Sassone Peter Widmayer

48 586 E-böcker i denna kategori

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Nästa sida >>>