Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Diese Theorie-Einführung hat konsequent praktische Anwendungen im Blick. Seien es Workflow-Systeme, Web Services, Verschlüsselung von Informationen, Authentifizierungsprotokolle oder selbstfahrende Autos – all diese Technologien haben enge Bezüge zu den theoretischen Grundlagen der Informatik. So trägt das Buch dazu bei, dass Studierende die Grundlagen der Theoretischen Informatik nicht nur verstehen, sondern auch anwenden können, um effektiv und produktiv an informationstechnischen Problemlösungen mitwirken zu können. Wegen seiner speziellen inhaltlichen und didaktischen Qualität ist das Buch neben dem Einsatz in der Lehre auch für das Selbststudium geeignet. Der Inhalt Endliche Automaten und reguläre Sprachen Kontextfreie Sprachen und Kellerautomaten Turingmaschinen und Berechenbarkeit Grenzen von Algorithmen Komplexität, Effizienz und Effektivität Vielfältige Anwendungen theoretischer Konzepte in der Praxis Die Zielgruppen Studierende der Informatik und Wirtschaftsinformatik an Hochschulen und Universitäten Studierende in anwendungsorientierten und technisch ausgerichteten Studiengängen Studierende in Informatik-Fern- und Weiterbildungsstudiengängen Die Autoren Prof. Dr. Gottfried Vossen lehrt und forscht am Institut für Wirtschaftsinformatik bzw. dem European Research Center for Information Systems (ERCIS) der Universität Münster. Prof. Dr. Kurt-Ulrich Witt lehrt und forscht im Bereich Grundlagen der Informatik am Fachbereich Informatik der Hochschule Bonn-Rhein-Sieg in Sankt Augustin. Er ist Direktor des Bonn-Aachen International Center for Information Technology (b-it).

Computers. --- Theory of Computation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer software --- Human computation --- Software engineering --- Human factors

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. Governments and industries around the globe are now investing vast amounts of money with the expectation of building practical quantum computers. Drawing upon years of experience and research in quantum computing research and using numerous examples and illustrations, Mingsheng Ying has created a very useful reference on quantum programming languages and important tools and techniques required for quantum programming, making the book a valuable resource for academics, researchers, and developers. Demystifies the theory of quantum programming using a step-by-step approach Covers the interdisciplinary nature of quantum programming by providing examples from many different fields including, engineering, computer science, medicine, and life sciences Includes techniques and tools to solve complex control flow patterns and synchronize computations Presents a coherent and self-contained treatment that will be valuable for academics and industrial researchers and developers

Quantum computers. --- Quantum computing. --- Computation, Quantum --- Computing, Quantum --- Information processing, Quantum --- Quantum computation --- Quantum information processing --- Electronic data processing --- Computers