الصفحة 1
الصفحة 1
Information systems security ; 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Information Systems Security, ICISS 2008, held in Hyderabad, India, in December 2008.The 15 revised full papers, 4 short papers, and 2 research reports presented together with 4 keynote talks were carefully reviewed and selected from 81 submissions. The papers span a wide range of topics including access control, cryptography, forensics, formal methods and language-based security, intrusion detection, malware defense, network and Web security, operating system security.
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Implementation and application of automata ; 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16–18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference.
Gruppi : Una introduzione a idee e metodi della Teoria dei Gruppi = Groups : An introduction to the ideas and methods of Group Theory
Born from the university courses of Group Theory held by the author for several years, this book deals with the fundamental arguments of the theory: abelian, nilpotent and solvable groups, free groups, permutations, representations and cohomology. After the first notions, Hölder's program for the classification of finite groups is exposed. A long chapter is dedicated to the action of a group on a set and to the permutations, both under the algebraic and combinatorial aspects, with references to the theory of equations. Some questions of a logical nature are also considered, such as the decidability of the word problem for certain classes of groups. An essential aspect of the book is the presence of a great variety of exercises, about 400, mostly solved.
Computer Science Logic ; Vol. 3634
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
Language and Automata Theory and Applications ; 2nd International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages
Chance : The life of games and the game of life
With its many easy-to-follow mathematical examples, this book takes the reader on an almost chronological trip through the fascinating and amazing laws of chance, omnipresent in the natural world and in our daily lives. Along the route many fascinating topics are discussed, such as: challenging probability paradoxes; "paranormal" coincidences; game odds; causes and effects; interpretation of opinion polls; winning chances as a game proceeds; the nature of randomness; entropy and randomness; randomness in life; algorithmic complexity and the undecidability of randomness; possibilities and limitations of learning the laws of a Universe immersed in chance events. This charming book will inform and entertain the scientist and non-scientist alike.
