for at udvide
kategorilisten.
Matematisk datateori
-
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Membrane Computing: 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Theory of Quantum Computation, Communication, and Cryptography: 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2011, held in Madrid, Spain, in May 2011.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Bog, Paperback / softback, Engelsk)
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Discontinuous Galerkin Methods: Theory, Computation and Applications (Bog, Paperback / softback, Engelsk)
A class of finite element methods, the Discontinuous Galerkin Methods (DGM), has been under rapid development recently and has found... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Prototyping: An Approach to Evolutionary System Development (Bog, Paperback / softback, Engelsk)
Prototyping is an approach used in evolutionary systemdevelopment. Theytake a look at the tools used in everyday... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ordnungen, Verbande und Relationen mit Anwendungen (Bog, Paperback / softback, Tysk)
Das Lehrbuch führt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Informatik-Bausteine: Eine komprimierte Einfuhrung (Bog, Paperback / softback, Tysk)
Dieses Lehrbuch präsentiert prüfungsrelevantes Basismaterial für Bachelor-Studierende informatiknaher Studiengänge an Hochschulen und Universitäten. Es kombiniert die Themen Diskrete Mathematik, Theoretische Informatik, Algorithmik und Künstliche Intelligenz in einem Band.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ordnungen und Verbande: Grundlagen, Vorgehensweisen und Anwendungen (Bog, Paperback / softback, Tysk)
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Auch werden eine... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Einfuhrung in die Theorie der kognitiven Kommunikation: Wie Sprache, Information, Energie, Internet, Gehirn und Geist zusammenhangen (Bog, Paperback / softback, Tysk)
Er erläutert im Detail Zusammenhänge zwischen informationstheoretischer... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Elementare Zahlentheorie: Beispiele, Geschichte, Algorithmen (Bog, Paperback / softback, Tysk)
Besondere Zielsetzungen sind: Elementarität und Anschaulichkeit, die Berücksichtigung der historischen Entwicklung, Motivation der Begriffe und Verfahren anhand konkreter, aussagekräftiger Beispiele unter Einbezug moderner Werkzeuge (Computeralgebra Systeme, Internet).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Statistik und Excel: Elementarer Umgang mit Daten (Bog, Paperback / softback, Tysk)
Dieses Buch zeigt Ihnen, wie die grundlegenden Methoden der Statistik recht einfach mit Excel umsetzbar sind. Umfangreiche Beispiele, didaktisch... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
