Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Mathematical Foundations of Computer Science 2010
This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Krumlov, Czech Republic, August 2007. The 61 revised full papers presented together with the full papers or abstracts of five invited talks address all current aspects in theoretical computer science and its mathematical foundations.
CONCUR 2002 - Concurrency Theory
This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002.The 32 revised full papers presented together with abstracts of seven invited contributions were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on verification and model checking, logic, mobility, probabilistic systems, models of computation and process algebra, security, Petri nets, and bisimulation.
Mathematical and Engineering Methods in Computer Science
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.
Semantics and Lexicography
This volume is a compilation of nine articles, translated from German. They deal with those lexicographic texts or text excerpts which have been formulated in order to convey the meaning of a lexical unit to a potential dictionary user who is not familiar with that meaning. The articles not only critically analyze lexicographic practice, in particular the so-called lexicographic definitions and the items giving the synonyms in correlation with the examples, in the light of different semantic approaches. They also present ways towards a common understanding in the context of lexicographically imparting knowledge of meaning, i.e. on the basis of an actional-semantics approach which takes into account results obtained from analyses of everyday dialogs about word meanings. Moreover, they discuss how meaning-conveying texts can serve their purposes in dictionary look-up situations, and they lay out all those aspects which are particularly to be taken into consideration in the formulation of lexicographic texts aimed at conveying meaning, in dictionaries belonging to different types.
Algorithmic Randomness
Surveys on recent developments in the theory of algorithmic randomness and its interactions with other areas of mathematics.
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.
