Електронна книга > Наука > Математика > Krishnendu Chatterjee & Jiri Sgall: Mathematical Foundations of Computer Science 2013 (PDF)

Krishnendu Chatterjee & Jiri Sgall
Mathematical Foundations of Computer Science 2013 [PDF ebook]
38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Підтримка

Обкладинка Krishnendu Chatterjee & Jiri Sgall: Mathematical Foundations of Computer Science 2013 (PDF)

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 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.

€57.64

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9783642403132 ● Редактор Krishnendu Chatterjee & Jiri Sgall ● Видавець Springer Berlin Heidelberg ● Опубліковано 2013 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6323825 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Krishnendu Chatterjee Jiri Sgall

48 816 Електронні книги в цій категорі

Обкладинка Don Redmond: Number Theory

Don Redmond: Number Theory

This text provides a detailed introduction to number theory, demonstrating how other areas of mathematics enter into the study of the properties of natural numbers. It contains problem sets within ea …

Обкладинка Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

Обкладинка Marius Durea & Radu Strugariu: An Introduction to Nonlinear Optimization Theory

Marius Durea & Radu Strugariu: An Introduction to Nonlinear Optimization Theory

The goal of this book is to present the main ideas and techniques in the field of continuous smooth and nonsmooth optimization. Starting with the case of differentiable data and the classical results …

Обкладинка P. Mohana Shankar: Differential Equations

P. Mohana Shankar: Differential Equations

The book takes a problem solving approach in presenting the topic of differential equations. It provides a complete narrative of differential equations showing the theoretical aspects of the problem …

Обкладинка John (CUNY & College of Staten Island, New York, USA) Verzani: Using R for Introductory Statistics

John (CUNY & College of Staten Island, New York, USA) Verzani: Using R for Introductory Statistics

The second edition of a bestselling textbook, Using R for Introductory Statistics guides students through the basics of R, helping them overcome the sometimes steep learning curve. The author does th …

Обкладинка R Costa & A. Grichkov: NonasSociative Algebra and Its Applications

R Costa & A. Grichkov: NonasSociative Algebra and Its Applications

A collection of lectures presented at the Fourth International Conference on Nonassociative Algebra and its Applications, held in Sao Paulo, Brazil. Topics in algebra theory include alternative, Bern …

Обкладинка Yunho Hwang & Reinhard Radermacher: Vapor Compression Heat Pumps with Refrigerant Mixtures

Yunho Hwang & Reinhard Radermacher: Vapor Compression Heat Pumps with Refrigerant Mixtures

Amidst tightening requirements for eliminating CFC”s, HCFC”s, halons, and HFC”s from use in air conditioning and heat pumps, the search began for replacements that are environmentally benign, non- …

Обкладинка Kjell Johnson & Max Kuhn: Feature Engineering and Selection

Kjell Johnson & Max Kuhn: Feature Engineering and Selection

The process of developing predictive models includes many stages. Most resources focus on the modeling algorithms but neglect other critical aspects of the modeling process. This book describes techn …

Обкладинка V. Lakshmikantham: Method of Variation of Parameters for Dynamic Systems

V. Lakshmikantham: Method of Variation of Parameters for Dynamic Systems

Method of Variation of Parameters for Dynamic Systems presents a systematic and unified theory of the development of the theory of the method of variation of parameters, its unification with Lyapunov …

Обкладинка Willi (Technical University of Kaiserslautern, Germany) Freeden & M. Zuhair Nashed: Lattice Point Identities and Shannon-Type Sampling

Willi (Technical University of Kaiserslautern, Germany) Freeden & M. Zuhair Nashed: Lattice Point Identities and Shannon-Type Sampling

Lattice Point Identities and Shannon-Type Sampling demonstrates that significant roots of many recent facets of Shannon”s sampling theorem for multivariate signals rest on basic number-theoretic res …

Наступна сторінка >>>