Développement de logiciels eBooks

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Modifié par Maurice H. ter Beek, Annabelle McIver, José N. Oliveira ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations;
... En savoir plus
Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Modifié par Dirk Beyer, Chantal Keller ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and
... En savoir plus
Trust in Agile Teams

Unlocking the Hidden Catalyst of Agile Success

par Trish O'Connell ...

Collections series Professional and Applied Computing (R0)
Agile teams thrive on collaboration, adaptability, and continuous improvement. But beneath the frameworks and ceremonies lies a quieter, often underexamined force: TRUST.While Agile guides and Scrum literature frequently cite trust as a cornerstone of effective teamwork, few explore what trust actually means—or how to build and sustain it in real-world settings. Trust in Agile Teams addresses this ... En savoir plus

$64.99 CAD

Agile teams thrive on collaboration, adaptability, and continuous improvement. But beneath the frameworks and ceremonies lies a quieter, often underexamined force: TRUST.While Agile guides and Scrum literature frequently cite trust as a cornerstone of effective teamwork, few explore what trust actually means—or how to build and sustain it in real-world settings. Trust in Agile Teams addresses this
... En savoir plus
Python Aplicaciones prácticas

par Jorge Santiago Nolasco ...

Python. Aplicaciones prácticas es un libro para entusiastas de la programación, estudiantes y profesionales en el mundo Python, los capítulos_x000D_ inician con prácticas sencillas que aumentan de complejidad gradualmente y está desarrollado en el lenguaje de programación Python._x000D_ Python está escrito en el lenguaje C, por lo que se puede extender a través de su api en C o C++ y escribir ... En savoir plus

$31.99 CAD ou Gratuit avec Kobo Plus

Python. Aplicaciones prácticas es un libro para entusiastas de la programación, estudiantes y profesionales en el mundo Python, los capítulos_x000D_ inician con prácticas sencillas que aumentan de complejidad gradualmente y está desarrollado en el lenguaje de programación Python._x000D_ Python está escrito en el lenguaje C, por lo que se puede extender a través de su api en C o C++ y escribir
... En savoir plus
Transactions on Computational Collective Intelligence XX

Modifié par Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe ...

Collections series Computer Science (R0)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition ... En savoir plus

$64.99 CAD

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition
... En savoir plus
Programming in C#: Exam 70-483 (MCSD) Guide

Learn basic to advanced concepts of C#, including C# 8, to pass Microsoft MCSD 70-483 exam

par Simaranjit Singh Bhalla, SrinivasMadhav Gorthi ...

Acquire necessary skills in preparing for Microsoft certification and enhance your software development career by learning the concepts of C\# programmingKey FeaturesPrepare for the certification using step-by-step examples, and mock tests with standard solutionsUnderstand the concepts of data security for secure programming with C\#Learn to scale and optimize your application codebase using best ... En savoir plus

$47.99 CAD ou Gratuit avec Kobo Plus

Acquire necessary skills in preparing for Microsoft certification and enhance your software development career by learning the concepts of C\# programmingKey FeaturesPrepare for the certification using step-by-step examples, and mock tests with standard solutionsUnderstand the concepts of data security for secure programming with C\#Learn to scale and optimize your application codebase using best
... En savoir plus
Design Thinking for Software Engineering

Creating Human-oriented Software-intensive Products and Services

Modifié par Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy ...

Collections series Business and Management (R0)
This book explores the possibility of integrating design thinking into today’s technical contexts. Despite the popularity of design thinking in research and practice, this area is still too often treated in isolation without a clear, consistent connection to the world of software development.The book presents design thinking approaches and experiences that can facilitate the development of ... En savoir plus

$230.99 CAD

This book explores the possibility of integrating design thinking into today’s technical contexts. Despite the popularity of design thinking in research and practice, this area is still too often treated in isolation without a clear, consistent connection to the world of software development.The book presents design thinking approaches and experiences that can facilitate the development of
... En savoir plus
Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Modifié par Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of
... En savoir plus
Modelling to Program

Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers

Modifié par Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and ... En savoir plus

$64.99 CAD

This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and
... En savoir plus
Instant Approach to Software Testing

par Nayyar Dr. Anand ...

One-stop Guide to software testing types, software errors, and planning process Key featuresa- Presents a comprehensive investigation about the software testing approach in terms of techniques, tools and standardsa- Highlights test case development and defect trackinga- In-depth coverage of test reports developmenta- Covers the Selenium testing tool in detaila- Comprehensively covers IEEE/ISO/IEC ... En savoir plus

$17.99 CAD

One-stop Guide to software testing types, software errors, and planning process Key featuresa- Presents a comprehensive investigation about the software testing approach in terms of techniques, tools and standardsa- Highlights test case development and defect trackinga- In-depth coverage of test reports developmenta- Covers the Selenium testing tool in detaila- Comprehensively covers IEEE/ISO/IEC
... En savoir plus
From Objects to Functions

Build Your Software Faster and Safer with Functional Programming and Kotlin

par Uberto Barbini ...

Build applications quicker and with less effort using functional programming and Kotlin. Learn by building a complete application, from gathering requirements to delivering a microservice architecture following functional programming principles. Learn how to implement CQRS and EventSourcing in a functional way to map the domain into code better and to keep the cost of change low for the whole ... En savoir plus

$41.99 CAD

Build applications quicker and with less effort using functional programming and Kotlin. Learn by building a complete application, from gathering requirements to delivering a microservice architecture following functional programming principles. Learn how to implement CQRS and EventSourcing in a functional way to map the domain into code better and to keep the cost of change low for the whole
... En savoir plus
Ctrl+C, Ctrl+V, and the Death of Reason

par C. E. Hirschauer ...

Ctrl+C, Ctrl+V, and the Death of Reason by C. E. HirschauerCtrl+C, Ctrl+V killed craftsmanship - now speed pretends to be intelligence, and repetition masquerades as reasoning.In an industry drowning in frameworks, tutorials, and pre-written packages, this book is a surgical strike against the decay of true engineering. Copy, paste, and the death of reason is a war cry for those who are sick of ... En savoir plus

$13.99 CAD ou Gratuit avec Kobo Plus

Ctrl+C, Ctrl+V, and the Death of Reason by C. E. HirschauerCtrl+C, Ctrl+V killed craftsmanship - now speed pretends to be intelligence, and repetition masquerades as reasoning.In an industry drowning in frameworks, tutorials, and pre-written packages, this book is a surgical strike against the decay of true engineering. Copy, paste, and the death of reason is a war cry for those who are sick of
... En savoir plus
Micro Frontends Architecture for Scalable Applications

Master Modular and Efficient Web Development with Micro Frontends, DDD, and CI/CD for Scalable, Distributed Frontend Applications (English Edition)

par Vanderlei Silva ...

Unleash Agility and Scale with Micro Frontend Architecture.Book DescriptionAs modern web applications grow in complexity, micro frontend architecture offers a scalable, modular approach that helps teams work independently, accelerate delivery, and maintain long-term flexibility. Micro Frontends Architecture for Scalable Applications provides a comprehensive, hands-on guide to implementing micro ... En savoir plus

$27.49 CAD ou Gratuit avec Kobo Plus

Unleash Agility and Scale with Micro Frontend Architecture.Book DescriptionAs modern web applications grow in complexity, micro frontend architecture offers a scalable, modular approach that helps teams work independently, accelerate delivery, and maintain long-term flexibility. Micro Frontends Architecture for Scalable Applications provides a comprehensive, hands-on guide to implementing micro
... En savoir plus
Datenschutz für Softwareentwicklung und IT

Eine praxisorientierte Einführung

par Ralf Kneuper ...

Collections series Computer Science and Engineering (German Language)
Dieses Buch beschreibt das Thema Datenschutz aus der Sicht von Softwareentwicklung und IT. Die Verantwortlichen in diesen Bereichen gestalten die praktische Umsetzung des Datenschutzes zu erheblichen Teilen mit, benötigen dafür aber entsprechende Kenntnisse über die rechtlichen Rahmenbedingungen und Möglichkeiten zu deren Umsetzung. Der Fokus dieses Buchs liegt daher auf den Aspekten des ... En savoir plus

$56.99 CAD

Dieses Buch beschreibt das Thema Datenschutz aus der Sicht von Softwareentwicklung und IT. Die Verantwortlichen in diesen Bereichen gestalten die praktische Umsetzung des Datenschutzes zu erheblichen Teilen mit, benötigen dafür aber entsprechende Kenntnisse über die rechtlichen Rahmenbedingungen und Möglichkeiten zu deren Umsetzung. Der Fokus dieses Buchs liegt daher auf den Aspekten des
... En savoir plus
Bringing Technology to You Volume 1

par Roy Vestrum ...

For about 2 years, I gave Computer Talks. A half-hour discussion of a variety of computer topics. These were subjects of general-public interest. This series will explore these topics. In addition to those, I will get into what a beginning software developer needs to learn to design and develop appropriately, which will include software development standards and specifications. At times there will ... En savoir plus

$15.99 CAD ou Gratuit avec Kobo Plus

For about 2 years, I gave Computer Talks. A half-hour discussion of a variety of computer topics. These were subjects of general-public interest. This series will explore these topics. In addition to those, I will get into what a beginning software developer needs to learn to design and develop appropriately, which will include software development standards and specifications. At times there will
... En savoir plus
Julia 1.0 Programming

Dynamic and high-performance programming to build fast scientific applications

par Ivo Balbaert ...

Enter the exciting world of Julia, a high-performance language for technical computing Key FeaturesLeverage Julia's high speed and efficiency for your applicationsWork with Julia in a multi-core, distributed, and networked environmentApply Julia to tackle problems concurrently and in a distributed environmentBook DescriptionThe release of Julia 1.0 is now ready to change the technical world by ... En savoir plus

$37.99 CAD ou Gratuit avec Kobo Plus

Enter the exciting world of Julia, a high-performance language for technical computing Key FeaturesLeverage Julia's high speed and efficiency for your applicationsWork with Julia in a multi-core, distributed, and networked environmentApply Julia to tackle problems concurrently and in a distributed environmentBook DescriptionThe release of Julia 1.0 is now ready to change the technical world by
... En savoir plus
Translating Code

The Invisible Art of Video Game Localization and the Rewriting of Digital Cultures

par Nathan Frost ...

When a Japanese video game is released in the West, it doesn't just undergo translation; it undergoes complete cultural reconstruction. Jokes that make sense in Tokyo fail miserably in Texas. A game's success relies entirely on a hidden army of localizers who strip the code down and rebuild the narrative for a new society. Video game localization is a brutal, high-stakes branch of digital ... En savoir plus

$7.99 CAD

When a Japanese video game is released in the West, it doesn't just undergo translation; it undergoes complete cultural reconstruction. Jokes that make sense in Tokyo fail miserably in Texas. A game's success relies entirely on a hidden army of localizers who strip the code down and rebuild the narrative for a new society. Video game localization is a brutal, high-stakes branch of digital
... En savoir plus
Structured Pascal Techniques: Organize Modular Code and Debug Complex Software Architectures

Practical Systems Programming with Pascal, #2

par Corin Hale ...

Collections Livre 2 - Practical Systems Programming with Pascal
Move beyond syntax and start engineering software that lasts.Knowing how to write a loop or declare a variable is just the beginning. When your Pascal programs start growing in size, the real challenge is keeping them organized, readable, and free from cascading failures. Structured Pascal Techniques is the definitive guide for developers ready to cross the boundary from script writer to software ... En savoir plus

$5.99 CAD ou Gratuit avec Kobo Plus

Move beyond syntax and start engineering software that lasts.Knowing how to write a loop or declare a variable is just the beginning. When your Pascal programs start growing in size, the real challenge is keeping them organized, readable, and free from cascading failures. Structured Pascal Techniques is the definitive guide for developers ready to cross the boundary from script writer to software
... En savoir plus
Applied Computer Sciences in Engineering

Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers

Modifié par Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, Roberto Ferro-Escobar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third Workshop on Engineering Applications, WEA 2016, held in Bogotá, Colombia, in September 2016.The 35 revised full papers presented were carefully reviewed and selected from 128 submissions. The papers are organized in topical sections on computer science; computational intelligence; simulation systems; fuzzy sets and systems; power systems; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the Third Workshop on Engineering Applications, WEA 2016, held in Bogotá, Colombia, in September 2016.The 35 revised full papers presented were carefully reviewed and selected from 128 submissions. The papers are organized in topical sections on computer science; computational intelligence; simulation systems; fuzzy sets and systems; power systems;
... En savoir plus
Conceptualizing Digital Responsibility for the Information Age

Proceedings of the 18th International Conference on Wirtschaftsinformatik, Paderborn, Germany, 2023, Vol. 1

Modifié par Daniel Beverungen, Christiane Lehrer, Matthias Trier ...

Collections series Springer Nature Proceedings excluding Computer Science
This book is the first volume of proceedings from the 18th International Conference on Wirtschaftsinformatik held in Paderborn, Germany, in 2023.In the context of the global trend toward digitalization, it presents the results of innovative, high-quality research in the field of information systems and digital transformation. The book covers a broad range of topics, including digital innovation, ... En savoir plus

$179.99 CAD

This book is the first volume of proceedings from the 18th International Conference on Wirtschaftsinformatik held in Paderborn, Germany, in 2023.In the context of the global trend toward digitalization, it presents the results of innovative, high-quality research in the field of information systems and digital transformation. The book covers a broad range of topics, including digital innovation,
... En savoir plus
Human-Computer Interaction. Multimodal and Natural Interaction

Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II

Modifié par Masaaki Kurosu ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 ... En savoir plus

$115.99 CAD

The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326
... En savoir plus
Augmented Reality using Appcelerator Titanium Starter

Learn to create Augmented Reality applications in no time using the Appcelerator Titanium Framework with this book and ebook.

par Trevor Ward ...

Learn to create Augmented Reality applications in no time using the Appcelerator Titanium Framework with this book and ebook.Key FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate results.Create an open source Augmented Reality Titanium applicationBuild an effective display of multiple points of interestLearn to calculate distances between points of ... En savoir plus

$21.99 CAD ou Gratuit avec Kobo Plus

Learn to create Augmented Reality applications in no time using the Appcelerator Titanium Framework with this book and ebook.Key FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate results.Create an open source Augmented Reality Titanium applicationBuild an effective display of multiple points of interestLearn to calculate distances between points of
... En savoir plus
アーキテクチャとコーディング

par ニコ・ウォン ...

Collections Livre 3 - システム開発インスタントリファレンス
コンピュータシステムにおいて最も重要かつ決定的なタスクは、システムの設計と実装です。これには、ユーザー要件の収集、基本アーキテクチャとコンポーネントの決定による予備設計および概念設計の策定、パターン、フレームワーク、サードパーティのミドルウェアを参照した利用可能なソリューションの選択、使用する言語やツール、そして詳細の実装方法といったプロセスが含まれます。最終製品がユーザーの期待に応えるためには、テストと品質保証も重要です。本書の目的は、計画、設計、実装、保守に至るまで、主要なシステム設計・開発技術をすべて網羅し、検討と評価を支援することです。読者は、大学では教えられない開発手法、新しい業界に参入する際に知っておくべき技術的側面、どのような状況に適した技術、そして業界の最新の開発動向、開発アドバイス、デバッグ、パフォーマンスチューニングの手法などについて学ぶことができます。標準、方法論 ... En savoir plus

$18.43 CAD ou Gratuit avec Kobo Plus

コンピュータシステムにおいて最も重要かつ決定的なタスクは、システムの設計と実装です。これには、ユーザー要件の収集、基本アーキテクチャとコンポーネントの決定による予備設計および概念設計の策定、パターン、フレームワーク、サードパーティのミドルウェアを参照した利用可能なソリューションの選択、使用する言語やツール、そして詳細の実装方法といったプロセスが含まれます。最終製品がユーザーの期待に応えるためには、テストと品質保証も重要です。本書の目的は、計画、設計、実装、保守に至るまで、主要なシステム設計・開発技術をすべて網羅し、検討と評価を支援することです。読者は、大学では教えられない開発手法、新しい業界に参入する際に知っておくべき技術的側面、どのような状況に適した技術、そして業界の最新の開発動向、開発アドバイス、デバッグ、パフォーマンスチューニングの手法などについて学ぶことができます。標準、方法論
... En savoir plus
Recent Advances in the Message Passing Interface

32nd European MPI Users' Group Meeting, EuroMPI 2025, Charlotte, NC, USA, October 1–3, 2025, Proceedings

Modifié par Joseph Schuchart, Aurelien Bouteiller, Sascha Hunold, Julien Jaeger, Christoph Niethammer, Brian Smith ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 2025.The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. EuroMPI is the premier forum for users, developers, and researchers to exchange ideas on MPI and its applications. ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1–October 3, 2025.The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. EuroMPI is the premier forum for users, developers, and researchers to exchange ideas on MPI and its applications.
... En savoir plus

Liseuses

Applis

Accessoires

Panier

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

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Développement de logiciels

Afficher :