7 resultater (0,22481 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Algorithms and Discrete Applied Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

Algorithms and Discrete Applied Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017. The 32 papers presented in this volume were carefully reviewed and selected from 103 submissions. They deal with the following areas: algorithms, graph theory, codes, polyhedral combinatorics, computational geometry, and discrete geometry.

DKK 426.00
1

Theory and Applications of Models of Computation - - Bog - Springer International Publishing AG - Plusbog.dk

Theory and Applications of Models of Computation - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.

DKK 426.00
1

Information Security - - Bog - Springer International Publishing AG - Plusbog.dk

Information Security - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 18th International Conference on Information Security, ISC 2015, held in Trondheim, Norway, in September 2015. The 30 revised full papers presented were carefully reviewed and selected from 103 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and are organized in the following topical sections: signatures; system and software security; block ciphers; protocols; network and cloud security; encryption and fundamentals; PUFs and implementation security; and key generation, biometrics and image security.

DKK 416.00
1

Foundations of Software Science and Computation Structures - - Bog - Springer International Publishing AG - Plusbog.dk

Foundations of Software Science and Computation Structures - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

DKK 426.00
1

Artificial Computation in Biology and Medicine - - Bog - Springer International Publishing AG - Plusbog.dk

Artificial Computation in Biology and Medicine - - Bog - Springer International Publishing AG - Plusbog.dk

The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, held in Elche, Spain, in June 2015. The total of 103 contributions was carefully reviewed and selected from 190 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on artificial computation and biology and medicine, addressing topics such as computational neuroscience, neural coding and neuro-informatics, as well as computational foundations and approaches to the study of cognition. The second volume deals with bioinspired computation in artificial systems; topics alluded are bio-inspired circuits and mechanisms, bioinspired programming strategies and bioinspired engineering AI&KE.

DKK 416.00
1

Human Language Technology. Challenges for Computer Science and Linguistics - - Bog - Springer International Publishing AG - Plusbog.dk

Human Language Technology. Challenges for Computer Science and Linguistics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 6th Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2013, held in Poznań, Poland, in December 2013. The 31 revised and in many cases substantially extended papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers selected to this volume belong to various fields of Human Language Technologies and illustrate a large thematic coverage of the LTC conferences. To make the presentation of the papers possibly transparent we have "structured" them into 9 chapters. These are: Speech Processing, Morphology, Parsing Related Issues, Computational Semantics, Digital Language Resources, Ontologies and Wordnets, Written Text and Document Processing, Information and Data Extraction, and Less-Resourced Languages.

DKK 416.00
1

Bioinspired Computation in Artificial Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Bioinspired Computation in Artificial Systems - - Bog - Springer International Publishing AG - Plusbog.dk

The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, held in Elche, Spain, in June 2015. The total of 103 contributions was carefully reviewed and selected from 190 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on artificial computation and biology and medicine, addressing topics such as computational neuroscience, neural coding and neuro-informatics, as well as computational foundations and approaches to the study of cognition. The second volume deals with bioinspired computation in artificial systems; topics alluded are bio-inspired circuits and mechanisms, bioinspired programming strategies, and bioinspired engineering AI&KE.

DKK 416.00
1