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.
Computability and Complexity Theory
This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations. Subsequent chapters move from the qualitative aspects of classical computability theory to the quantitative aspects of complexity theory. Dedicated chapters on undecidability, NP-completeness, and relative computability focus on the limitations of computability and the distinctions between feasible and intractable. Substantial new content in this edition includes: a chapter on nonuniformity studying Boolean circuits, adv...
Computability and Complexity Theory
Intended for use in an introductory graduate course in theoretical computer science, this text contains material that should be core knowledge in the theory of computation for all graduates in computer science. It is self-contained and is best suited for a one semester course. The text starts with classical computability theory which forms the basis for complexity theory. This has the pedagogical advantage that students learn a qualitative subject before advancing to a quantitative one. Since this is a graduate course, students should have some knowledge of such topics as automata theory, formal languages, computability theory, or complexity theory.
Mathematical Foundations of Computer Science 2005
This volume contains the papers presented at the 30th Symposium on Mathematical Foundations of Computer Science (MFCS 2005) held in Gdansk, Poland from August 29th to September 2nd, 2005.
Scholarly Electronic Publishing Bibliography
The Scholarly Electronic Publishing Bibliography presents selected English-language articles, books, and other printed and electronic sources that are useful in understanding scholarly electronic publishing efforts on the Internet. Most sources have been published between 1990 and 2008; however, a limited number of key sources published prior to 1990 are also included. Peter Jacso said in ONLINE (vol. 27, no. 3 2003, pp. 73-76): "SEP is compiled with utter professionalism. It reminds me of the work of the best artisans who know not only every item that leaves their workshops, but each component used to create them--providing the ideal quality control. . . . The selection of items is impeccable. I have yet to find journal articles irrelevant to the scope of the bibliography. SEP could be used as a benchmark in evaluating abstracting/indexing databases that proudly claim to have coverage of electronic publishing, but do not come close to SEP."
Automata, Languages, and Programming
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.
Abraham's Dice
Most of us believe everything happens for a reason. Whether it is "God's will","karma", or "fate," we want to believe that nothing in the world, especially disasters and tragedies, is a random, meaningless event. But now, as never before, confident scientific assertions that the world embodies a profound contingency are challenging theological claims that God acts providentially in the world. The random and meandering path of evolution is widely used as an argument that God did not create life. Abraham's Dice explores the interplay between chance and providence in the monotheistic religious traditions, looking at how their interaction has been conceptualized as our understanding of the worki...
Turing's Legacy
A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas.
Scholarly Electronic Publishing Bibliography 2010
The Scholarly Electronic Publishing Bibliography presents over 3,800 selected English-language articles, books, and other textual sources that are useful in understanding scholarly electronic publishing efforts on the Internet. It covers digital copyright, digital libraries, digital preservation, digital rights management, digital repositories, economic issues, electronic books and texts, electronic serials, license agreements, metadata, publisher issues, open access, and other related topics. Most sources have been published from 1990 through 2010. Many references have links to freely available copies of included works. Peter Jacso said in ONLINE (vol. 27, no. 3 2003, pp. 73-76): "SEP is co...
