Rakuten Kobo

Verification and Evaluation of Computer and Communication Systems

13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Edited by Pierre Ganty, Mohamed Kaâniche ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019.The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.The aim of the VECoS conference is to bring together researchers ... Read more

$49.49 USD

This book constitutes the proceedings of the 13th International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019.The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.The aim of the VECoS conference is to bring together researchers
... Read more
Implementation and Application of Automata

22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Edited by Arnaud Carayol, Cyril Nicaud ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017.The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017.The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments;
... Read more
Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Edited by Mauricio Ayala-Rincón, César A. Muñoz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... Read more
Exploring SaaS, A Comprehensive Guide to Software as a Service

by Shanea Huske ...

Exploring SaaS: A Comprehensive Guide to Software as a Service" is a guide that covers various aspects of Software as a Service (SaaS) technology, including its definition, overview, advantages, popular applications, and challenges. The guide starts with an introduction to SaaS, which is a model of software delivery in which a software application is hosted by a third-party provider and made ... Read more

$2.99 USD

Exploring SaaS: A Comprehensive Guide to Software as a Service" is a guide that covers various aspects of Software as a Service (SaaS) technology, including its definition, overview, advantages, popular applications, and challenges. The guide starts with an introduction to SaaS, which is a model of software delivery in which a software application is hosted by a third-party provider and made
... Read more
Projektcontrolling mit SAP PS

by Renata Munzel, Martin Munzel ...

Sichern Sie das Erreichen Ihrer Projektziele und behalten Sie stets die volle Kontrolle über den Projektablauf: Mit diesem Buch lernen Sie, wie Sie das SAP Projektsystem (PS), richtig eingesetzt, im Controlling unterstützt. Von der Projektplanung über die -durchführung bis hin zum Periodenabschluss und Reporting werden die wichtigsten kaufmännischen Aspekte des Projektcontrollings an drei ... Read more

$20.99 USD

Sichern Sie das Erreichen Ihrer Projektziele und behalten Sie stets die volle Kontrolle über den Projektablauf: Mit diesem Buch lernen Sie, wie Sie das SAP Projektsystem (PS), richtig eingesetzt, im Controlling unterstützt. Von der Projektplanung über die -durchführung bis hin zum Periodenabschluss und Reporting werden die wichtigsten kaufmännischen Aspekte des Projektcontrollings an drei
... Read more
The Prompt Engineer's Playbook: How to Craft the Perfect Inputs for Maximum Results

by Evan Croft ...

Unlock the true power of artificial intelligence. Are you getting generic, uninspired, or confidently incorrect answers from AI? The problem isn't the technology; it's how you communicate with it.The Prompt Engineer's Playbook is your definitive guide to moving beyond simple questions and becoming a master conductor of these powerful new minds.This is not a theoretical textbook ; it's a hands-on ... Read more

$0.99 USD or Free with Kobo Plus

Unlock the true power of artificial intelligence. Are you getting generic, uninspired, or confidently incorrect answers from AI? The problem isn't the technology; it's how you communicate with it.The Prompt Engineer's Playbook is your definitive guide to moving beyond simple questions and becoming a master conductor of these powerful new minds.This is not a theoretical textbook ; it's a hands-on
... Read more
你用AI 寫的程式碼，安全嗎？

Vibe Coder 與非工程師的軟體品質風險管理入門

by AS studio ...

你是否也沉浸在 AI 寫程式的魔法中，一行指令就變出一個網站或自動化工具？但當興奮褪去，你是否曾深夜自問：「這段 AI 給我的程式碼，真的安全嗎？」歡迎認識你最得力的「AI 天才實習生」！它才華洋溢、效率驚人，卻也天真魯莽、毫無常識，在你看不見的角落埋下了資安、維護性與效能的「技術債」地雷。本書不是教你寫程式，而是第一本專為非工程師創作者設計的**「AI 實習生管理手冊」**。故事主角 Leo 將帶你走過所有 Vibe Coder 必踩的天坑，而他的工程師朋友 Jake，則會打開筆記本，用最生動的比喻，教你學會「看」懂程式碼的好壞模式。你將學會：辨識三大核心技術債，不再對風險一無所知。掌握「防禦性提問」，讓 AI 從一開始就產出高品質程式碼。學會用 AI 檢查 AI，親手為專案進行「安全健檢」。書中更附有可直接複製使用的「AI 開發安全帶提示詞模板庫」！從今天起，別再盲目許願。學會為你的 ... Read more

$10.99 USD or Free with Kobo Plus

你是否也沉浸在 AI 寫程式的魔法中，一行指令就變出一個網站或自動化工具？但當興奮褪去，你是否曾深夜自問：「這段 AI 給我的程式碼，真的安全嗎？」歡迎認識你最得力的「AI 天才實習生」！它才華洋溢、效率驚人，卻也天真魯莽、毫無常識，在你看不見的角落埋下了資安、維護性與效能的「技術債」地雷。本書不是教你寫程式，而是第一本專為非工程師創作者設計的**「AI 實習生管理手冊」**。故事主角 Leo 將帶你走過所有 Vibe Coder 必踩的天坑，而他的工程師朋友 Jake，則會打開筆記本，用最生動的比喻，教你學會「看」懂程式碼的好壞模式。你將學會：辨識三大核心技術債，不再對風險一無所知。掌握「防禦性提問」，讓 AI 從一開始就產出高品質程式碼。學會用 AI 檢查 AI，親手為專案進行「安全健檢」。書中更附有可直接複製使用的「AI 開發安全帶提示詞模板庫」！從今天起，別再盲目許願。學會為你的
... Read more
Project Development Simplified

Design of Experience with a Focus on Abstraction

by Fil A. Macias ...

Series series Business and Management (R0)
This book explains and outlines the use of hierarchical abstraction for project development. The author details the need for effective strategies for project development and provides a thorough explanation of hierarchical abstraction. The book instructs readers on how they may apply this method of organizing information or concepts into a layered structure in order to make ideas more manageable. ... Read more

$53.99 USD

This book explains and outlines the use of hierarchical abstraction for project development. The author details the need for effective strategies for project development and provides a thorough explanation of hierarchical abstraction. The book instructs readers on how they may apply this method of organizing information or concepts into a layered structure in order to make ideas more manageable.
... Read more
The TOGAF® Standard, 10th Edition - Business Architecture – 2025 Update

by The Open Group ...

#html-body [data-pb-style=EVJ64F9],#html-body [data-pb-style=LUL34GN]{justify-content:flex-start;display:flex;flex-direction:column;background-position:left top;background-size:cover;background-repeat:no-repeat;background-attachment:scroll}This document is a compilation of TOGAF Series Guides addressing Business Architecture. It has been developed and approved by The Open Group and is part of the ... Read more

$49.99 USD or Free with Kobo Plus

#html-body [data-pb-style=EVJ64F9],#html-body [data-pb-style=LUL34GN]{justify-content:flex-start;display:flex;flex-direction:column;background-position:left top;background-size:cover;background-repeat:no-repeat;background-attachment:scroll}This document is a compilation of TOGAF Series Guides addressing Business Architecture. It has been developed and approved by The Open Group and is part of the
... Read more
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

by Brian Henderson-Sellers ...

Series series Computer Science (R0)
Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms.Introducing set theory as a consistent ... Read more

$49.49 USD

Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms.Introducing set theory as a consistent
... Read more
Clinical Engineering

A Handbook for Clinical and Biomedical Engineers

Edited by Paul Ganney, David Long, Azzam Taktak ...

Clinical Engineering is intended for professionals and students in the clinical engineering field who need to successfully deploy medical technologies. The book provides a broad reference to the core elements of the subject and draws from the expertise of a range of experienced authors. In addition to engineering skills, clinical engineers must be able to work with patients and with a range of ... Read more

$112.49 USD

Clinical Engineering is intended for professionals and students in the clinical engineering field who need to successfully deploy medical technologies. The book provides a broad reference to the core elements of the subject and draws from the expertise of a range of experienced authors. In addition to engineering skills, clinical engineers must be able to work with patients and with a range of
... Read more
Soft City Culture and Technology

The Betaville Project

by Carl Skelton ...

Series series Engineering (R0)
Soft City Culture and Technology: The Betaville Project discusses the complete cycle of conception, development, and deployment of the Betaville platform.Betaville is a massively participatory online environment for distributed 3D design and development of proposals for changes to the built environment– an experimental integration of art, design, and software development for the public realm. ... Read more

$89.09 USD

Soft City Culture and Technology: The Betaville Project discusses the complete cycle of conception, development, and deployment of the Betaville platform.Betaville is a massively participatory online environment for distributed 3D design and development of proposals for changes to the built environment– an experimental integration of art, design, and software development for the public realm.
... Read more
Advanced Software Testing - Vol. 2, 2nd Edition

Guide to the ISTQB Advanced Certification as an Advanced Test Manager

by Rex Black ...

This book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control. Readers will learn how to define the overall testing goals and strategies for the systems being tested.This hands-on, exercise-rich book provides experience with planning, scheduling, and tracking these tasks. You'll be able to describe and ... Read more

$35.99 USD

This book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control. Readers will learn how to define the overall testing goals and strategies for the systems being tested.This hands-on, exercise-rich book provides experience with planning, scheduling, and tracking these tasks. You'll be able to describe and
... Read more
Rules and Reasoning

4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

Edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 7 full research papers presented together ... Read more

$49.49 USD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 7 full research papers presented together
... Read more
Informatics and Cybernetics in Intelligent Systems

Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3

Edited by Radek Silhavy ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the refereed proceedings of the informatics and cybernetics in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Modern cybernetics and computer engineering papers in the scope of intelligent systems are an essential part of actual research topics. In this book, a discussion of modern algorithms approaches ... Read more

$143.09 USD

This book constitutes the refereed proceedings of the informatics and cybernetics in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Modern cybernetics and computer engineering papers in the scope of intelligent systems are an essential part of actual research topics. In this book, a discussion of modern algorithms approaches
... Read more
Computational Science and Its Applications – ICCSA 2021

21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX

Edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre ...

Series Book 9 - Springer Nature Proceedings Computer Science
The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 – 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected ... Read more

$107.09 USD

The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 – 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected
... Read more
Wireless Algorithms, Systems, and Applications

16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I

Edited by Zhe Liu, Fan Wu, Sajal K. Das ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12937 - 12939 constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The following topics are ... Read more

$49.49 USD

The three-volume set LNCS 12937 - 12939 constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The following topics are
... Read more
Hands-On Automated Testing with Playwright

Create fast, reliable, and scalable tests for modern web apps with Microsoft's automation framework

by Faraz K. Kelhini, Butch Mayhew ...

Launch bulletproof web applications confidently by writing smarter, faster, and more reliable tests using Playwright with this comprehensive guide. Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesArchitect resilient test suites using Playwright's advanced APIsOptimize performance, parallelism, and debugging for complex appsIntegrate cross-browser testing ... Read more

$35.99 USD or Free with Kobo Plus

Launch bulletproof web applications confidently by writing smarter, faster, and more reliable tests using Playwright with this comprehensive guide. Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesArchitect resilient test suites using Playwright's advanced APIsOptimize performance, parallelism, and debugging for complex appsIntegrate cross-browser testing
... Read more
Software Development Metrics

by David Nicolette ...

SummarySoftware Development Metrics is a handbook for anyone who needs to track and guide software development and delivery at the team level, such as project managers and team leads. New development practices, including "agile" methodologies like Scrum, have redefined which measurements are most meaningful and under what conditions you can benefit from them. This practical book identifies key ... Read more

$49.99 USD

SummarySoftware Development Metrics is a handbook for anyone who needs to track and guide software development and delivery at the team level, such as project managers and team leads. New development practices, including "agile" methodologies like Scrum, have redefined which measurements are most meaningful and under what conditions you can benefit from them. This practical book identifies key
... Read more
Languages and Compilers for Parallel Computing

28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Edited by Xipeng Shen, Frank Mueller, James Tuck ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework, ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework,
... Read more
Créer un site web dynamique en PHP relié à une base de données MySQL

2. Interaction APPLICATION & BASE DE DONNÉES

by Wilo Ahadi ...

Series series Développement web
Bienvenue au second module « interaction APPLICATION & BASE DE DONNEES » du parcours du développeur web par le langage de programmation PHP.Nous allons répondre ici aux grandes questions suivantes : Comment se présente et fonctionne une base de données ? Comment créer une base de données ? Comment interroger une base de données par le langage SQL ? Comment faire communiquer une application PHP ... Read more

$11.64 USD

Bienvenue au second module « interaction APPLICATION & BASE DE DONNEES » du parcours du développeur web par le langage de programmation PHP.Nous allons répondre ici aux grandes questions suivantes : Comment se présente et fonctionne une base de données ? Comment créer une base de données ? Comment interroger une base de données par le langage SQL ? Comment faire communiquer une application PHP
... Read more
Grid Computing

Infrastructure, Service, and Applications

by Lizhe Wang, Wei Jie, Jinjun Chen ...

Identifies Recent Technological Developments WorldwideThe field of grid computing has made rapid progress in the past few years, evolving and developing in almost all areas, including concepts, philosophy, methodology, and usages. Grid Computing: Infrastructure, Service, and Applications reflects the recent advances in this field, covering the research aspects that involve infrastructure, ... Read more

$111.99 USD

Identifies Recent Technological Developments WorldwideThe field of grid computing has made rapid progress in the past few years, evolving and developing in almost all areas, including concepts, philosophy, methodology, and usages. Grid Computing: Infrastructure, Service, and Applications reflects the recent advances in this field, covering the research aspects that involve infrastructure,
... Read more
Testmanagement in der Praxis

by Oliver Droste, Christina Merz ...

Dieses Praxisbuch soll ein Handwerkszeug für Testmanager von Software-Implementierungsprojekten sein. Es richtet sich zudem an Projektleiter und alle, die sich mit dem Thema Testmanagement auseinandersetzen wollen oder müssen.Die Autoren haben oft festgestellt, dass in Projekten viele Vorgaben zum Testmanagement existieren, die praxisfern sind und zudem nur mit viel bürokratischem Aufwand ... Read more

$44.99 USD

Dieses Praxisbuch soll ein Handwerkszeug für Testmanager von Software-Implementierungsprojekten sein. Es richtet sich zudem an Projektleiter und alle, die sich mit dem Thema Testmanagement auseinandersetzen wollen oder müssen.Die Autoren haben oft festgestellt, dass in Projekten viele Vorgaben zum Testmanagement existieren, die praxisfern sind und zudem nur mit viel bürokratischem Aufwand
... Read more
Kanban für Anfänger: Grundlegendes über den Einsatz von Kanban in der Industrie und der Softwareentwicklung

by Franz Millweber ...

Kanban für Anfänger: Grundlegendes über den Einsatz von Kanban in der Industrie und der SoftwareentwicklungWie Kanban in der Praxis funktioniertKennst Du bereits die Vorteile von Kanban?Fragst Du Dich, wie Du Unternehmensprozesse effizienter und effektiver gestalten kann?"Sowohl in der industriellen Fertigung als auch in der Softwareentwicklung sind die Produktionszyklen immer kürzer, di... ... Read more

$2.99 USD or Free with Kobo Plus

Kanban für Anfänger: Grundlegendes über den Einsatz von Kanban in der Industrie und der SoftwareentwicklungWie Kanban in der Praxis funktioniertKennst Du bereits die Vorteile von Kanban?Fragst Du Dich, wie Du Unternehmensprozesse effizienter und effektiver gestalten kann?"Sowohl in der industriellen Fertigung als auch in der Softwareentwicklung sind die Produktionszyklen immer kürzer, di...
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Software Development eBooks

Show: