Rakuten Kobo

Perspectives of System Informatics

9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Modifié par Andrei Voronkov, A.P. Ershov Institute of Informatics Systems ...

Collections series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of ... En savoir plus

$64.09 CAD

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of
... En savoir plus
Schnellstart Python

Ein Einstieg ins Programmieren für MINT-Studierende

par Christoph Schäfer ...

Collections series Life Science and Basic Disciplines (German Language)
Christoph Schäfer stellt die großartige Welt der Programmierung mit Python vor und ermöglicht einen schnellen Einstieg zur eigenständigen Entwicklung von Skripten. Er verweist darauf, wie die Programmiersprache Python sich in den letzten Jahren neben MATLAB und R als Standard an naturwissenschaftlichen Arbeitsplätzen in Forschung und Entwicklung etabliert hat, und zeigt, dass die große Popularität ... En savoir plus

$6.79 CAD

Christoph Schäfer stellt die großartige Welt der Programmierung mit Python vor und ermöglicht einen schnellen Einstieg zur eigenständigen Entwicklung von Skripten. Er verweist darauf, wie die Programmiersprache Python sich in den letzten Jahren neben MATLAB und R als Standard an naturwissenschaftlichen Arbeitsplätzen in Forschung und Entwicklung etabliert hat, und zeigt, dass die große Popularität
... En savoir plus
Python Unit Test Automation

Practical Techniques for Python Developers and Testers

par Ashwin Pajankar ...

Collections series Professional and Applied Computing (R0)
Quickly learn how to automate unit testing of Python 3 code with Python 3 automation libraries, such as doctest, unittest, nose, nose2, and pytest.This book explores the important concepts in software testing and their implementation in Python 3 and shows you how to automate, organize, and execute unit tests for this language. This knowledge is often acquired by reading source code, manuals, and ... En savoir plus

$44.29 CAD

Quickly learn how to automate unit testing of Python 3 code with Python 3 automation libraries, such as doctest, unittest, nose, nose2, and pytest.This book explores the important concepts in software testing and their implementation in Python 3 and shows you how to automate, organize, and execute unit tests for this language. This knowledge is often acquired by reading source code, manuals, and
... En savoir plus
Aprende a desarrollar temas avanzados con WordPress

par Jhon Jairo Rincón Cardona ...

Si tienes conocimientos básicos en los lenguajes web como PHP, JavaScript, HTML, CSS, MySQL y jQuery, y has interactuado previamente con WordPress a nivel básico pero quieres ir más allá, has llegado al libro indicado. Este manual desarrolla un material que va desde lo más básico hasta lo más avanzado, y explica todas las funciones indispensables para el desarrollo de temas en WordPress. Al ... En savoir plus

$32.99 CAD

Si tienes conocimientos básicos en los lenguajes web como PHP, JavaScript, HTML, CSS, MySQL y jQuery, y has interactuado previamente con WordPress a nivel básico pero quieres ir más allá, has llegado al libro indicado. Este manual desarrolla un material que va desde lo más básico hasta lo más avanzado, y explica todas las funciones indispensables para el desarrollo de temas en WordPress. Al
... En savoir plus
Linux Kernel Programming 2025: A Complete Guide for Developers

par Williams Sebastian ...

Unlock the power of the Linux kernel and transform yourself from a user-space developer into a confident systems programmer. Linux Kernel Programming 2025: A Complete Guide for Developers is your comprehensive roadmap to mastering one of the most critical and in-demand skills in modern software development.This book demystifies kernel development through a practical, hands-on approach designed for ... En savoir plus

$4.99 CAD ou Gratuit avec Kobo Plus

Unlock the power of the Linux kernel and transform yourself from a user-space developer into a confident systems programmer. Linux Kernel Programming 2025: A Complete Guide for Developers is your comprehensive roadmap to mastering one of the most critical and in-demand skills in modern software development.This book demystifies kernel development through a practical, hands-on approach designed for
... En savoir plus
Building REST APIs with ASP.NET Core 8

The Ultimate Guide to Designing and Implementing Modern Back-Ends

par Prissy Max ...

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect ... En savoir plus

$13.73 CAD

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect
... En savoir plus
Advanced Guide to Python 3 Programming

par John Hunt ...

Collections series Computer Science (R0)
Advanced Guide to Python 3 Programming 2nd Edition delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.This second edition has been significantly updated with two new sections on advanced ... En savoir plus

$96.09 CAD

Advanced Guide to Python 3 Programming 2nd Edition delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.This second edition has been significantly updated with two new sections on advanced
... En savoir plus
Stripes by Example

par Brent Watson ...

In this 100-page book, you will find that Stripes provides a very simple learning path, where you do not need to understand the entire framework in order to use it. The concept of this book is exactly that – to get you using the framework and writing code immediately. You will be off and running in no time, and adding to your skill set as we progress.This book is written with exactly that learning ... En savoir plus

