Rakuten Kobo

Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Edición de Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Leer más

$53.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions
... Leer más
Essential Visual J++ 6.0 fast

How to develop Java applications and applets with Visual J++

de John Cowell ...

Series series Computer Science (R0)
Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book ... Leer más

$49.99 USD

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book
... Leer más
Options and Derivatives Programming in C++20

Algorithms and Programming Techniques for the Financial Industry

de Carlos Oliveira ...

Series series Professional and Applied Computing (R0)
Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools ... Leer más

$53.99 USD

Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools
... Leer más
Introducing Algorithms in C

A Step by Step Guide to Algorithms in C

de Luciano Manelli ...

Series series Professional and Applied Computing (R0)
Study elementary and complex algorithms with clear examples and implementations in C. This book introduces data types (simple and structured) and algorithms with graphical and textual explanations. In the next sections, you’ll cover simple and complex standard algorithms with their flowcharts: everything is integrated with explanations and tables to give a step-by-step evolution of the algorithms ... Leer más

$40.99 USD

Study elementary and complex algorithms with clear examples and implementations in C. This book introduces data types (simple and structured) and algorithms with graphical and textual explanations. In the next sections, you’ll cover simple and complex standard algorithms with their flowcharts: everything is integrated with explanations and tables to give a step-by-step evolution of the algorithms
... Leer más
Getting Started with Advanced C#

Upgrade Your Programming Skills

de Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to ... Leer más

$71.99 USD

Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to
... Leer más
Exploring the .NET Core 3.0 Runtime

Through Code Generation and Metadata Inspection

de Roger Villela ...

Series series Professional and Applied Computing (R0)
Explore advanced .NET APIs and create a basic .NET core library with dynamic code generation and metadata inspection to be used by other libraries or client applications. This book starts with the benefits of .NET including its fundamental tasks and tools where you will learn .NET SDK tools and the ILDasm tool. This is followed by a detailed discussion on code generation in .NET API programming ... Leer más

$31.99 USD

Explore advanced .NET APIs and create a basic .NET core library with dynamic code generation and metadata inspection to be used by other libraries or client applications. This book starts with the benefits of .NET including its fundamental tasks and tools where you will learn .NET SDK tools and the ILDasm tool. This is followed by a detailed discussion on code generation in .NET API programming
... Leer más
Language Constructs for Describing Features

Proceedings of the FIREworks workshop

Edición de Stephen Gilmore, Mark Ryan ...

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and ... Leer más

$49.99 USD

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and
... Leer más
JRuby Rails Web Application Development

de Deepak Vohra ...

Series series Computer Science (R0)
This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle® ... Leer más

$49.99 USD

This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle®
... Leer más
Euro-Par 2016: Parallel Processing

22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Edición de Pierre-François Dutot, Denis Trystram ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and
... Leer más
Developing for Apple TV using tvOS and Swift

de Gary Bennett, Brad Lees, Stefan Kaczmarek ...

Series series Professional and Applied Computing (R0)
Gary Bennett, Brad Lees, and Stefan Kaczmarek, the team behind Swift 2 for Absolute Beginners, brings you a hands-on “Swift” introduction to the new tvOS SDK with a collection of app projects to try out.You’ll learn how to create a BookStore app for the TV, including using Stack Views for book details, how to create a photo gallery app, and how to use collection view and split view controllers ... Leer más

$28.99 USD

Gary Bennett, Brad Lees, and Stefan Kaczmarek, the team behind Swift 2 for Absolute Beginners, brings you a hands-on “Swift” introduction to the new tvOS SDK with a collection of app projects to try out.You’ll learn how to create a BookStore app for the TV, including using Stack Views for book details, how to create a photo gallery app, and how to use collection view and split view controllers
... Leer más
Expert F# 4.0

de Don Syme, Adam Granicz, Antonio Cisternino ...

Series Libro 4.0 - Professional and Applied Computing (R0)
Learn from F#'s inventor to become an expert in the latest version of this powerful programming language so you can seamlessly integrate functional, imperative, object-oriented, and query programming style flexibly and elegantly to solve any programming problem. Expert F# 4.0 will help you achieve unrivaled levels of programmer productivity and program clarity across multiple platforms including ... Leer más

$76.99 USD

Learn from F#'s inventor to become an expert in the latest version of this powerful programming language so you can seamlessly integrate functional, imperative, object-oriented, and query programming style flexibly and elegantly to solve any programming problem. Expert F# 4.0 will help you achieve unrivaled levels of programmer productivity and program clarity across multiple platforms including
... Leer más
Graph Transformation

13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Edición de Fabio Gadducci, Timo Kehrer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and
... Leer más
Introduction to MATLAB for Engineers and Scientists

Solutions for Numerical Computation and Modeling

de Sandeep Nagar ...

Series series Professional and Applied Computing (R0)
Familiarize yourself with MATLAB using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting and working with files, numerical computation formalism, and the primary concepts of approximations. Introduction to MATLAB is useful for industry engineers, researchers, and students who are looking ... Leer más

$31.99 USD

Familiarize yourself with MATLAB using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting and working with files, numerical computation formalism, and the primary concepts of approximations. Introduction to MATLAB is useful for industry engineers, researchers, and students who are looking
... Leer más
Personal Finance with Python

Using pandas, Requests, and Recurrent

de Max Humber ...

Series series Professional and Applied Computing (R0)
Deal with data, build up financial formulas in code from scratch, and evaluate and think about money in your day-to-day life. This book is about Python and personal finance and how you can effectively mix the two together.In Personal Finance with Python you will learn Python and finance at the same time by creating a profit calculator, a currency converter, an amortization schedule, a budget, a ... Leer más

$49.99 USD

Deal with data, build up financial formulas in code from scratch, and evaluate and think about money in your day-to-day life. This book is about Python and personal finance and how you can effectively mix the two together.In Personal Finance with Python you will learn Python and finance at the same time by creating a profit calculator, a currency converter, an amortization schedule, a budget, a
... Leer más
Programming Languages and Systems

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings

Edición de Alex Potanin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum ... Leer más

$71.99 USD

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum
... Leer más
Logic Programming and Nonmonotonic Reasoning

17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings

Edición de Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024.The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge ... Leer más

$143.99 USD

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024.The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge
... Leer más
Learn Swift on the Mac

For OS X and iOS

de Waqar Malik ...

Series series Professional and Applied Computing (R0)
There's a new language in town. Swift is Apple's new, native, fast, and easy to learn programming language for iOS and OS X app development. It's their "Objective-C without the C". If you are an iOS developer or planning to become one, learning Swift is your #1 priority, and Learn Swift on the Mac tells you everything you need to get up to speed, well, swiftly.You'll start with the Swift ... Leer más

$35.99 USD

There's a new language in town. Swift is Apple's new, native, fast, and easy to learn programming language for iOS and OS X app development. It's their "Objective-C without the C". If you are an iOS developer or planning to become one, learning Swift is your #1 priority, and Learn Swift on the Mac tells you everything you need to get up to speed, well, swiftly.You'll start with the Swift
... Leer más
Raku Recipes

A Problem-Solution Approach

de J.J. Merelo ...

Series series Professional and Applied Computing (R0)
Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all, ... Leer más

$53.99 USD

Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all,
... Leer más
Expert T-SQL Window Functions in SQL Server 2019

The Hidden Secret to Fast Analytic and Reporting Queries

de Kathi Kellenberger, Clayton Groom, Ed Pollack ...

Series series Professional and Applied Computing (R0)
Become an expert who can use window functions to solve T-SQL query problems. Replace slow cursors and self-joins with queries that are easy to write and perform better. This new edition provides expanded examples, including a chapter from the world of sports, and covers the latest performance enhancements through SQL Server 2019.Window functions are useful in analytics and business intelligence ... Leer más

$49.99 USD

Become an expert who can use window functions to solve T-SQL query problems. Replace slow cursors and self-joins with queries that are easy to write and perform better. This new edition provides expanded examples, including a chapter from the world of sports, and covers the latest performance enhancements through SQL Server 2019.Window functions are useful in analytics and business intelligence
... Leer más
Introducción al Machine Learning con MATLAB

de Erik Cuevas Jiménez ...

El Machine Learning representa una herramienta importante para la exploración y la extracción de conocimiento. Su principal objetivo es construir modelos que permitan describir posibles patrones estructurales en la información a partir de los datos, con el objetivo de tomar decisiones o hacer predicciones. En la última década, el número de usuarios de Machine Learning ha crecido de forma ... Leer más

$16.99 USD o gratis con Kobo Plus

El Machine Learning representa una herramienta importante para la exploración y la extracción de conocimiento. Su principal objetivo es construir modelos que permitan describir posibles patrones estructurales en la información a partir de los datos, con el objetivo de tomar decisiones o hacer predicciones. En la última década, el número de usuarios de Machine Learning ha crecido de forma
... Leer más
Learn Microsoft Visual Studio App Center

With Xamarin Forms

de Sunny Mukherjee ...

Series series Professional and Applied Computing (R0)
Use Visual Studio App Center with Xamarin Forms to set up a DevOps CI/CD pipeline, set up your mobile builds on either iOS or Android, set up Android and Apple certificates and provisioning profiles, distribute your app to your developers and testers, capture analytics and crashes from your users, communicate to your users with push notifications, and run UI tests on the Microsoft cloud. You will ... Leer más

$53.99 USD

Use Visual Studio App Center with Xamarin Forms to set up a DevOps CI/CD pipeline, set up your mobile builds on either iOS or Android, set up Android and Apple certificates and provisioning profiles, distribute your app to your developers and testers, capture analytics and crashes from your users, communicate to your users with push notifications, and run UI tests on the Microsoft cloud. You will
... Leer más
AIxIA 2023 – Advances in Artificial Intelligence

XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings

Edición de Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural ... Leer más

$71.99 USD

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural
... Leer más
Logic, Rewriting, and Concurrency

Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Edición de Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott ...

Series series Computer Science (R0)
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène ... Leer más

$49.99 USD

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène
... Leer más
Speech and Language Processing for Human-Machine Communications

Proceedings of CSI 2015

Edición de S. S. Agrawal, Poonam Bansal, Ritika Wason, Amita Devi ...

Series series Springer Nature Proceedings excluding Computer Science
This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech ... Leer más

$89.99 USD

This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech
... 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 Compiladores

Mostrar: