Rakuten Kobo

Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Edición de Simone Cavalheiro, José Fiadeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model
... Leer más
High-Performance Scientific Computing

First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers

Edición de Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the First JARA High-Performance Computing Symposium, JARA-HPC 2016, held in Aachen, Germany, in October 2016.The 21 full papers presented were carefully reviewed and selected from 26 submissions. They cover many diverse topics, such as coupling methods and strategies in Computational Fluid Dynamics (CFD), performance ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the First JARA High-Performance Computing Symposium, JARA-HPC 2016, held in Aachen, Germany, in October 2016.The 21 full papers presented were carefully reviewed and selected from 26 submissions. They cover many diverse topics, such as coupling methods and strategies in Computational Fluid Dynamics (CFD), performance
... Leer más
Intelligent Robotics and Applications

17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part VI

Edición de Xuguang Lan, Xuesong Mei, Caigui Jiang, Fei Zhao, Zhiqiang Tian ...

Series Libro 6 - Springer Nature Proceedings Computer Science
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi’an, China, during July 31–August 2, 2024.The 321 full papers included in these proceedings were carefully reviewed and selected from 489 submissions.They were organized in topical sections as follows:Part I: Innovative ... Leer más

$143.99 USD

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi’an, China, during July 31–August 2, 2024.The 321 full papers included in these proceedings were carefully reviewed and selected from 489 submissions.They were organized in topical sections as follows:Part I: Innovative
... Leer más
Coping with IS/IT Risk Management

The Recipes of Experienced Project Managers

de Tony Moynihan ...

Series series Computer Science (R0)
An interesting and useful book giving direct advice from experienced IT project managers. ... Leer más

$49.99 USD

An interesting and useful book giving direct advice from experienced IT project managers.
... Leer más
Adding Ajax

Making Existing Sites More Interactive

de Shelley Powers ...

Ajax can bring many advantages to an existing web application without forcing you to redo the whole thing. This book explains how you can add Ajax to enhance, rather than replace, the way your application works. For instance, if you have a traditional web application based on submitting a form to update a table, you can enhance it by adding the capability to update the table with changes to the ... Leer más

$20.99 USD

Ajax can bring many advantages to an existing web application without forcing you to redo the whole thing. This book explains how you can add Ajax to enhance, rather than replace, the way your application works. For instance, if you have a traditional web application based on submitting a form to update a table, you can enhance it by adding the capability to update the table with changes to the
... Leer más
Agile-SOFL

Agile Formal Engineering Method

de Shaoying Liu ...

Series series Computer Science (R0)
This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that formal engineering methods and agile approaches are complementary in ensuring high productivity while enhancing reliability. Agile-SOFL offers a highly practical and systematic method that strikes a ... Leer más

$179.99 USD

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that formal engineering methods and agile approaches are complementary in ensuring high productivity while enhancing reliability. Agile-SOFL offers a highly practical and systematic method that strikes a
... Leer más
Software Reuse: Bridging with Social-Awareness

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

Edición de Eduardo Santana de Almeida, Georgia M. Kapitsaki ...

Series series 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 ... Leer más

$49.99 USD

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
... Leer más
Software ERP - Análisis y Consultoría de Software Empresarial

de Roberto Núñez ...

El mundo actual se encuentra bajo constante cambio, de grandes avances y descubrimientos, apalancado principalmente por la globalización y por las nuevas tecnologías, acarreando una fuerte competitividad, que ha forzado las personas y organizaciones a asumir nuevos caminos ante tales innovaciones.Uno de los cambios más importantes y significativos para las organizaciones fue la transición de una ... Leer más

$4.95 USD o gratis con Kobo Plus

El mundo actual se encuentra bajo constante cambio, de grandes avances y descubrimientos, apalancado principalmente por la globalización y por las nuevas tecnologías, acarreando una fuerte competitividad, que ha forzado las personas y organizaciones a asumir nuevos caminos ante tales innovaciones.Uno de los cambios más importantes y significativos para las organizaciones fue la transición de una
... Leer más
Software Quality and Software Testing in Internet Times

Edición de Dirk Meyerhoff, Begona Laibarra, Rob van der Pouw Kraan, Alan Wallet ...

Series series Computer Science (R0)
Software quality and software testing have for decades been decisive topics in software development. However their potential and their influence on the economical side of software development and operations has been understood more clearly only in the last years. This is illustrated by the increasing number of books such as this one and conferences such as SQM(Software Quality Management Congress) ... Leer más

$49.99 USD

Software quality and software testing have for decades been decisive topics in software development. However their potential and their influence on the economical side of software development and operations has been understood more clearly only in the last years. This is illustrated by the increasing number of books such as this one and conferences such as SQM(Software Quality Management Congress)
... Leer más
Theoretical Aspects of Computing – ICTAC 2018

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

Edición de Bernd Fischer, Tarmo Uustalu ...

Series series 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 ... Leer más

$80.99 USD

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
... Leer más
PHP grafica dinamica, funzioni e figure

de Antonio Taccetti ...

GD è una libreria di codice open source per la creazione dinamica di immagini.Scritta in C, il suo uso è disponibile con vari linguaggi di programmazione fra i quali PHP dove normalmente è attiva per default.GD crea immagini nei formati grafici PNG, JPEG e GIF e molti altri.Comunemente utilizzata in siti web per generare e modificare immagini runtime, il suo impiego è molto più ampio e variegato ... Leer más

$5.99 USD o gratis con Kobo Plus

GD è una libreria di codice open source per la creazione dinamica di immagini.Scritta in C, il suo uso è disponibile con vari linguaggi di programmazione fra i quali PHP dove normalmente è attiva per default.GD crea immagini nei formati grafici PNG, JPEG e GIF e molti altri.Comunemente utilizzata in siti web per generare e modificare immagini runtime, il suo impiego è molto più ampio e variegato
... Leer más
ActionScript Developer's Guide to Robotlegs

Building Flexible Rich Internet Applications

de Joel Hooks, Stray (Lindsey Fallow) ...

Robotlegs is a standout among the ActionScript 3 development frameworks available today. With it, Flash, Flex, and AIR developers can create well-architected, testable, and flexible Rich Internet Applications—fast. This concise guide shows you how the light footprint and focused scope of this open source framework not only solves your immediate coding problems, it helps you gain insight into AS3 ... Leer más

$10.99 USD

Robotlegs is a standout among the ActionScript 3 development frameworks available today. With it, Flash, Flex, and AIR developers can create well-architected, testable, and flexible Rich Internet Applications—fast. This concise guide shows you how the light footprint and focused scope of this open source framework not only solves your immediate coding problems, it helps you gain insight into AS3
... Leer más
Building AI Apps with Flowise

Visual, No-Code LLM and Agent Workflows

de Marlo Quint ...

"Building AI Apps with Flowise: Visual, No-Code LLM and Agent Workflows"AI application development is no longer limited to traditional software teams, but building reliable systems still demands architectural judgment, operational discipline, and a deep understanding of how modern LLM workflows behave in practice. This book is written for experienced builders, technical product leaders, solution ... Leer más

$6.99 USD o gratis con Kobo Plus

"Building AI Apps with Flowise: Visual, No-Code LLM and Agent Workflows"AI application development is no longer limited to traditional software teams, but building reliable systems still demands architectural judgment, operational discipline, and a deep understanding of how modern LLM workflows behave in practice. This book is written for experienced builders, technical product leaders, solution
... Leer más
Artificial Intelligence Applications and Innovations. AIAI 2023 IFIP WG 12.5 International Workshops

MHDW 2023, 5G-PINE 2023, ΑΙBMG 2023, and VAA-CP-EB 2023, León, Spain, June 14–17, 2023, Proceedings

Edición de Ilias Maglogiannis, Lazaros Iliadis, Antonios Papaleonidas, Ioannis Chochliouros ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of four International Workshops, held as parallel events of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14–17, 2023: the 12th Workshop on Mining Humanistic Data (MHDW 2023); the 8th Workshop on “5G–Putting Intelligence to the Network Edge (5G-PINE ... Leer más

$116.99 USD

This book constitutes the refereed proceedings of four International Workshops, held as parallel events of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14–17, 2023: the 12th Workshop on Mining Humanistic Data (MHDW 2023); the 8th Workshop on “5G–Putting Intelligence to the Network Edge (5G-PINE
... Leer más
Modern Python Workflows with uv

Lightning-Fast Packaging, Dependency, and Project Management

de Caelan Wexford ...

"Modern Python Workflows with uv: Lightning-Fast Packaging, Dependency, and Project Management"Python packaging and environment management have long been powerful but fragmented. This book is for experienced Python developers, platform engineers, and technical leads who want a sharper, faster, and more coherent workflow built around uv. Rather than treating uv as a simple performance upgrade, it ... Leer más

$6.99 USD o gratis con Kobo Plus

"Modern Python Workflows with uv: Lightning-Fast Packaging, Dependency, and Project Management"Python packaging and environment management have long been powerful but fragmented. This book is for experienced Python developers, platform engineers, and technical leads who want a sharper, faster, and more coherent workflow built around uv. Rather than treating uv as a simple performance upgrade, it
... Leer más
Building Mobile Apps with FlutterFlow

Visual, AI-Assisted App Development

de Marlo Quint ...

"Building Mobile Apps with FlutterFlow: Visual, AI-Assisted App Development"For experienced builders, product teams, and technically fluent no-code practitioners, this book offers a serious, production-minded guide to FlutterFlow. Rather than treating visual development as a beginner shortcut, it presents FlutterFlow as a full product engineering system for designing interfaces, modeling logic, ... Leer más

$6.99 USD o gratis con Kobo Plus

"Building Mobile Apps with FlutterFlow: Visual, AI-Assisted App Development"For experienced builders, product teams, and technically fluent no-code practitioners, this book offers a serious, production-minded guide to FlutterFlow. Rather than treating visual development as a beginner shortcut, it presents FlutterFlow as a full product engineering system for designing interfaces, modeling logic,
... Leer más
Building Software with Replit Agent

Describe, Build, and Deploy Apps with AI

de Marlo Quint ...

"Building Software with Replit Agent: Describe, Build, and Deploy Apps with AI"Software creation is shifting from code-first execution to intent-driven production, and Replit Agent sits at the center of that change. This book is written for experienced builders, technical operators, product leaders, and advanced no-code practitioners who want to use AI to create real applications—not just ... Leer más

$6.99 USD o gratis con Kobo Plus

"Building Software with Replit Agent: Describe, Build, and Deploy Apps with AI"Software creation is shifting from code-first execution to intent-driven production, and Replit Agent sits at the center of that change. This book is written for experienced builders, technical operators, product leaders, and advanced no-code practitioners who want to use AI to create real applications—not just
... Leer más
中文版Photoshop CC完全自学教程

de 凤凰高新教育 ...

本书系统讲述Photoshop软件的Photoshop完全自学教程、Photoshop视频教程。主要讲述了Photoshop入门必备知识和PS抠图、修图、调色、合成、特效等核心技术，以及PS平面设计、淘宝美工、数码照片处理、网页设计、UI设计、手绘插画、服装设计、室内设计、建筑设计、园林景观设计、创意设计所必备的PS知识。 ... Leer más

$28.99 USD

本书系统讲述Photoshop软件的Photoshop完全自学教程、Photoshop视频教程。主要讲述了Photoshop入门必备知识和PS抠图、修图、调色、合成、特效等核心技术，以及PS平面设计、淘宝美工、数码照片处理、网页设计、UI设计、手绘插画、服装设计、室内设计、建筑设计、园林景观设计、创意设计所必备的PS知识。
... Leer más
Learning Firefox OS Application Development

Learn to design, build, and deploy your Firefox OS applications, built with web technologies, to the Firefox Marketplace

de Tanay Pant ...

Learn to design, build, and deploy your Firefox OS applications, built with web technologies, to the Firefox Marketplace.Key FeaturesCreate beautiful and interactive Firefox OS applications by applying your knowledge of web developmentCater your applications to a huge number of users by porting them to the Firefox OSA step-by-step learning workflow with real-life applications to demonstrate the ... Leer más

$25.99 USD o gratis con Kobo Plus

Learn to design, build, and deploy your Firefox OS applications, built with web technologies, to the Firefox Marketplace.Key FeaturesCreate beautiful and interactive Firefox OS applications by applying your knowledge of web developmentCater your applications to a huge number of users by porting them to the Firefox OSA step-by-step learning workflow with real-life applications to demonstrate the
... Leer más
Human-Centered and Error-Resilient Systems Development

IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31,

Edición de Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis ...

Series Libro 9856 - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, held in Stockholm, Sweden, in August 2016.The 11 full papers and 14 short papers presented were carefully reviewed and selected ... Leer más

$97.99 USD

This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, held in Stockholm, Sweden, in August 2016.The 11 full papers and 14 short papers presented were carefully reviewed and selected
... Leer más
Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Edición de Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines,
... Leer más
Implementation and Application of Automata

24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Edición de Michal Hospodár, Galina Jirásková ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Implementation and Application of Automata, CIAA 2019, held in Kosice, Slovakia, in July 2019.The 17 regular papers presented together with 2 invited papers in this book were carefully reviewed and selected from 29 initial submissions. The topics of the papers include complexity of languages and language operations, ... Leer más

$49.99 USD

This book constitutes the proceedings of the 24th International Conference on Implementation and Application of Automata, CIAA 2019, held in Kosice, Slovakia, in July 2019.The 17 regular papers presented together with 2 invited papers in this book were carefully reviewed and selected from 29 initial submissions. The topics of the papers include complexity of languages and language operations,
... Leer más
Preservation of the Integrity of Electronic Records

de L. Duranti, T. Eastwood, H. MacNeil ...

Series series Literature, Cultural and Media Studies (R0)
By Terry Eastwood This book reports the findings of a research project on the means of protecting the integrity of active and semi-active electronic records. The project, which is commonly referred to as "the UBC Project," was conceived by two of the authors of this book, Luciana Duranti and Terry Eastwood, and conducted between 1994 and 1997. The third author, Heather MacNeil, who worked formally ... Leer más

$89.99 USD

By Terry Eastwood This book reports the findings of a research project on the means of protecting the integrity of active and semi-active electronic records. The project, which is commonly referred to as "the UBC Project," was conceived by two of the authors of this book, Luciana Duranti and Terry Eastwood, and conducted between 1994 and 1997. The third author, Heather MacNeil, who worked formally
... Leer más
Job Scheduling Strategies for Parallel Processing

21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

Edición de Dalibor Klusáček, Walfredo Cirne, Narayan Desai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2017, held in Orlando, FL, USA, in June 2017.The 10 revised full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers cover topics in the fields of design and evaluation of new ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2017, held in Orlando, FL, USA, in June 2017.The 10 revised full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers cover topics in the fields of design and evaluation of new
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Desarrollo de software

Mostrar: