Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

Machine Learning Pocket Reference

Working with Structured Data in Python

af Matt Harrison ...

With detailed notes, tables, and examples, this handy reference will help you navigate the basics of structured machine learning. Author Matt Harrison delivers a valuable guide that you can use for additional support during training and as a convenient resource when you dive into your next machine learning project.Ideal for programmers, data scientists, and AI engineers, this book includes an ... Læs mere

120,09 kr.

With detailed notes, tables, and examples, this handy reference will help you navigate the basics of structured machine learning. Author Matt Harrison delivers a valuable guide that you can use for additional support during training and as a convenient resource when you dive into your next machine learning project.Ideal for programmers, data scientists, and AI engineers, this book includes an
... Læs mere
Cloud Application Architectures

Building Applications and Infrastructure in the Cloud

af George Reese ...

If you're involved in planning IT infrastructure as a network or system architect, system administrator, or developer, this book will help you adapt your skills to work with these highly scalable, highly redundant infrastructure services.While analysts hotly debate the advantages and risks of cloud computing, IT staff and programmers are left to determine whether and how to put their applications ... Læs mere

110,89 kr.

If you're involved in planning IT infrastructure as a network or system architect, system administrator, or developer, this book will help you adapt your skills to work with these highly scalable, highly redundant infrastructure services.While analysts hotly debate the advantages and risks of cloud computing, IT staff and programmers are left to determine whether and how to put their applications
... Læs mere
Kubeflow for Machine Learning

af Trevor Grant, Holden Karau, Boris Lublinsky, Richard Liu, Ilan Filonenko ...

If you're training a machine learning model but aren't sure how to put it into production, this book will get you there. Kubeflow provides a collection of cloud native tools for different stages of a model's lifecycle, from data exploration, feature preparation, and model training to model serving. This guide helps data scientists build production-grade machine learning implementations with ... Læs mere

198,69 kr.

If you're training a machine learning model but aren't sure how to put it into production, this book will get you there. Kubeflow provides a collection of cloud native tools for different stages of a model's lifecycle, from data exploration, feature preparation, and model training to model serving. This guide helps data scientists build production-grade machine learning implementations with
... Læs mere
Spatial Data Science

af Dr. John P. Wilson ...

Spatial Data Science will show GIS scientists and practitioners how to add and use new analytical methods from data science in their existing GIS platforms. By explaining how the spatial domain can provide many of the building blocks, it's critical for transforming data into information, knowledge, and solutions.This book is for those using or studying GIS and the computer scientists, engineers, ... Læs mere

462,99 kr.

Spatial Data Science will show GIS scientists and practitioners how to add and use new analytical methods from data science in their existing GIS platforms. By explaining how the spatial domain can provide many of the building blocks, it's critical for transforming data into information, knowledge, and solutions.This book is for those using or studying GIS and the computer scientists, engineers,
... Læs mere
Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Redigeret af Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium. ... Læs mere

630,24 kr.

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
... Læs mere
OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Redigeret af Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy. ... Læs mere

394,99 kr.

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
... Læs mere
Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Redigeret af Floor Koornneef, Coen van Gulijk ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive
... Læs mere
Towards Autonomous Robotic Systems

17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

Redigeret af Lyuba Alboul, Dana Damian, Jonathan M. Aitken ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th Annual Conference on Towards Autonomous Robotics, TAROS 2016, held in Sheffield UK, in June/July 2016.The 23 revised full papers presented together with 15 short papers were carefully reviewed and selected from 56 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 17th Annual Conference on Towards Autonomous Robotics, TAROS 2016, held in Sheffield UK, in June/July 2016.The 23 revised full papers presented together with 15 short papers were carefully reviewed and selected from 56 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception,
... Læs mere
Software Reuse: Bridging with Social-Awareness

15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Redigeret af Eduardo Santana de Almeida, Georgia M. Kapitsaki ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 submissions. The papers cover different areas of software engineering, where software reuse plays an important role, such as ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 submissions. The papers cover different areas of software engineering, where software reuse plays an important role, such as
... Læs mere
Practical Aspects of Declarative Languages

19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Redigeret af Yuliya Lierler, Walid Taha ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and ... Læs mere

420,11 kr.

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and
... Læs mere
Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments

Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 – 27, 2015, Revised Contributions

Redigeret af Daniel Archambault, Tobias Hoßfeld, Helen Purchase ...

Serier serie Springer Nature Proceedings Computer Science
As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments.The focus of this Dagstuhl seminar, held in Dagstuhl Castle in November 2015, was to discuss experiences and methodological considerations when using crowdsourcing platforms to ... Læs mere

420,11 kr.

As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments.The focus of this Dagstuhl seminar, held in Dagstuhl Castle in November 2015, was to discuss experiences and methodological considerations when using crowdsourcing platforms to
... Læs mere
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Redigeret af Phillip James, Markus Roggenbach ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Læs mere

420,11 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Læs mere
Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Redigeret af El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model
... Læs mere
Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Redigeret af Bernd Fischer, Tarmo Uustalu ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and ... Læs mere

672,24 kr.

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and
... Læs mere
Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Redigeret af Tiago Massoni, Mohammad Reza Mousavi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical ... Læs mere

478,99 kr.

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical
... Læs mere
Interactive Storytelling

11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings

Redigeret af Rebecca Rouse, Hartmut Koenitz, Mads Haahr ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, held in Dublin, Ireland, in December 2018.The 20 revised full papers and 16 short papers presented together with 17 posters, 11 demos, and 4 workshops were carefully reviewed and selected from 56, respectively 29, submissions. The papers are organized in the ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, held in Dublin, Ireland, in December 2018.The 20 revised full papers and 16 short papers presented together with 17 posters, 11 demos, and 4 workshops were carefully reviewed and selected from 56, respectively 29, submissions. The papers are organized in the
... Læs mere
Internet Science

INSCI 2018 International Workshops, St. Petersburg, Russia, October 24–26, 2018, Revised Selected Papers

Redigeret af Svetlana S. Bodrunova, Olessia Koltsova, Asbjørn Følstad, Harry Halpin, Polina Kolozaridi, Leonid Yuldashev, Anna Smoliarova, Heiko Niedermayer ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of 4 workshops, held at the 5th International Conference on Internet Science, St. Petersburg, Russia, in October 2018: Workshop 1 : Detecting Social Problems in Online Content, Workshop 2: CONVERSATIONS, Workshop 3: The Future of Decentralized Governance: A Workshop on Encryption,Blockchains, and Personal Data, and Workshop 4: Internet ... Læs mere

478,99 kr.

This book constitutes the refereed post-conference proceedings of 4 workshops, held at the 5th International Conference on Internet Science, St. Petersburg, Russia, in October 2018: Workshop 1 : Detecting Social Problems in Online Content, Workshop 2: CONVERSATIONS, Workshop 3: The Future of Decentralized Governance: A Workshop on Encryption,Blockchains, and Personal Data, and Workshop 4: Internet
... Læs mere
Computational Intelligence in Music, Sound, Art and Design

8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Redigeret af Anikó Ekárt, Antonios Liapis, María Luz Castro Pena ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of ... Læs mere

478,99 kr.

This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of
... Læs mere
Persuasive Technology: Development of Persuasive and Behavior Change Support Systems

14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9–11, 2019, Proceedings

Redigeret af Harri Oinas-Kukkonen, Khin Than Win, Evangelos Karapanos, Pasi Karppinen, Eleni Kyza ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Persuasive Technology, PERSUASIVE 2019, held in Limassol, Cyprus, in April 2019.The 29 full papers presented were carefully reviewed and selected from 79 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They were subsequently grouped in the following topical ... Læs mere

546,24 kr.

This book constitutes the refereed proceedings of the 14th International Conference on Persuasive Technology, PERSUASIVE 2019, held in Limassol, Cyprus, in April 2019.The 29 full papers presented were carefully reviewed and selected from 79 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They were subsequently grouped in the following topical
... Læs mere
Principles and Practice of Constraint Programming

25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Redigeret af Thomas Schiex, Simon de Givry ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, ... Læs mere

420,11 kr.

This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms,
... Læs mere
Graph-Theoretic Concepts in Computer Science

45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Redigeret af Ignasi Sau, Dimitrios M. Thilikos ...

Serier serie Springer Nature Proceedings excluding Computer Science
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Læs mere

546,24 kr.

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... Læs mere
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design

8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Redigeret af Vincent G. Duffy ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful ... Læs mere

420,11 kr.

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful
... Læs mere
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Redigeret af Jonathan P. Bowen, Huibiao Zhu ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of
... Læs mere
Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Redigeret af Francesco Ranzato ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Programmering e-bøger

Machine Learning Pocket Reference

Cloud Application Architectures

Kubeflow for Machine Learning

Spatial Data Science

Rigorous State-Based Methods

OpenMP: Heterogenous Execution and Data Movements

Computer Safety, Reliability, and Security

Towards Autonomous Robotic Systems

Software Reuse: Bridging with Social-Awareness

Practical Aspects of Declarative Languages

Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments

Recent Trends in Algebraic Development Techniques

Model and Data Engineering

Theoretical Aspects of Computing – ICTAC 2018

Formal Methods: Foundations and Applications

Interactive Storytelling

Internet Science

Computational Intelligence in Music, Sound, Art and Design

Persuasive Technology: Development of Persuasive and Behavior Change Support Systems

Principles and Practice of Constraint Programming

Graph-Theoretic Concepts in Computer Science

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design

Unifying Theories of Programming

Static Analysis