Rakuten Kobo

Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Edición de Falk Howar, Jiří Barnat ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... Leer más

$49.49 USD

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in
... Leer más
Beginning EJB in Java EE 8

Building Applications with Enterprise JavaBeans

de Jonathan Wetherbee, Massimo Nardone, Chirag Rathod, Raghu Kodali ...

Series series Professional and Applied Computing (R0)
Build powerful back-end business logic and complex Enterprise JavaBeans (EJB)-based applications using Java EE 8, Eclipse Enterprise for Java (EE4J), Web Tools Project (WTP), and the Microprofile platform. Targeted at Java and Java EE developers, with or without prior EJB experience, this book is packed with practical insights, strategy tips, and code examples. As each chapter unfolds, you'll see ... Leer más

$80.99 USD

Build powerful back-end business logic and complex Enterprise JavaBeans (EJB)-based applications using Java EE 8, Eclipse Enterprise for Java (EE4J), Web Tools Project (WTP), and the Microprofile platform. Targeted at Java and Java EE developers, with or without prior EJB experience, this book is packed with practical insights, strategy tips, and code examples. As each chapter unfolds, you'll see
... Leer más
Introducing Zurb Foundation 6

de Aravind Shenoy ...

Series series Professional and Applied Computing (R0)
Introducing Zurb Foundation 6 is your easy-to-digest brief introduction to this exciting technology for building responsive and mobile-first websites. Using this book, you'll understand the basics of the latest iteration which comes with new and exciting features. You will understand how to incorporate Foundation into your HTML file and the various options you have, including typography, utility ... Leer más

$35.99 USD

Introducing Zurb Foundation 6 is your easy-to-digest brief introduction to this exciting technology for building responsive and mobile-first websites. Using this book, you'll understand the basics of the latest iteration which comes with new and exciting features. You will understand how to incorporate Foundation into your HTML file and the various options you have, including typography, utility
... Leer más
Learn LLVM 17

A beginner's guide to learning LLVM compiler tools and core libraries with C++

de Kai Nacke, Amy Kwan ...

Learn how to build and use the complete spectrum of real-world compilers, including the frontend, optimization pipeline, and a new backend by leveraging the power of LLVM core librariesKey FeaturesGet to grips with using LLVM libraries step by stepUnderstand the high-level design of LLVM compilers and apply these principles to your own compilerAdd a new backend to target an unsupported CPU ... Leer más

$37.79 USD o gratis con Kobo Plus

Learn how to build and use the complete spectrum of real-world compilers, including the frontend, optimization pipeline, and a new backend by leveraging the power of LLVM core librariesKey FeaturesGet to grips with using LLVM libraries step by stepUnderstand the high-level design of LLVM compilers and apply these principles to your own compilerAdd a new backend to target an unsupported CPU
... Leer más
Microprogrammed State Machine Design

de Michel A. Lynch ...

Microprogrammed State Machine Design is a digital computer architecture text that builds systematically from basic concepts to complex state-machine design. It provides practical techniques and alternatives for designing solutions to data processing problems both in commerce and in research purposes. It offers an excellent introduction to the tools and elements of design used in microprogrammed ... Leer más

$280.00 USD

Microprogrammed State Machine Design is a digital computer architecture text that builds systematically from basic concepts to complex state-machine design. It provides practical techniques and alternatives for designing solutions to data processing problems both in commerce and in research purposes. It offers an excellent introduction to the tools and elements of design used in microprogrammed
... Leer más
Python Mini Manual

de CodeCraft Dynamics ...

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with ... Leer más

$3.00 USD o gratis con Kobo Plus

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with
... Leer más
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Selected Contributions on Specification, Design, and Verification from FDL 2009

Edición de Dominique Borrione ...

Series series Engineering (R0)
More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on ... Leer más

$143.09 USD

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on
... Leer más
Scala for Java Developers

A Practical Primer

de Toby Weston ...

Series series Professional and Applied Computing (R0)
Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a ... Leer más

$28.49 USD

Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a
... Leer más
iOS Code Testing

Test-Driven Development and Behavior-Driven Development with Swift

de Abhishek Mishra ...

Series series Professional and Applied Computing (R0)
Put into motion practical examples to master Test-Driven Development (TDD) and acceptance testing in Swift.This book uses a pragmatic approach to writing well-tested code and provides techniques that can be used to retrofit tests to legacy code bases. You'll be introduced to basic principles of TDD, such as Test First, Red-Green-Refactor, Remove Duplicate code, Dependency Injection, and Single ... Leer más

$53.99 USD

Put into motion practical examples to master Test-Driven Development (TDD) and acceptance testing in Swift.This book uses a pragmatic approach to writing well-tested code and provides techniques that can be used to retrofit tests to legacy code bases. You'll be introduced to basic principles of TDD, such as Test First, Red-Green-Refactor, Remove Duplicate code, Dependency Injection, and Single
... Leer más
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

Edición de 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; ... Leer más

$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;
... Leer más
Make an E-commerce Site in a Weekend

Using PHP

de Bintu Harwani ...

Series series Professional and Applied Computing (R0)
Learn to build e-commerce sites using PHP by installing a server using WAMP, configuring MySQL for your product database, creating your product database and tables, and writing the required PHP scripts for accessing and inserting data into the database. Make an E-commerce Site in a Weekend: Using PHP details how to create shopping carts for your customers and how to set up secure payment and ... Leer más

$44.99 USD

Learn to build e-commerce sites using PHP by installing a server using WAMP, configuring MySQL for your product database, creating your product database and tables, and writing the required PHP scripts for accessing and inserting data into the database. Make an E-commerce Site in a Weekend: Using PHP details how to create shopping carts for your customers and how to set up secure payment and
... Leer más
Migrating from Drupal to Backdrop

de Todd Tomlinson ...

Series series Professional and Applied Computing (R0)
Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested in ... Leer más

$35.99 USD

Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested in
... Leer más
Broken Agile

Second Edition

de Tim J. Brizard ...

Series series Professional and Applied Computing (R0)
Learn how to be successful in adopting Agile and see good and bad examples of how Agile can be adopted. Broken Agile, Second Edition contains stories from years of real world experience on Agile teams and projects. The stories in each chapter are both educational and entertaining. Each chapter focuses on specific Agile values and principles. The stories in each chapter are used to illustrate how ... Leer más

$23.79 USD

Learn how to be successful in adopting Agile and see good and bad examples of how Agile can be adopted. Broken Agile, Second Edition contains stories from years of real world experience on Agile teams and projects. The stories in each chapter are both educational and entertaining. Each chapter focuses on specific Agile values and principles. The stories in each chapter are used to illustrate how
... Leer más
Accelerator Programming Using Directives

4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Edición de Sunita Chandrasekaran, Guido Juckeland ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Leer más

$53.99 USD

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Leer más
Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Edición de Supratik Chakraborty, Jorge A. Navas ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... Leer más

$49.49 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory
... Leer más
Practical MATLAB Modeling with Simulink

Programming and Simulating Ordinary and Partial Differential Equations

de Sulaymon L. Eshkabilov ...

Series series Professional and Applied Computing (R0)
Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulations and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling of more difficult ... Leer más

$62.99 USD

Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulations and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling of more difficult
... 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
Runtime Verification

26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings

Edición de Sean Kauffman, Giulia Pedrielli ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6–9, 2026.The 9 regular papers, 5 short papers, 4 tool papers, 1 tutorial paper, 1 benchmark paper and 3 tool showcase papers included in this book were carefully reviewed and selected from 65 submissions. They focus on topics in Runtime ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6–9, 2026.The 9 regular papers, 5 short papers, 4 tool papers, 1 tutorial paper, 1 benchmark paper and 3 tool showcase papers included in this book were carefully reviewed and selected from 65 submissions. They focus on topics in Runtime
... Leer más
Beginning Spring 5

From Novice to Professional

de Joseph B. Ottinger, Andrew Lombardi ...

Series series Professional and Applied Computing (R0)
Get started with Spring Framework 5 and its ecosystem, with a guide to the working practices in modern development. Authors Joseph Ottinger and Andrew Lombardi will teach you how to use the Spring Framework to build Java-based applications, web applications, and microservices. You’ll see how Spring has drastically and positively affected the way we program and design applications in Java.Beginning ... Leer más

$49.49 USD

Get started with Spring Framework 5 and its ecosystem, with a guide to the working practices in modern development. Authors Joseph Ottinger and Andrew Lombardi will teach you how to use the Spring Framework to build Java-based applications, web applications, and microservices. You’ll see how Spring has drastically and positively affected the way we program and design applications in Java.Beginning
... Leer más
Java Design Patterns

A Hands-On Experience with Real-World Examples

de Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Use the step-by-step approach of this book to learn and implement design patterns in real-world applications. It focuses on classical design patterns with Java 17 and Eclipse (2021-09). In addition to Gang of Four (GoF) design patterns, the book covers popular and alternative design patterns and includes criticisms of design patterns in a chapter on anti-patterns.The book is divided into four ... Leer más

$62.99 USD

Use the step-by-step approach of this book to learn and implement design patterns in real-world applications. It focuses on classical design patterns with Java 17 and Eclipse (2021-09). In addition to Gang of Four (GoF) design patterns, the book covers popular and alternative design patterns and includes criticisms of design patterns in a chapter on anti-patterns.The book is divided into four
... Leer más
Advanced Design and Implementation of Virtual Machines

de Xiao-Feng Li ...

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also ... Leer más

Antes $66.99 USD Ahora $59.99 USD

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also
... 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
Theory and Applications of Formal Argumentation

4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Edición de Elizabeth Black, Sanjay Modgil, Nir Oren ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The
... 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.49 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

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: