Download or read book Library of Congress Subject Headings written by Library of Congress and published by . This book was released on 2007 with total page 1512 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Library of Congress Subject Headings written by Library of Congress. Cataloging Policy and Support Office and published by . This book was released on 2006 with total page 1032 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Library of Congress Subject Headings written by and published by . This book was released on 2009 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Logics of Specification Languages written by Dines Bjørner and published by Springer Science & Business Media. This book was released on 2007-12-05 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.
Download or read book Automata Languages and Programming written by Fernando Orejas and published by Springer. This book was released on 2003-05-15 with total page 1098 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. four invited papers were carefully reviewed and selected from a total of 208 submissions. complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.
Download or read book Algebraic Methodology and Software Technology written by Helene Kirchner and published by Springer. This book was released on 2003-08-02 with total page 550 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R ́eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a ?rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. All previous AMAST conferences, which were held in Iowa City (1989, 1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Iowa City (2000), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, progr- ming methodology, and their algebraic, and logical foundations.
Download or read book Computer Science Logic written by Jerzy Marcinkowski and published by Springer Science & Business Media. This book was released on 2004-09-02 with total page 529 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in Karpacz, Poland, in September 2004. The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 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.
Download or read book Recent Trends in Algebraic Development Techniques written by José Luiz Fiadeiro and published by Springer Science & Business Media. This book was released on 2005-03-23 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004. The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.
Download or read book Deep Learning for Computer Vision with SAS written by Robert Blanchard and published by SAS Institute. This book was released on 2020-06-12 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt: Discover deep learning and computer vision with SAS! Deep Learning for Computer Vision with SAS®: An Introduction introduces the pivotal components of deep learning. Readers will gain an in-depth understanding of how to build deep feedforward and convolutional neural networks, as well as variants of denoising autoencoders. Transfer learning is covered to help readers learn about this emerging field. Containing a mix of theory and application, this book will also briefly cover methods for customizing deep learning models to solve novel business problems or answer research questions. SAS programs and data are included to reinforce key concepts and allow readers to follow along with included demonstrations. Readers will learn how to: Define and understand deep learning Build models using deep learning techniques and SAS Viya Apply models to score (inference) new data Modify data for better analysis results Search the hyperparameter space of a deep learning model Leverage transfer learning using supervised and unsupervised methods
Download or read book InfoWorld written by and published by . This book was released on 1987-06-29 with total page 68 pages. Available in PDF, EPUB and Kindle. Book excerpt: InfoWorld is targeted to Senior IT professionals. Content is segmented into Channels and Topic Centers. InfoWorld also celebrates people, companies, and projects.
Download or read book Challenges of Human Space Exploration written by Marsha Freeman and published by Springer Science & Business Media. This book was released on 2000-06-14 with total page 790 pages. Available in PDF, EPUB and Kindle. Book excerpt: This well illustrated, non-technical book focuses on astronauts' descriptions of the human aspects of space exploration, and their attempts to solve both mechanical and interpersonal problems. Based on interviews granted to the author by three astronauts, the book describes the experiments they undertook during the Apollo/Soyuz and Shuttle-Mir programs and the lessons learned from these missions. This book provides unique insight as to how adversity and challenges are overcome in the process of exploration.
Download or read book Current Trends in Theoretical Computer Science written by Gheorghe P?un and published by World Scientific. This book was released on 2001 with total page 881 pages. Available in PDF, EPUB and Kindle. Book excerpt: The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as theoretical computer science. This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science in the period 1995 -- 2000. The columnists themselves selected the material they wanted for the book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science.
Download or read book Mathematical Foundations of Computer Science 2002 written by Krzystof Diks and published by Springer. This book was released on 2007-10-23 with total page 663 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002. The 48 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions. All relevant aspects of theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, algorithms, and complexity to programming theory, formal methods, and mathematical logic.
Download or read book Recent Trends in Algebraic Development Techniques written by Martin Wirsing and published by Springer Science & Business Media. This book was released on 2003-11-24 with total page 466 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.
Download or read book Recent Trends in Algebraic Development Techniques written by Didier Bert and published by Springer. This book was released on 2004-02-02 with total page 491 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.
Download or read book Software Specification Methods written by Henri Habrias and published by John Wiley & Sons. This book was released on 2013-03-01 with total page 349 pages. Available in PDF, EPUB and Kindle. Book excerpt: This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Download or read book Theory and Applications of Ontology Computer Applications written by Roberto Poli and published by Springer Science & Business Media. This book was released on 2010-09-02 with total page 582 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ontology was once understood to be the philosophical inquiry into the structure of reality: the analysis and categorization of ‘what there is’. Recently, however, a field called ‘ontology’ has become part of the rapidly growing research industry in information technology. The two fields have more in common than just their name. Theory and Applications of Ontology is a two-volume anthology that aims to further an informed discussion about the relationship between ontology in philosophy and ontology in information technology. It fills an important lacuna in cutting-edge research on ontology in both fields, supplying stage-setting overview articles on history and method, presenting directions of current research in either field, and highlighting areas of productive interdisciplinary contact. Theory and Applications of Ontology: Computer Applications presents ontology in ways that philosophers are not likely to find elsewhere. The volume offers an overview of current research in ontology, distinguishing basic conceptual issues, domain applications, general frameworks, and mathematical formalisms. It introduces the reader to current research on frameworks and applications in information technology in ways that are sure to invite reflection and constructive responses from ontologists in philosophy.
