for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 20th Brazilian... Læs mere
Levering: 6 - 9 hverdage -
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
The conference focuses on all areas related to formal engineering methods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014. The 36 revised full papers were carefully reviewed and selected from 62 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Bog, Paperback / softback, Engelsk)
Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Evolutionary and Biologically Inspired Music, Sound, Art and Design: 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Evolutionary Multi-Criterion Optimization: 9th International Conference, EMO 2017, Munster, Germany, March 19-22, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Evolutionary Multi-Criterion Optimization: 8th International Conference, EMO 2015, Guimaraes, Portugal, March 29 --April 1, 2015. Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimarães, Portugal in March/April 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage)
