Angebote zu "Interpretation" (25 Treffer)

Struktur und Interpretation von Computerprogrammen
€ 29.99 *
ggf. zzgl. Versand

Diese moderne Einführung in die Informatik ist am renommierten Massachusetts Institute of Technology entstanden und repräsentiert den dortigen Ausbildungsstandard für Studenten der Informatik und der Elektrotechnik. Das ganzheitliche Verständnis der Informatik unter Einbeziehung der Künstlichen Intelligenz, das in diesem Buch vermittelt wird, hat es weltweit zu einer beliebten Grundlage für die Einführungsvorlesung gemacht. Zur Notation der Programme wird Scheme verwendet, ein Dialekt der Programmiersprache Lisp, der die Leistungsfähigkeit und die Eleganz von Lisp und Algol verbindet. Die Besonderheit dieser einführenden Vorlesung beruht auf zwei Grundüberzeugungen: 1. Eine Computersprache ist nicht einfach ein Weg, einen Computer zur Ausführung von Operationen zu bewegen, sondern vielmehr ein neuartiges Medium, um Vorstellungen über Verfahrensweisen auszudrücken.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Structure and Interpretation of Computer Programs
€ 55.99 *
ggf. zzgl. Versand

Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Verification, Model Checking, and Abstract Inte...
€ 65.99 *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Quantum Computing since Democritus
€ 36.99 *
ggf. zzgl. Versand

Written by noted quantum computing theorist Scott Aaronson, this book takes readers on a tour through some of the deepest ideas of maths, computer science and physics. Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb´s Paradox, the anthropic principle and the views of Roger Penrose. Aaronson´s informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
UML @ Classroom
€ 40.99 *
ggf. zzgl. Versand

This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C sharp, but with little or no modeling or software engineering experience thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpretation of rare special cases. After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual diagram types of UML (the class and object diagram, the sequence diagram, the state machine diagram, the activity diagram, and the use case diagram), as well as their interrelationships, in a step-by-step manner. The topics covered include not only the syntax and the semantics of the individual language elements, but also pragmatic aspects, i.e., how to use them wisely at various stages in the software development process. To this end, the work is complemented with examples that were carefully selected for their educational and illustrative value. Overall, the book provides a solid foundation and deeper understanding of the most important object-oriented modeling concepts and their application in software development. An additional website (www.uml.ac.at) offers a complete set of slides to aid in teaching the contents of the book, exercises and further e-learning material.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Principles of Program Analysis
€ 51.99 *
ggf. zzgl. Versand

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Quantum Information Theory
€ 58.99 *
ggf. zzgl. Versand

Developing many of the major, exciting, pre- and post-millennium developments from the ground up, this book is an ideal entry point for graduate students into quantum information theory. Significant attention is given to quantum mechanics for quantum information theory, and careful studies of the important protocols of teleportation, superdense coding, and entanglement distribution are presented. In this new edition, readers can expect to find over 100 pages of new material, including detailed discussions of Bell´s theorem, the CHSH game, Tsirelson´s theorem, the axiomatic approach to quantum channels, the definition of the diamond norm and its interpretation, and a proof of the Choi-Kraus theorem. Discussion of the importance of the quantum dynamic capacity formula has been completely revised, and many new exercises and references have been added. This new edition will be welcomed by the upcoming generation of quantum information theorists and the already established community of classical information theorists.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Böses Erwachen - Künstliches Bewusstsein
€ 19.95 *
ggf. zzgl. Versand

Unsere Augen sind weit geschlossen. Mit der Frage nach der Schaffung künstlichen Bewusstseins stößt ausgerechnet die moderne Wissenschaft in einen Themenbereich vor, der schon lange als Sammelbecken von Illusionen abgetan schien. Die aus dieser Sichtweise sprechende geistige Leere macht uns gegenüber dem Kommenden jedoch in jeder Hinsicht wehrlos. Für seine Bewältigung fehlt eine tragfähige Basis. Computer als bloße Rechenmaschinen anzusehen, ist eine der vielen gängigen Fehleinschätzungen. Es sind Sprachmaschinen, so wie das Programm und die Mathematik, auf denen sie basieren, Sprachen sind. Um unser Menschsein bewahren zu können, müssen wir geistig aufrüsten und zugleich Terrain betreten, das durch Denk- oder Redeverbote vermint ist oder als ´´Herrschaftswissen´´ unerreichbar erscheint. Daran etwas zu ändern, hat sich der Autor mit diesem Buch zum Ziel gesetzt. Bewusstsein ist so allgegenwärtig, dass es sich nicht auf einen isolierten Raumpunkt reduzieren oder an einzelnen Ereignissen festmachen lässt, es stellt die Regel dar und ist kein Ausnahmephänomen. Hinzu kommt, dass es dem Sein vorausgeht, es begründet - und nicht umgekehrt, wie es heute propagiert wird. Materie ist die Art und Weise, in der Bewusstsein zum Ausdruck kommt. Als Ebene von Form, Ordnung und Struktur ist sie zugleich die Ebene der Kommunikation und damit von Sprache. Die Wahrnehmung und Interpretation der uns umgebenden Welt entspricht dem, was wir tun, wenn wir hören oder lesen. Insofern ist auch Materie eine Sprache, die wir verstehen, indem wir die ´´Wörter´´, die uns die Sinne übermitteln in die Bildersprache der Seele zurückübersetzen. In einer auch für Nichtfachleute gehaltenen Sprache zeigt das Buch, warum uns die Sprache der Mathematik eine bisher nie gekannte Macht über die Natur verliehen hat. Eine Macht, die zugleich korrumpiert: Immer weniger denken wir selbst - wir lassen denken. Unter dem Schmiedehammer des Wettbewerbs ist unser Bildungssystem darauf ausgelegt, bestimmte Fertigkeiten einzuüben, anstatt echtes Verstehen zu vermitteln. Das ist fatal, denn im Zuge der Entwicklung von künstlicher Intelligenz wird diese zunehmend autonom/unkontrollierbar. Dem Sprachkörper aus Formeln wachsen inzwischen Arme, Beine und vor allem ein Kopf. Wer hier schiebt und wer geschoben wird, das ist die Gretchefrage. Aber nicht nur aus dieser, sondern auch aus anderen Richtungen wird unser Menschsein heute bedroht. Wir müssen mehr in Zusammenhängen denken. In diesem Buch geht es um die Artenvielfalt - auch um unsere eigene.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Core Data Analysis: Summarization, Correlation ...
€ 53.99 *
ggf. zzgl. Versand

This text examines the goals of data analysis with respect to enhancing knowledge, and identifies data summarization and correlation analysis as the core issues. Data summarization, both quantitative and categorical, is treated within the encoder-decoder paradigm bringing forward a number of mathematically supported insights into the methods and relations between them. Two Chapters describe methods for categorical summarization: partitioning, divisive clustering and separate cluster finding and another explain the methods for quantitative summarization, Principal Component Analysis and PageRank. Features: · An in-depth presentation of K-means partitioning including a corresponding Pythagorean decomposition of the data scatter. · Advice regarding such issues as clustering of categorical and mixed scale data, similarity and network data, interpretation aids, anomalous clusters, the number of clusters, etc. · Thorough attention to data-driven modelling including a number of mathematically stated relations between statistical and geometrical concepts including those between goodness-of-fit criteria for decision trees and data standardization, similarity and consensus clustering, modularity clustering and uniform partitioning. New edition highlights: · Inclusion of ranking issues such as Google PageRank, linear stratification and tied rankings median, consensus clustering, semi-average clustering, one-cluster clustering · Restructured to make the logics more straightforward and sections self-contained Core Data Analysis: Summarization, Correlation and Visualization is aimed at those who are eager to participate in developing the field as well as appealing to novices and practitioners.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Xamarin.Forms Solutions
€ 23.99 *
ggf. zzgl. Versand

Use the solutions provided in this book to handle common challenges in Xamarin.Forms that are encountered on a daily basis. Working examples and techniques are presented that you can modify and drop directly into your own projects. You will be able to deliver working code faster than ever. Examples are made available through GitHub, maximizing the convenience and value this book provides to Xamarin.Forms developers. Solutions in the book are organized broadly into problem domains such as user interface for applications, data and security, connectivity and external services, and more. Within each domain the book presents specific solutions addressing challenges that are commonly faced. Under data and security, for example, you´ll find specific solutions around storing login credentials, local data caching, and sending authorization tokens in HTTP requests. Not only do the solutions in the book solve specific problems, they also present best practices that can inform and improve the quality of the code that you write. Xamarin.Forms Solutions is chock full of practical advice and code examples that no Xamarin.Forms programmer will want to be without. The basics of Xamarin.Forms are provided for beginning developers. What You´ll Learn Know the in-depth basics of Xamarin.Forms and the inner workings Create custom renderers and dependency services Manage the appearance of user interfaces through styling and theming, layout options, rotation, and animation Build sophisticated user interfaces using a variety of controls that allow for PDF viewing, barcode interpretation, searching and finding, and other controls Secure your applications, and communicate securely with services via HTTP requests Sign and deploy your apps and optimize the binary file size Who This Book Is For Those building mobile applications on the Xamarin platform for iOS and Android. By mixing together the solutions and a thorough explanation of the basics of Xamarin.Forms, the book spans the needs of beginning through intermediate Xamarin.Forms developers. Even experts will find a few gems to improve the quality and speed of their application development work.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot