Skip to main content
Search Button
Librairie Kobo Suisse Cartes cadeau Aide

Kobo Rakuten

Liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...

eBooks Programmation

Si vous aimez les titres Programmation, vous allez adorer cette sélection.
Affichage des résultats 265 - 288 sur 7665
Skip side bar filters

  • NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

    Modifié par Clark Barrett, Misty Davies, Temesghen Kahsai ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... En savoir plus

    CHF 53.14

  • Integrated Formal Methods

    13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

    Modifié par Nadia Polikarpova, Steve Schneider ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... En savoir plus

    CHF 53.14

  • Clean Ruby

    A Guide to Crafting Better Code for Rubyists

    par Carleton DiLeo ...
    Collection series Professional and Applied Computing (R0)
    Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity. ... En savoir plus

    CHF 48.21

  • JRuby Rails Web Application Development

    par Deepak Vohra ...
    Collection series Computer Science (R0)
    This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle® ... En savoir plus

    CHF 60.32

  • Two Bit Circus and the Future of Entertainment

    par Elise Lemle, Katherine Bomkamp, Marcella Klein Williams, Elizabeth Cutbirth ...
    Collection series Computer Science (R0)
    This brief will explore topics in computer science through the lens of Two Bit Circus, an engineering entertainment company based out of downtown Los Angeles. This brief examines the ways they apply computer science to a wide variety of applications, including interactive games, immersive adventures, and virtual reality. The authors demonstrate how technology can encourage children and adults to ... En savoir plus

    CHF 53.14

  • The Sovereign Intelligence Playbook - How Any Nation Can Own Its AI Future, Protect Its Data, and Build a Prosperous Digital Economy

    par JOHN KABAA KAMAU ...
    SOVEREIGN BY DESIGN: THE GLOBAL ARCHITECT'S ROADMAP TO AI POWERThe Second Silicon Revolution has arrived. Will your nation hold the handle of the tool, or be caught in the gears?For decades, global power was measured in oil and geography. In 2026, the scoreboard has changed to FLOPS, megawatts, and "Governable Chips." Sovereign by Design is the definitive field manual for the "Great Divergence"; ... En savoir plus

    CHF 32.00 ou Gratuit avec Kobo Plus

  • CSS3 Quick Syntax Reference

    A Pocket Guide to the Cascading Style Sheets Language

    par Mikael Olsson ...
    Collection series Professional and Applied Computing (R0)
    The CSS3 Quick Syntax Reference is a 150-page syntax reference to the Cascading Style Sheets language. It presents the essentials of CSS3 in a well-organized format that can be used as a handy reference. You won’t find any technical jargon, bloated samples, drawn-out history lessons or witty stories in this book. What you will find is a CSS reference that is concise, to the point, and highly ... En savoir plus

    CHF 37.44

  • Discrete Geometry for Computer Imagery

    20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedings

    Modifié par Walter G. Kropatsch, Nicole M. Artner, Ines Janusch ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2017, held in Vienna, Austria, in September 2017.The 28 revised full papers presented together with 3 invited talks were carefully selected from 36 submissions. The papers are organized in topical sections on geometric transforms; discrete tomography; ... En savoir plus

    CHF 53.14

  • Computer Safety, Reliability, and Security

    SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

    Modifié par Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's ... En savoir plus

    CHF 53.14

  • Formal Methods and Software Engineering

    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

    Modifié par Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and ... En savoir plus

    CHF 53.14

  • Universal Access in Human–Computer Interaction. Designing Novel Interactions

    11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part II

    Modifié par Margherita Antona, Constantine Stephanidis ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at ... En savoir plus

    CHF 53.14

  • Engineering Psychology and Cognitive Ergonomics: Cognition and Design

    14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

    Modifié par Don Harris ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing ... En savoir plus

    CHF 53.14

  • Universal Access in Human-Computer Interaction. Users and Context Diversity

    10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III

    Modifié par Margherita Antona, Constantine Stephanidis ...
    Collection Livre 3 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the ... En savoir plus

    CHF 53.14

  • Human-Computer Interaction. Theory, Design, Development and Practice

    18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I

    Modifié par Masaaki Kurosu ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    The 3-volume set LNCS 9731, 9732, and 9733 constitutes the refereed proceedings of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016. The total of 1287 papers and 186 posters presented at the HCII 2016 conferences and were carefully reviewed and selected from 4354 submissions.The papers thoroughly cover the entire field of Human ... En savoir plus

    CHF 53.14

  • Computers Helping People with Special Needs

    15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part II

    Modifié par Christian Bühler, Petr Penaz, Klaus Miesenberger ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The two volume set LNCS 9758 and 9759, constitutes the refereed proceedings of the 15th International Conference on Computers Helping People with Special Needs, ICCHP 2015, held in Linz, Austria, in July 2016.The 115 revised full papers and 48 short papers presented were carefully reviewed and selected from 239 submissions. The papers included in the second volume are organized in the following ... En savoir plus

    CHF 53.14

  • Computer Safety, Reliability, and Security

    35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

    Modifié par Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, ... En savoir plus

    CHF 53.14

  • OpenMP: Memory, Devices, and Tasks

    12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

    Modifié par Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and ... En savoir plus

    CHF 53.14

  • Rewriting Logic and Its Applications

    11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

    Modifié par Dorel Lucanu ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers ... En savoir plus

    CHF 53.14

  • Intelligent Robotics and Applications

    9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II

    Modifié par Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    This two volume set LNAI 9834 and 9835 constitutes the refereed proceedings of the 9th International Conference on Intelligent Robotics and Applications, ICIRA 2016, held in Tokyo, Japan, in August 2016.The 114 papers presented were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections such as Robot Control; Robot Mechanism, Robot Vision and Sensing; ... En savoir plus

    CHF 53.14

  • Database Systems for Advanced Applications

    26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part III

    Modifié par Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Wang-Chien Lee, Vincent S. Tseng, Vana Kalogeraki, Jen-Wei Huang, Chih-Ya Shen ...
    Collection Livre 3 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.The topic areas for the selected papers include information retrieval, search and ... En savoir plus

    CHF 138.19

  • Design, User Experience, and Usability: Design for Contemporary Technological Environments

    10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III

    Modifié par Marcelo M. Soares, Elizabeth Rosenzweig, Aaron Marcus ...
    Collection Livre 3 - Springer Nature Proceedings Computer Science
    This three volume set LNCS 12779, 12780, and 12781 constitutes the refereed proceedings of the 10th International Conference on Design, User Experience, and Usability, DUXU 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 241 posters included in the ... En savoir plus

    CHF 127.83

  • Accelerator Programming Using Directives

    5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

    Modifié par Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... En savoir plus

    CHF 53.14

  • Computational Science – ICCS 2019

    19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

    Modifié par João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the ... En savoir plus

    CHF 95.92

  • Human Aspects of IT for the Aged Population. Design for the Elderly and Technology Acceptance

    5th International Conference, ITAP 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

    Modifié par Jia Zhou, Gavriel Salvendy ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 11592 and 11593 constitutes the refereed proceedings of the 5th International Conference on Human Aspects of IT for the Aged Population, ITAP 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The ... En savoir plus

    CHF 53.14