Rakuten Kobo

Theoretical Aspects of Computing – ICTAC 2018

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

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

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and
... Leer más
Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Edición de Bernd Finkbeiner, Leonardo Mariani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
... Leer más
Python Programming for Beginners

The Complete Guide to Mastering Python in 10 Days with Guiding Exercises – Top Secret Coding Tips, Well-detailed Examples and Outputs, with Questions and Answers for Each Chapter. The Ultimate Python Crash Course for Dummies. Computer science

de C J Smith ...

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations, ... Leer más

$9.99 USD o gratis con Kobo Plus

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations,
... Leer más
Master Python Without Prior Experience

de CodeCraft Dynamics ...

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like ... Leer más

$3.10 USD o gratis con Kobo Plus

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like
... Leer más
Introducing Bootstrap 4

de Jörg Krause ...

Series series Professional and Applied Computing (R0)
Learn how to use the front end CSS framework Bootstrap 4 to create powerful web applications. You'll work with all the components of Bootstrap 4 using easy-to-follow instructions and example code snippets. You'll also use Bootstrap 4 for typography, forms, and modules, and see how to structure your page and your code to be optimally efficient.CSS frameworks give front end developers the capability ... Leer más

$35.99 USD

Learn how to use the front end CSS framework Bootstrap 4 to create powerful web applications. You'll work with all the components of Bootstrap 4 using easy-to-follow instructions and example code snippets. You'll also use Bootstrap 4 for typography, forms, and modules, and see how to structure your page and your code to be optimally efficient.CSS frameworks give front end developers the capability
... Leer más
Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Edición de Viktor Vafeiadis ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 ... Leer más

Gratis

The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88
... Leer más
PHP Beyond the Web

de Rob Aley ...

Series series Professional and Applied Computing (R0)
Use your existing web-based PHP skills to write all types of software: CLI scripts, desktop software, network servers, and more. This book gives you the tools, techniques, and background necessary to write just about any type of software you can think of, using the PHP you know.PHP Beyond the Web shows you how to take your knowledge of PHP development for the web and utilise it with a much wider ... Leer más

$35.99 USD

Use your existing web-based PHP skills to write all types of software: CLI scripts, desktop software, network servers, and more. This book gives you the tools, techniques, and background necessary to write just about any type of software you can think of, using the PHP you know.PHP Beyond the Web shows you how to take your knowledge of PHP development for the web and utilise it with a much wider
... Leer más
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.99 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
R3 Corda for Architects and Developers

With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture

de Debajani Mohanty ...

Series series Professional and Applied Computing (R0)
Explore the entire R3 Corda ecosystem using theory, labs, and use cases. This book introduces distributed ledger technology, Corda architecture, and smart contract programming in Java, guiding you through testing and deployment. Further, you will explore various business problems in finance, insurance, healthcare, travel, and agriculture and discover how Corda can solve these issues through its ... Leer más

$26.99 USD

Explore the entire R3 Corda ecosystem using theory, labs, and use cases. This book introduces distributed ledger technology, Corda architecture, and smart contract programming in Java, guiding you through testing and deployment. Further, you will explore various business problems in finance, insurance, healthcare, travel, and agriculture and discover how Corda can solve these issues through its
... Leer más
JavaFX 9 by Example

de Carl Dea, Gerrit Grunwald, José Pereda, Sean Phillips, Mark Heckler ...

Series series Professional and Applied Computing (R0)
Create media-rich client applications using JavaFX 9 and the Java 9 platform. Learn to create GUI-based applications for mobile devices, desktop PCs, and even the web. Incorporate media such as audio and video into your applications. Interface with hardware devices such as Arduino and Leap Motion. Respond to gesture control through devices such as the Leap Motion Controller. Take advantage of the ... Leer más

$62.99 USD

Create media-rich client applications using JavaFX 9 and the Java 9 platform. Learn to create GUI-based applications for mobile devices, desktop PCs, and even the web. Incorporate media such as audio and video into your applications. Interface with hardware devices such as Arduino and Leap Motion. Respond to gesture control through devices such as the Leap Motion Controller. Take advantage of the
... Leer más
Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Edición de Floor Koornneef, Coen van Gulijk ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive
... Leer más
Graphical Models for Security

5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Edición de George Cybenko, David Pym, Barbara Fila ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for ... Leer más

$49.99 USD

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for
... Leer más
Accelerator Programming Using Directives

6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Edición de Sandra Wienke, Sridutt Bhalachandra ...

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

$49.99 USD

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Leer más
From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Edición de Maurice H. ter Beek, Alessandro Fantechi, Laura Semini ...

Series series Computer Science (R0)
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey ... Leer más

$49.99 USD

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey
... Leer más
C# 8 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

de Mikael Olsson ...

