Rakuten Kobo

Model-Driven Engineering and Software Development

11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers

Edited by Francisco José Domínguez Mayo, Luís Ferreira Pires, Edwin Seidewitz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023.The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows: ... Read more

$116.99 USD

This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023.The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows:
... Read more
Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Edited by Radu Calinescu, Bernhard Rumpe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal
... Read more
ICT Education

48th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2019, Northern Drakensberg, South Africa, July 15–17, 2019, Revised Selected Papers

Edited by Bobby Tait, Jan Kroeze, Stefan Gruner ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 48th Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2019, held in Northern Drakensberg, South Africa, in July 2019.The 16 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are organized in following topical sections: computer programming ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 48th Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2019, held in Northern Drakensberg, South Africa, in July 2019.The 16 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are organized in following topical sections: computer programming
... Read more
Continuous Software Engineering

Edited by Jan Bosch ...

Series series Computer Science (R0)
This book provides essential insights on the adoption of modern software engineering practices at large companies producing software-intensive systems, where hundreds or even thousands of engineers collaborate to deliver on new systems and new versions of already deployed ones. It is based on the findings collected and lessons learned at the Software Center (SC), a unique collaboration between ... Read more

$49.99 USD

This book provides essential insights on the adoption of modern software engineering practices at large companies producing software-intensive systems, where hundreds or even thousands of engineers collaborate to deliver on new systems and new versions of already deployed ones. It is based on the findings collected and lessons learned at the Software Center (SC), a unique collaboration between
... Read more
String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

$62.99 USD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Read more
Design, User Experience, and Usability: Design Thinking and Methods

5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I

Edited by Aaron Marcus ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 ... Read more

$49.99 USD

The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016
... Read more
Quality Assurance in Logistics

by Vansh Tailor ...

In a world driven by ever-evolving consumer demands and fierce market competition, the concept of quality stands as a cornerstone of success for businesses across industries. Quality is not merely a buzzword; it's a fundamental principle that encompasses the essence of excellence, reliability, and customer satisfaction. From the products we use daily to the services we rely on, quality permeates ... Read more

$2.99 USD or Free with Kobo Plus

In a world driven by ever-evolving consumer demands and fierce market competition, the concept of quality stands as a cornerstone of success for businesses across industries. Quality is not merely a buzzword; it's a fundamental principle that encompasses the essence of excellence, reliability, and customer satisfaction. From the products we use daily to the services we rely on, quality permeates
... Read more
Transactions on Pattern Languages of Programming IV

Edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford ...

Series series Computer Science (R0)
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The primary focus of this LNCS Transactions subline is on patterns, pattern collections, and pattern ... Read more

$49.99 USD

The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The primary focus of this LNCS Transactions subline is on patterns, pattern collections, and pattern
... Read more
Java Cryptography

by Jonathan Knudsen ...

Cryptography, the science of secret writing, is the biggest, baddest security tool in the application programmer's arsenal. Cryptography provides three services that are crucial in secure programming. These include a cryptographic cipher that protects the secrecy of your data; cryptographic certificates, which prove identity (authentication); and digital signatures, which ensure your data has not ... Read more

$25.99 USD

Cryptography, the science of secret writing, is the biggest, baddest security tool in the application programmer's arsenal. Cryptography provides three services that are crucial in secure programming. These include a cryptographic cipher that protects the secrecy of your data; cryptographic certificates, which prove identity (authentication); and digital signatures, which ensure your data has not
... Read more
AI Electric Core

Strategic Crypto

by Julien Coallier ...

Series series Programs Conceptual
Warning, Conceptual, *intended for institutional transformation/applicationOverall, a proposed upgrading of the electricity system standard to include AI, integrate automated manual easements, enable a crypto embodiment as fully mapped program solution, and overall enable an upgrade to help stabilize the grid or better understand usage trends.*Crypto as applicable to completed, scheduled systems, ... Read more

$8.73 USD or Free with Kobo Plus

Warning, Conceptual, *intended for institutional transformation/applicationOverall, a proposed upgrading of the electricity system standard to include AI, integrate automated manual easements, enable a crypto embodiment as fully mapped program solution, and overall enable an upgrade to help stabilize the grid or better understand usage trends.*Crypto as applicable to completed, scheduled systems,
... Read more
Structured Object-Oriented Formal Language and Method

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Edited by Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model ... Read more

$49.99 USD

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model
... Read more
Ruby on Rails for Agile Web Development

A Hands-on Guide to Building Dynamic and Efficient Web Applications (English Edition)

by SAJJAD UMAR ...

Master the Art of Agile Development with Ruby on RailsKey Features● Master Ruby on Rails with practical guidance on Scrum and Kanban.● Build high-performance, efficient web applications with best practices.● Advance your web development skills and unlock new career opportunities.● Test your knowledge with chapter-end quizzes to reinforce learning.Book DescriptionDiscover the power of Ruby ... ... Read more

$29.95 USD or Free with Kobo Plus

Master the Art of Agile Development with Ruby on RailsKey Features● Master Ruby on Rails with practical guidance on Scrum and Kanban.● Build high-performance, efficient web applications with best practices.● Advance your web development skills and unlock new career opportunities.● Test your knowledge with chapter-end quizzes to reinforce learning.Book DescriptionDiscover the power of Ruby ...
... Read more
Beginning HTML5 Media

Make the most of the new video and audio standards for the Web

by Silvia Pfeiffer, Tom Green ...

Series series Professional and Applied Computing (R0)
Beginning HTML5 Media, Second Edition is a comprehensive introduction to HTML5 video and audio. The HTML5 video standard enables browsers to support audio and video elements natively. This makes it very easy for web developers to publish audio and video, integrating both within the general presentation of web pages. For example, media elements can be styled using CSS (style sheets), viewed on a ... Read more

$40.99 USD

Beginning HTML5 Media, Second Edition is a comprehensive introduction to HTML5 video and audio. The HTML5 video standard enables browsers to support audio and video elements natively. This makes it very easy for web developers to publish audio and video, integrating both within the general presentation of web pages. For example, media elements can be styled using CSS (style sheets), viewed on a
... Read more
TextMate How-To

Over 20 fast and furious timesaving recipes for using TextMate efficiently and effectively with this book and ebook.

by Christopher J Mears ...

Over 20 fast and furious timesaving recipes for using TextMate efficiently and effectively with this book and ebook.Key FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate results.Hit the ground running using the powerfully versatile text and code editor ó TextMate from MacromatesAttention on keyboard shortcuts and multiple routes to actions to satisfy ... Read more

$18.99 USD or Free with Kobo Plus

Over 20 fast and furious timesaving recipes for using TextMate efficiently and effectively with this book and ebook.Key FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate results.Hit the ground running using the powerfully versatile text and code editor ó TextMate from MacromatesAttention on keyboard shortcuts and multiple routes to actions to satisfy
... 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
RAG & LangChain

A Practical Guide to AI Development

by JAMES MARLOW ...

RAG & LangChain: A Practical Guide to AI DevelopmentAbout the ConceptThis comprehensive guide introduces you to the revolutionary world of Retrieval-Augmented Generation (RAG) and LangChain, empowering you to build intelligent language models and applications. Discover how these powerful tools can revolutionize your projects, from chatbots and virtual assistants to content generation and data ... Read more

$8.00 USD or Free with Kobo Plus

RAG & LangChain: A Practical Guide to AI DevelopmentAbout the ConceptThis comprehensive guide introduces you to the revolutionary world of Retrieval-Augmented Generation (RAG) and LangChain, empowering you to build intelligent language models and applications. Discover how these powerful tools can revolutionize your projects, from chatbots and virtual assistants to content generation and data
... Read more
Programming Languages and Systems

25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Edited by Peter Thiemann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the ... Read more

$49.99 USD

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the
... Read more
Learn Programming with C

An Easy Step-by-Step Self-Practice Book for Learning C

by Sazzad M.S. Imran, Md Atiqur Rahman Ahad ...

Authored by two standout professors in the field of Computer Science and Technology with extensive experience in instructing, Learn Programming with C*: An Easy Step-by Step Self-Practice Book for Learning C* is a comprehensive and accessible guide to programming with one of the most popular languages.Meticulously illustrated with figures and examples, this book is a comprehensive guide to writing ... Read more

$88.99 USD

Authored by two standout professors in the field of Computer Science and Technology with extensive experience in instructing, Learn Programming with C*: An Easy Step-by Step Self-Practice Book for Learning C* is a comprehensive and accessible guide to programming with one of the most popular languages.Meticulously illustrated with figures and examples, this book is a comprehensive guide to writing
... Read more
Google Chat For Beginners: The Comprehensive Guide To Understanding And Mastering Google Chat For Communication, Exchange, And Collaboration Between Businesses And People

by Voltaire Lumiere ...

Google Chat For Beginners: The Comprehensive Guide To Understanding And Mastering Google Chat For Communication, Exchange, And Collaboration Between Businesses And PeopleGoogle created Google Chat as a communication tool. It was first created for groups and professional settings, but it is now accessible to the general public.In addition to chatting, users can create and assign tasks, share files ... Read more

$9.99 USD or Free with Kobo Plus

Google Chat For Beginners: The Comprehensive Guide To Understanding And Mastering Google Chat For Communication, Exchange, And Collaboration Between Businesses And PeopleGoogle created Google Chat as a communication tool. It was first created for groups and professional settings, but it is now accessible to the general public.In addition to chatting, users can create and assign tasks, share files
... Read more
Enterprise, Business-Process and Information Systems Modeling

20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings

Edited by Iris Reinhartz-Berger, Jelena Zdravkovic, Jens Gulden, Rainer Schmidt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of two events held at the CAiSE conference and relating to the areas of enterprise, business process and information systems modeling:The 20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019, and the 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019. The ... Read more

$49.99 USD

This book constitutes the proceedings of two events held at the CAiSE conference and relating to the areas of enterprise, business process and information systems modeling:The 20th International Conference on Business Process Modeling, Development and Support, BPMDS 2019, and the 24th International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2019. The
... Read more
RESTful Web Clients

Enabling Reuse Through Hypermedia

by Mike Amundsen ...

Powerful web-based REST and hypermedia-style APIs are becoming more common every day, but instead of applying the same techniques and patterns to hypermedia clients, many developers rely on custom client code. With this practical guide, you’ll learn how to move from one-off implementations to general-purpose client apps that are stable, flexible, and reusable.Author Mike Amundsen provides ... Read more

$30.99 USD

Powerful web-based REST and hypermedia-style APIs are becoming more common every day, but instead of applying the same techniques and patterns to hypermedia clients, many developers rely on custom client code. With this practical guide, you’ll learn how to move from one-off implementations to general-purpose client apps that are stable, flexible, and reusable.Author Mike Amundsen provides
... Read more
The Art of Scrum

How Scrum Masters Bind Dev Teams and Unleash Agility

by Dave McKenna ...

Series series Business and Management (R0)
Learn the nuts and bolts of scrum—its framework, roles, team structures, ceremonies, and artifacts—from the scrum master’s perspective.The Art of Scrum details the scum master’s responsibilities and core functions in planning and facilitating the ceremonies and artifacts of a scrum team: sprint planning, sprint execution, backlog refinement, daily standups, sprint reviews, and sprint ... Read more

$58.99 USD

Learn the nuts and bolts of scrum—its framework, roles, team structures, ceremonies, and artifacts—from the scrum master’s perspective.The Art of Scrum details the scum master’s responsibilities and core functions in planning and facilitating the ceremonies and artifacts of a scrum team: sprint planning, sprint execution, backlog refinement, daily standups, sprint reviews, and sprint
... Read more
Computational Science and Its Applications – ICCSA 2018

18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III

Edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu ...

Series Book 3 - Springer Nature Proceedings Computer Science
The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018.Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to ... Read more

$49.99 USD

The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018.Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to
... Read more
Make Mobile App In A Day

by Amit Kumar ...

Lets make an app which will run on iOS and android OS at the same time. We will learn to program a mobile app once and can deploy on Apple iStore or Google Play. We will get the taste of best of both the worlds. So lets get started with building our first app.Let' s make an app in a day. Are you ready and excited to focus your day through completing your first app in a day. We are going to publish ... Read more

$4.99 USD or Free with Kobo Plus

Lets make an app which will run on iOS and android OS at the same time. We will learn to program a mobile app once and can deploy on Apple iStore or Google Play. We will get the taste of best of both the worlds. So lets get started with building our first app.Let' s make an app in a day. Are you ready and excited to focus your day through completing your first app in a day. We are going to publish
... 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: