Rakuten Kobo

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Edited by Brijesh Dongol, Luigia Petre, Graeme Smith ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures;
... Read more
Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Edited by Alexander K. Petrenko, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and
... Read more
Frontier Computing

Theory, Technologies and Applications

Edited by Kuan-Ching Li, Jason C Hung, Neil Y. Yen ...

Series series Springer Nature Proceedings Computer Science
This volume contains the proceedings of the 4th International Conference on Frontier Computing (FC 2015), Bangkok, Thailand, September 9-11, 2015, and brings together state-of-the-art results covering many aspects of emerging computer science and information technology from international academic and industrial researchers. FC 2015 aimed at providing an open forum to reach a comprehensive ... Read more

$188.09 USD

This volume contains the proceedings of the 4th International Conference on Frontier Computing (FC 2015), Bangkok, Thailand, September 9-11, 2015, and brings together state-of-the-art results covering many aspects of emerging computer science and information technology from international academic and industrial researchers. FC 2015 aimed at providing an open forum to reach a comprehensive
... Read more
Cryptology and Network Security

16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

Edited by Srdjan Capkun, Sherman S. M. Chow ...

Series series Springer Nature Proceedings Computer Science
This book contains revised versions of all the papers presented at the 16th International Conference on Cryptology and Network Security, CANS 2017, held in Hong Kong, China, in November/ December 2017.The 20 full papers presented together with 8 short papers were carefully reviewed and selected from 88 submissions. The full papers are organized in the following topical sections: foundation of ... Read more

$49.49 USD

This book contains revised versions of all the papers presented at the 16th International Conference on Cryptology and Network Security, CANS 2017, held in Hong Kong, China, in November/ December 2017.The 20 full papers presented together with 8 short papers were carefully reviewed and selected from 88 submissions. The full papers are organized in the following topical sections: foundation of
... Read more
Introduction to the Team Software Process(sm)

by Watts S. Humphrey ...

Watts Humphrey is the visionary behind the Capability Maturity Model (CMM)(R) and the Personal Software Process (PSP) (sm). The CMM contains a framework for software process improvement at the organizational level. The PSP builds the self-discipline needed for individual programmers to work efficiently and effectively. The author's new Team Software Process (TSP) (sm) details methods to guide the ... Read more

$57.59 USD

Watts Humphrey is the visionary behind the Capability Maturity Model (CMM)(R) and the Personal Software Process (PSP) (sm). The CMM contains a framework for software process improvement at the organizational level. The PSP builds the self-discipline needed for individual programmers to work efficiently and effectively. The author's new Team Software Process (TSP) (sm) details methods to guide the
... Read more
Internet of Things (IoT) Technologies for HealthCare

4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Edited by Mobyen Uddin Ahmed, Shahina Begum, Jean-Baptiste Fasquel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Fourth International Conference on Internet of Things (IoT) Technologies for HealthCare, HealthyIoT 2017, held in Angers, France, in October 2017. The IoT as a set of existing and emerging technologies, notions and services can provide many solutions to delivery of electronic healthcare, patient care, and medical data management. The 17 revised full ... Read more

$53.99 USD

This book constitutes the proceedings of the Fourth International Conference on Internet of Things (IoT) Technologies for HealthCare, HealthyIoT 2017, held in Angers, France, in October 2017. The IoT as a set of existing and emerging technologies, notions and services can provide many solutions to delivery of electronic healthcare, patient care, and medical data management. The 17 revised full
... Read more
Advancing Innovation through AI and Machine Learning Algorithms

Edited by Udara Yedukondalu, V Vijayasri Bolisetty ...

The International Conference on Microstructure, VLSI, Robotics, Communication, Electrical & Emerging Technologies using AI-ML Algorithms (ICMVRCET - 2025) is an essential gathering for those at the forefront of research and development in the fields of Microstructure Design, VLSI systems, Robotics, Communication technologies, and Emerging Electrical systems. This conference seeks to bridge the gap ... Read more

$73.99 USD

The International Conference on Microstructure, VLSI, Robotics, Communication, Electrical & Emerging Technologies using AI-ML Algorithms (ICMVRCET - 2025) is an essential gathering for those at the forefront of research and development in the fields of Microstructure Design, VLSI systems, Robotics, Communication technologies, and Emerging Electrical systems. This conference seeks to bridge the gap
... Read more
Innenaufträge in SAP S/4HANA - Customizing

by Christian Sterlepper, Martin Munzel ...

Sie stehen im Controlling vor einer speziellen Herausforderung? Vielleicht geht es darum, einen Messeauftritt, ein einzelnes Forschungsprojekt der Entwicklungsabteilung oder eine einmalige Umstrukturierungsmaßnahme im Unternehmen sinnvoll abzubilden. Die übliche Berechnung nach Kostenstellen hilft hier nicht weiter. Für solche Fälle hält SAP den sogenannten Innenauftrag bereit. Mit seiner Hilfe ... Read more

$19.99 USD

Sie stehen im Controlling vor einer speziellen Herausforderung? Vielleicht geht es darum, einen Messeauftritt, ein einzelnes Forschungsprojekt der Entwicklungsabteilung oder eine einmalige Umstrukturierungsmaßnahme im Unternehmen sinnvoll abzubilden. Die übliche Berechnung nach Kostenstellen hilft hier nicht weiter. Für solche Fälle hält SAP den sogenannten Innenauftrag bereit. Mit seiner Hilfe
... Read more
Usability Engineering kompakt

Benutzbare Produkte gezielt entwickeln

by Markus D. Flückiger, Michael Richter ...

Series series Computer Science and Engineering (German Language)
Usability Engineering spielt überall dort eine Rolle, wo Benutzer mit technischen Systemen zu tun haben. Welche Faktoren bestimmen, ob wir mit einem Produkt sehr einfach, nur schwer oder gar nicht zum Ziel kommen?Welche Möglichkeiten bieten sich, diese Faktoren in der Entwicklung systematisch in den Griff zu bekommen? Dieses Buch vermittelt einen leicht verständlichen Einstieg in die Praxis und ... Read more

$14.29 USD

Usability Engineering spielt überall dort eine Rolle, wo Benutzer mit technischen Systemen zu tun haben. Welche Faktoren bestimmen, ob wir mit einem Produkt sehr einfach, nur schwer oder gar nicht zum Ziel kommen?Welche Möglichkeiten bieten sich, diese Faktoren in der Entwicklung systematisch in den Griff zu bekommen? Dieses Buch vermittelt einen leicht verständlichen Einstieg in die Praxis und
... Read more
Applied .NET Attributes

by Jason Bock, Tom Barnaby ...

Series series Professional and Applied Computing (R0)
Attributes are used to modify the runtime behavior of code in the .NET Framework. Applied .NET Attributes explores the application of .NET attributes and how developers can write custom attributes that provide the maximum level of code reuse and flexibility.Attributed programming is a feature of .NET that is still relatively unexplored and unknown. Because attributes are used to modify the runtime ... Read more

$31.49 USD

Attributes are used to modify the runtime behavior of code in the .NET Framework. Applied .NET Attributes explores the application of .NET attributes and how developers can write custom attributes that provide the maximum level of code reuse and flexibility.Attributed programming is a feature of .NET that is still relatively unexplored and unknown. Because attributes are used to modify the runtime
... Read more
.NET IL Assembler

by Serge Lidin ...

Series series Professional and Applied Computing (R0)
Advanced .NET IL Assembler is a comprehensive drill-down into the inner workings of the .NET Framework. Acknowledged runtime expert and Microsoft insider Serge Lidin steps through the internal structures and operations that take place when .NET code is executed, showing how the syntax and grammar of the coding language is broken down into low-level units that can be expressed through the ILAsm ... Read more

$80.09 USD

Advanced .NET IL Assembler is a comprehensive drill-down into the inner workings of the .NET Framework. Acknowledged runtime expert and Microsoft insider Serge Lidin steps through the internal structures and operations that take place when .NET code is executed, showing how the syntax and grammar of the coding language is broken down into low-level units that can be expressed through the ILAsm
... Read more
Codex for Builders

Use Codex, ChatGPT, AI Agents, and Cloud Coding Workflows to Build Apps, Automations, and Products

by Matt Smith ...

The era where building software required years of coding is over. With OpenAI Codex, ChatGPT, AI agents, and cloud workflows, the gap between having an idea and holding a working product has narrowed to an afternoon. This book is for the person who has never written a line of code and for the developer tired of repetitive tasks. It teaches the craft of directing, reviewing, and shipping software ... Read more

Was $14.99 USD Now $4.99 USD or Free with Kobo Plus

The era where building software required years of coding is over. With OpenAI Codex, ChatGPT, AI agents, and cloud workflows, the gap between having an idea and holding a working product has narrowed to an afternoon. This book is for the person who has never written a line of code and for the developer tired of repetitive tasks. It teaches the craft of directing, reviewing, and shipping software
... Read more
Artificial Intelligence Logic and Applications

The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings

Edited by Songmao Zhang, Yonggang Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions.This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial ... Read more

$107.09 USD

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions.This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial
... Read more
Building Java Programs: a comprehensive Java Developper Guide

by David Horstmann ...

Your one-stop guide to programming with Java. If you've always wanted to program with Java but didn't know where to start, this will be the java-stained reference you'll turn to again and again. Fully updated, this deep reference on the world's most popular programming language is the perfect starting point for building things with Java—and an invaluable ongoing reference as you continue to deepen ... Read more

$30.87 USD

Your one-stop guide to programming with Java. If you've always wanted to program with Java but didn't know where to start, this will be the java-stained reference you'll turn to again and again. Fully updated, this deep reference on the world's most popular programming language is the perfect starting point for building things with Java—and an invaluable ongoing reference as you continue to deepen
... Read more
Autonomous Agents and Multiagent Systems

AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

Edited by Nardine Osman, Carles Sierra ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the most visionary papers of the AAMAS 2016 Workshops, held in Singapore, Singapore, in May 2016.The 12 revised full papers presented were carefully reviewed and selected from the 12 workshops. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems. ... Read more

$49.49 USD

This book constitutes the most visionary papers of the AAMAS 2016 Workshops, held in Singapore, Singapore, in May 2016.The 12 revised full papers presented were carefully reviewed and selected from the 12 workshops. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.
... Read more
Future Internet Testing

First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers

Edited by Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the First International Workshop on future Internet Testing, FITTEST 2013, held in Turkey, Istanbul, in November 2013, in conjunction with the International Conference on Testing Software and Systems (ICTSS).The volume presents a total of 7 contributions; 5 full papers which were selected from 8 submissions, as well as a paper on the Java Unit Test ... Read more

$49.49 USD

This book constitutes the proceedings of the First International Workshop on future Internet Testing, FITTEST 2013, held in Turkey, Istanbul, in November 2013, in conjunction with the International Conference on Testing Software and Systems (ICTSS).The volume presents a total of 7 contributions; 5 full papers which were selected from 8 submissions, as well as a paper on the Java Unit Test
... Read more
Schnelleinstieg in SAP BPC optimized for SAP S/4HANA

by Reynaldo Konrad, Christian Sass, Sebastian Zick ...

Dieses Praxishandbuch vermittelt die grundlegende Funktionsweise von SAP BPC optimized for SAP S/4HANA und veranschaulicht sie an einem konkreten Beispiel im Umfeld von SAP S/4HANA Finance. Einführend lernen Sie die für das Verständnis der Planung und Datenhaltung mit SAP BPC optimized for S/4HANA notwendigen SAP-Technologien und -Werkzeuge kennen. Dabei stehen die in S/4HANA realisierte neue ... Read more

$20.99 USD

Dieses Praxishandbuch vermittelt die grundlegende Funktionsweise von SAP BPC optimized for SAP S/4HANA und veranschaulicht sie an einem konkreten Beispiel im Umfeld von SAP S/4HANA Finance. Einführend lernen Sie die für das Verständnis der Planung und Datenhaltung mit SAP BPC optimized for S/4HANA notwendigen SAP-Technologien und -Werkzeuge kennen. Dabei stehen die in S/4HANA realisierte neue
... Read more
Telematics and Computing

8th International Congress, WITCOM 2019, Merida, Mexico, November 4–8, 2019, Proceedings

Edited by Miguel Felix Mata-Rivera, Roberto Zagal-Flores, Cristian Barría-Huidobro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 8th International Congress on Telematics and Computing, WITCOM 2019, held in Merida, Mexico, in November 2019.The 31 full papers presented in this volume were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections: GIS & climate change; telematics & electronics; artificial intelligence & ... Read more

$49.49 USD

This book constitutes the thoroughly refereed proceedings of the 8th International Congress on Telematics and Computing, WITCOM 2019, held in Merida, Mexico, in November 2019.The 31 full papers presented in this volume were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections: GIS & climate change; telematics & electronics; artificial intelligence &
... Read more
Test-Driven Development