Series Libro 8 - Professional and Applied Computing (R0)
This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface ... Leer más

$31.99 USD

This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface
... Leer más
Reactive Streams in Java

Concurrency with RxJava, Reactor, and Akka Streams

de Adam L. Davis ...

Series series Professional and Applied Computing (R0)
Get an easy introduction to reactive streams in Java to handle concurrency, data streams, and the propagation of change in today's applications. This compact book includes in-depth introductions to RxJava, Akka Streams, and Reactor, and integrates the latest related features from Java 9 and 11, as well as reactive streams programming with the Android SDK.Reactive Streams in Java explains how to ... Leer más

$31.99 USD

Get an easy introduction to reactive streams in Java to handle concurrency, data streams, and the propagation of change in today's applications. This compact book includes in-depth introductions to RxJava, Akka Streams, and Reactor, and integrates the latest related features from Java 9 and 11, as well as reactive streams programming with the Android SDK.Reactive Streams in Java explains how to
... Leer más
Beginning Perl Programming

From Novice to Professional

de William "Bo" Rothwell ...

Series series Professional and Applied Computing (R0)
Get started with Perl 5 and learn the important core concepts of Perl programming, such as variables, flow control, expressions, and I/O. Additionally, this book covers pattern matching and shows that Perl is extremely flexible and powerful, and that it isn’t afraid of the cloud. After reading and using this book, you'll be able to start writing your own powerful scripts to solve many web and ... Leer más

$49.99 USD

Get started with Perl 5 and learn the important core concepts of Perl programming, such as variables, flow control, expressions, and I/O. Additionally, this book covers pattern matching and shows that Perl is extremely flexible and powerful, and that it isn’t afraid of the cloud. After reading and using this book, you'll be able to start writing your own powerful scripts to solve many web and
... Leer más
Practical Machine Learning with Rust

Creating Intelligent Applications in Rust

de Joydeep Bhattacharjee ...

Series series Professional and Applied Computing (R0)
Explore machine learning in Rust and learn about the intricacies of creating machine learning applications. This book begins by covering the important concepts of machine learning such as supervised, unsupervised, and reinforcement learning, and the basics of Rust. Further, you’ll dive into the more specific fields of machine learning, such as computer vision and natural language processing, and ... Leer más

$49.99 USD

Explore machine learning in Rust and learn about the intricacies of creating machine learning applications. This book begins by covering the important concepts of machine learning such as supervised, unsupervised, and reinforcement learning, and the basics of Rust. Further, you’ll dive into the more specific fields of machine learning, such as computer vision and natural language processing, and
... 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.99 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
Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Edición de Giovanna Di Marzo Serugendo, Michele Loreti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... Leer más

$49.99 USD

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide
... Leer más
Rules and Reasoning

International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

Edición de Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2 ... Leer más

$49.99 USD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2
... Leer más
Introduction to Programming with Fortran

de Ian Chivers, Jane Sleightholme ...

Series series Computer Science (R0)
This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran.Key FeaturesHighlights the core language features of modern Fortran including data typing, array processing, control structures, functions, subroutines, ... Leer más

$80.99 USD

This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran.Key FeaturesHighlights the core language features of modern Fortran including data typing, array processing, control structures, functions, subroutines,
... Leer más
Deep Belief Nets in C++ and CUDA C: Volume 3

Convolutional Nets

de Timothy Masters ...

Series series Professional and Applied Computing (R0)
Discover the essential building blocks of a common and powerful form of deep belief network: convolutional nets. This book shows you how the structure of these elegant models is much closer to that of human brains than traditional neural networks; they have a ‘thought process’ that is capable of learning abstract concepts built from simpler primitives. These models are especially useful for image ... Leer más

$58.99 USD

Discover the essential building blocks of a common and powerful form of deep belief network: convolutional nets. This book shows you how the structure of these elegant models is much closer to that of human brains than traditional neural networks; they have a ‘thought process’ that is capable of learning abstract concepts built from simpler primitives. These models are especially useful for image
... Leer más
Migrating to Swift from Web Development

de Mark Punak, Anthony Nemec, Sean Liao ...

Series series Professional and Applied Computing (R0)
Migrating to Swift From Web Development gives you the ability to create native iOS apps using the latest Swift programming language. Starting with preparing your latest Xcode 6 Integrated Development Environment and introducing just enough iOS application framework fundamentals, you'll understand how to create a simple but meaningful Hello Swift application for iOS 8 immediately.After the short ... Leer más

$31.99 USD

Migrating to Swift From Web Development gives you the ability to create native iOS apps using the latest Swift programming language. Starting with preparing your latest Xcode 6 Integrated Development Environment and introducing just enough iOS application framework fundamentals, you'll understand how to create a simple but meaningful Hello Swift application for iOS 8 immediately.After the short
... 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: