Der er 2 underkategorier
for at udvide
kategorilisten.
Dataarkitektur og logisk design
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2018, CT-RSA 2018, held in San Francisco, CA, USA, in March 2018.The 26 papers presented in this volume were carefully reviewed and selected from 79 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Bog, Paperback / softback, Engelsk)
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Search Based Software Engineering: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Scaling OpenMP for Exascale Performance and Portability: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 13th International Workshop... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on Reversible... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Conference on Reversible... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 15th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reconfigurable Computing: Architectures, Tools, and Applications: 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed conference proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2014, held in Vilamoura, Portugal, in April 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Parallel Processing and Applied Mathematics: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 10777 and 10778 constitutes revised selected... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Parallel Computing Technologies: 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in numerical computation, cellular automata and discrete event systems, organization of parallel computation, parallel computing applications.
Levering: Skaffevare (forvent 14 - 30 hverdage)
