Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Topological Data Analysis for Scientific Visualization (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Interactive Computation: The New Paradigm (Bog, Paperback / softback, Engelsk)
The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift from... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Knapsack Problems (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Perturbative Quantum Electrodynamics and Axiomatic Field Theory (Bog, Paperback / softback, Engelsk)
This novel approach is presented for the first time in book form. The author demonstrates that fundamental concepts and methods from phenomenological particle physics can be derived rigorously from well-defined general assumptions in a mathematically clean way.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
New Directions in Logic, Language, and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Bog, Paperback / softback, Engelsk)
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Bog, Paperback / softback, Engelsk)
He won a number of prestigious science and technology awards, including a 2nd prize of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