$21.79 CAD

In this 100-page book, you will find that Stripes provides a very simple learning path, where you do not need to understand the entire framework in order to use it. The concept of this book is exactly that – to get you using the framework and writing code immediately. You will be off and running in no time, and adding to your skill set as we progress.This book is written with exactly that learning
... En savoir plus
MATLAB Control Systems Engineering

par Cesar Lopez ...

Collections series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... En savoir plus

$71.89 CAD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... En savoir plus
Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Modifié par Kyungmin Bae, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make
... En savoir plus
JavaScript Frameworks for Modern Web Development

The Essential Frameworks, Libraries, and Tools to Learn Right Now

par Sufyan bin Uzayr, Nicholas Cloud, Tim Ambler ...

Collections series Professional and Applied Computing (R0)
Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an ... En savoir plus

$68.29 CAD

Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an
... En savoir plus
Composability, Comprehensibility and Correctness of Working Software

8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

Modifié par Zoltán Porkoláb, Viktória Zsók ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software. ... En savoir plus

$96.09 CAD

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
... En savoir plus
Objective-C Programmer's Reference

par Carlos Oliveira ...

Collections series Professional and Applied Computing (R0)
Objective-C Programmer's Reference provides the tools necessary to write software in Objective-C—the language of choice for developing iOS and OS X applications. Author Carlos Oliveira begins from the basic building blocks of the language. He shows how to create correct and efficient applications by applying your knowledge of object-oriented and structured programming. This book:Takes you quickly ... En savoir plus

$63.49 CAD

Objective-C Programmer's Reference provides the tools necessary to write software in Objective-C—the language of choice for developing iOS and OS X applications. Author Carlos Oliveira begins from the basic building blocks of the language. He shows how to create correct and efficient applications by applying your knowledge of object-oriented and structured programming. This book:Takes you quickly
... En savoir plus
Rewriting Logic and Its Applications

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Modifié par Santiago Escobar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of ... En savoir plus

$60.19 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of
... En savoir plus
Beginning Haskell

A Project-Based Approach

par Alejandro Serrano Mena ...

Collections series Professional and Applied Computing (R0)
Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and ... En savoir plus

$63.49 CAD

Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and
... En savoir plus
Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Modifié par Bernd Fischer, Jaco Geldenhuys ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are
... En savoir plus
Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Modifié par Cyrille Artho, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal
... En savoir plus
Beginning C

From Beginner to Pro

par German Gonzalez-Morris, Ivor Horton ...

Collections series Professional and Applied Computing (R0)
Learn how to program using C, beginning from first principles and progressing through step-by-step examples. This seventh edition is fully updated to reflect new features of C23, and addresses deprecated functions and features that are no longer supported.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor Horton and ... En savoir plus

$80.19 CAD

Learn how to program using C, beginning from first principles and progressing through step-by-step examples. This seventh edition is fully updated to reflect new features of C23, and addresses deprecated functions and features that are no longer supported.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor Horton and
... En savoir plus
Introduction to Compiler Design

par Torben Ægidius Mogensen ...

Collections series Computer Science (R0)
The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for ... En savoir plus

$64.09 CAD

The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for
... En savoir plus
C++ 14 Quick Syntax Reference

Second Edition

par Mikael Olsson ...

Collections series Professional and Applied Computing (R0)
This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a ... En savoir plus

$32.39 CAD

This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a
... En savoir plus
Automata and Computability

A Programmer's Perspective

par Ganesh Gopalakrishnan ...

Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the ... En savoir plus

$89.31 CAD

Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the
... En savoir plus
Fundamentals of Software Engineering

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Modifié par Hossein Hojjat, Mieke Massink ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially
... En savoir plus
Formal Techniques for Distributed Objects, Components, and Systems

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

Modifié par Christel Baier, Luís Caires ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions.
... En savoir plus
Design Patterns in C#

A Hands-on Guide with Real-World Examples

par Vaskaran Sarcar ...

Collections series Professional and Applied Computing (R0)
Get hands-on experience with each Gang of Four design pattern using C#. For each of the patterns, you’ll see at least one real-world scenario, a coding example, and a complete implementation including output.In the first part of Design Patterns in C#, you will cover the 23 Gang of Four (GoF) design patterns, before moving onto some alternative design patterns, including the Simple Factory Pattern, ... En savoir plus

$63.49 CAD

Get hands-on experience with each Gang of Four design pattern using C#. For each of the patterns, you’ll see at least one real-world scenario, a coding example, and a complete implementation including output.In the first part of Design Patterns in C#, you will cover the 23 Gang of Four (GoF) design patterns, before moving onto some alternative design patterns, including the Simple Factory Pattern,
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Compilateurs

Afficher :