Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
software architectures and their models, refinement and verification;... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cellular Automata: 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, held in Krakow, Poland, in September 2014. The volume also contains contributions from ACRI 2014 workshops on crowds and cellular automata;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the thoroughly refereed post-conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Combinatorial Optimization and Applications: 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
In addition, two papers selected from the 22 papers presented at the regional version of CMC, the Asian Conference on Membrane Computing , ACMC 2014, held in Coimbatore, India, are included.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Random Walks, Random Fields, and Disordered Systems (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Constructive Commutative Algebra: Projective Modules Over Polynomial Rings and Dynamical Grobner Bases (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
High Performance Computing: 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Biologically-Inspired Collaborative Computing: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy (Bog, Paperback / softback, Engelsk)
The Second IFIP Conference on Biologically-Inspired Collaborative... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Soft Real-Time Systems: Predictability vs. Efficiency: Predictability vs. Efficiency (Bog, Paperback / softback, Engelsk)
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. Soft real-time systems are built to reduce resource consumption, tolerate overloads and adapt to system changes.
Levering: Skaffevare (forvent 14 - 30 hverdage)