An Empirical Evaluation of Agile Practice

by Lech Madeyski ...

Series series Computer Science (R0)
Agile methods are gaining more and more interest both in industry and in research. Many industries are transforming their way of working from traditional waterfall projects with long duration to more incremental, iterative and agile practices. At the same time, the need to evaluate and to obtain evidence for different processes, methods and tools has been emphasized.Lech Madeyski offers the first ... Read more

$49.49 USD

Agile methods are gaining more and more interest both in industry and in research. Many industries are transforming their way of working from traditional waterfall projects with long duration to more incremental, iterative and agile practices. At the same time, the need to evaluate and to obtain evidence for different processes, methods and tools has been emphasized.Lech Madeyski offers the first
... Read more
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Edited by Roger Lee ...

Series series Intelligent Technologies and Robotics (R0)
This book presents the outcomes of the 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2019), which was held on July 8–10, 2019, in Toyama, Japan. The aim of the conference was to bring together researchers and scientists, businesspeople and entrepreneurs, teachers, engineers, computer users, and students ... Read more

$89.09 USD

This book presents the outcomes of the 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2019), which was held on July 8–10, 2019, in Toyama, Japan. The aim of the conference was to bring together researchers and scientists, businesspeople and entrepreneurs, teachers, engineers, computer users, and students
... Read more
Cloud Computing and Services Science

14th International Conference, CLOSER 2024, Angers, France, May 2–4, 2024, Revised Selected Papers

Edited by Claus Pahl, Maarten van Steen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 14th International Conference on Cloud Computing and Services Science, CLOSER 2024, held in Angers, France, during May 2–4, 2024.The 7 full papers included in this volume were carefully reviewed and selected from 48 submissions. They focus on current research trends in Cloud Computing and Services Science, including Microservices and their ... Read more

$71.99 USD

This book constitutes revised selected papers from the 14th International Conference on Cloud Computing and Services Science, CLOSER 2024, held in Angers, France, during May 2–4, 2024.The 7 full papers included in this volume were carefully reviewed and selected from 48 submissions. They focus on current research trends in Cloud Computing and Services Science, including Microservices and their
... Read more
Open Source Systems

17th IFIP WG 2.13 International Conference, OSS 2021, Virtual Event, May 12–13, 2021, Proceedings

Edited by Davide Taibi, Valentina Lenarduzzi, Terhi Kilamo, Stefano Zacchiroli ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2021, held virtually in May 2021.The 4 full papers and 3 short papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics in the field of free/libre open source software (FLOSS) and discuss theories, practices, ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 17th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2021, held virtually in May 2021.The 4 full papers and 3 short papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics in the field of free/libre open source software (FLOSS) and discuss theories, practices,
... Read more
Security for Software Engineers

by James N. Helfrich ...

Security for Software Engineers is designed to introduce security concepts to undergraduate software engineering students. The book is divided into four units, each targeting activities that a software engineer will likely be involved in within industry.The book explores the key areas of attack vectors, code hardening, privacy, and social engineering. Each topic is explored from a theoretical and ... Read more

$61.99 USD

Security for Software Engineers is designed to introduce security concepts to undergraduate software engineering students. The book is divided into four units, each targeting activities that a software engineer will likely be involved in within industry.The book explores the key areas of attack vectors, code hardening, privacy, and social engineering. Each topic is explored from a theoretical and
... Read more
AI-Assisted Programming for Web and Machine Learning

Improve your development workflow with ChatGPT and GitHub Copilot

by Christoffer Noring, Anjali Jain, Marina Fernandez, Ayşe Mutlu, Ajit Jaokar ...

Speed up your development processes and improve your productivity by writing practical and relevant prompts to build web applications and Machine Learning (ML) models Purchase of the print or Kindle book includes a free PDF copyKey FeaturesUtilize prompts to enhance frontend and backend web developmentDevelop prompt strategies to build robust machine learning modelsUse GitHub Copilot for data ... Read more

$36.89 USD or Free with Kobo Plus

Speed up your development processes and improve your productivity by writing practical and relevant prompts to build web applications and Machine Learning (ML) models Purchase of the print or Kindle book includes a free PDF copyKey FeaturesUtilize prompts to enhance frontend and backend web developmentDevelop prompt strategies to build robust machine learning modelsUse GitHub Copilot for data
... 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: