Rakuten Kobo

Foundations and Practice of Security

11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Modifié par Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquin Garcia-Alfaro ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud ... En savoir plus

$83.99 CAD

This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud
... En savoir plus
BANTAM User Guide

Biometric and Token Technology Application Modeling Language

par Julian Ashbourn ...

Collections series Computer Science (R0)
BANTAM is the first modeling language specifically designed for applications in Biometrics and Token Technology. It represents a significant step forward for the design and implementation of biometric and related technology applications in that:- it is very simple to learn and use;- it offers a consistent system of documentation and a clarity of presentation which make the accurate description of ... En savoir plus

$64.99 CAD

BANTAM is the first modeling language specifically designed for applications in Biometrics and Token Technology. It represents a significant step forward for the design and implementation of biometric and related technology applications in that:- it is very simple to learn and use;- it offers a consistent system of documentation and a clarity of presentation which make the accurate description of
... En savoir plus
Practical C

par Giulio Zambon ...

Collections series Professional and Applied Computing (R0)
Learn practical C techniques, including often-needed algorithms within reusable functions. In this book, you'll have the following code and advice at your fingertips: layout and pre-processors; control structures, iterations, and selections; pointers and structures; databases; reusability; lists, arrays, FIFO and stacks; searching and sorting; recursion; binary trees; integration; string utilities ... En savoir plus

$102.99 CAD

Learn practical C techniques, including often-needed algorithms within reusable functions. In this book, you'll have the following code and advice at your fingertips: layout and pre-processors; control structures, iterations, and selections; pointers and structures; databases; reusability; lists, arrays, FIFO and stacks; searching and sorting; recursion; binary trees; integration; string utilities
... En savoir plus
MATLAB Programming for Numerical Analysis

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

$63.99 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
Memory Management for Synthesis of DSP Software

par Praveen K. Murthy, Shuvra S. Bhattacharyya ...

Although programming in memory-restricted environments is never easy, this holds especially true for digital signal processing (DSP). The data-rich, computation-intensive nature of DSP makes memory management a chief and challenging concern for designers. Memory Management for Synthesis of DSP Software focuses on minimizing memory requirements during the synthesis of DSP software from dataflow ... En savoir plus

$458.99 CAD

Although programming in memory-restricted environments is never easy, this holds especially true for digital signal processing (DSP). The data-rich, computation-intensive nature of DSP makes memory management a chief and challenging concern for designers. Memory Management for Synthesis of DSP Software focuses on minimizing memory requirements during the synthesis of DSP software from dataflow
... En savoir plus
Agile Visualization with Pharo

Crafting Interactive Visual Support Using Roassal

par Alexandre Bergel ...

Collections series Professional and Applied Computing (R0)
Use the Pharo interactive development environment to significantly reduce the cost of creating interactive visualizations. This book shows how Pharo leverages visualization development against traditional frameworks and toolkits.Agile Visualization with Pharo focuses on the Roassal visualization engine and first presents the basic and necessary tools to visualize data, including an introduction to ... En savoir plus

$56.99 CAD

Use the Pharo interactive development environment to significantly reduce the cost of creating interactive visualizations. This book shows how Pharo leverages visualization development against traditional frameworks and toolkits.Agile Visualization with Pharo focuses on the Roassal visualization engine and first presents the basic and necessary tools to visualize data, including an introduction to
... En savoir plus
A Practical Approach to Compiler Construction

par Des Watson ...

Collections series Computer Science (R0)
This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler design, an essential aspect of computer science. Programming language analysis and translation techniques are used in many software application areas.A Practical Approach to Compiler Construction ... En savoir plus

$57.99 CAD

This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler design, an essential aspect of computer science. Programming language analysis and translation techniques are used in many software application areas.A Practical Approach to Compiler Construction
... En savoir plus
Translation 4.0

Dolmetschen und Uebersetzen im Zeitalter der Digitalisierung

Modifié par Carsten Sinner, Christine Paasch-Kaiser, Johannes Härtel ...

Collections Livre 21 - Leipziger Studien zur angewandten Linguistik und Translatologie
Die Entwicklung digitaler Möglichkeiten führt zu neuen Translationsformen. Sie verlangt eine Überprüfung von Ansätzen und Theorien und schafft neue Möglichkeiten für (sprachvergleichende) theoretische und korpusbasierte Studien. Die Beiträge dieses Bandes gehen den Auswirkungen der technischen Veränderungen auf die Translation selbst sowie auf die sich stetig verändernden bzw. erweiternden ... En savoir plus

$112.99 CAD

Die Entwicklung digitaler Möglichkeiten führt zu neuen Translationsformen. Sie verlangt eine Überprüfung von Ansätzen und Theorien und schafft neue Möglichkeiten für (sprachvergleichende) theoretische und korpusbasierte Studien. Die Beiträge dieses Bandes gehen den Auswirkungen der technischen Veränderungen auf die Translation selbst sowie auf die sich stetig verändernden bzw. erweiternden
... En savoir plus
Build iOS Database Apps with Swift and SQLite

par Kevin Languedoc ...

Collections series Professional and Applied Computing (R0)
Discover the essential concepts and new iOS 10 SDK and Swift 3 programming language APIs to build iPhone and iPad database driven applications using the defacto standard for data storage for mobile apps, SQLite.You will learn about SQL operations, such as selecting, inserting, updating and deleting data using various data types like text, numerical types, images and even audio/video data. After ... En savoir plus

$44.99 CAD

Discover the essential concepts and new iOS 10 SDK and Swift 3 programming language APIs to build iPhone and iPad database driven applications using the defacto standard for data storage for mobile apps, SQLite.You will learn about SQL operations, such as selecting, inserting, updating and deleting data using various data types like text, numerical types, images and even audio/video data. After
... En savoir plus
Quantum Computing by Practice

Python Programming in the Cloud with Qiskit and IBM-Q

par Vladimir Silva ...

Collections series Professional and Applied Computing (R0)
Learn to write algorithms and program in the new field of quantum computing. This second edition is updated to equip you with the latest knowledge and tools needed to be a complex problem-solver in this ever-evolving landscape. The book has expanded its coverage of current and future advancements and investments by IT companies in this emerging technology. Most chapters are thoroughly revised to ... En savoir plus

$56.99 CAD

Learn to write algorithms and program in the new field of quantum computing. This second edition is updated to equip you with the latest knowledge and tools needed to be a complex problem-solver in this ever-evolving landscape. The book has expanded its coverage of current and future advancements and investments by IT companies in this emerging technology. Most chapters are thoroughly revised to
... En savoir plus
A Programmer's Companion to Algorithm Analysis

par Ernst L. Leiss ...

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary ... En savoir plus

$152.99 CAD

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary
... En savoir plus
Open Multithreaded Transactions

A Transaction Model for Concurrent Object-Oriented Programming

par Jörg Kienzle ...

Collections series Computer Science (R0)
$115.99 CAD
Modelling Foundations and Applications

13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Modifié par Anthony Anjorin, Huáscar Espinoza ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution
... En savoir plus
Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Modifié par Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their
... 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.99 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
Understanding Network Hacks

Attack and Defense with Python

par Bastian Ballmann ...

Collections series Engineering (R0)
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as ... En savoir plus

$51.99 CAD

This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as
... En savoir plus
Einstieg in Java und OOP

Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung

par Christian Silberbauer ...

Collections series Computer Science and Engineering (German Language)
Der Autor schafft auf didaktisch kluge Weise einen Weg in die Welt der Objektorientierten Programmierung. Er beschreibt die entsprechenden Konzepte nicht einfach nur, sondern erklärt darüber hinaus auch Hintergründe und Zusammenhänge. Seinem Blick fürs Wesentliche kombiniert er mit einer lockeren Erzählweise.Lernen Sie die grundlegenden Konzepte der Programmierung mit Java kennen. Gewinnen Sie ... En savoir plus

$32.99 CAD

Der Autor schafft auf didaktisch kluge Weise einen Weg in die Welt der Objektorientierten Programmierung. Er beschreibt die entsprechenden Konzepte nicht einfach nur, sondern erklärt darüber hinaus auch Hintergründe und Zusammenhänge. Seinem Blick fürs Wesentliche kombiniert er mit einer lockeren Erzählweise.Lernen Sie die grundlegenden Konzepte der Programmierung mit Java kennen. Gewinnen Sie
... En savoir plus
Programming Languages and Systems

33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Modifié par Stephanie Weirich ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected ... En savoir plus

Gratuit

The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected
... En savoir plus
Languages and Compilers for Parallel Computing

31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

Modifié par Mary Hall, Hari Sundar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised full papers were carefully reviewed and selected from 26 submissions. Specific topics are compiling for parallelism and parallel compilers, static, dynamic, and ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised full papers were carefully reviewed and selected from 26 submissions. Specific topics are compiling for parallelism and parallel compilers, static, dynamic, and
... En savoir plus
Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Modifié par Wolfgang Ahrendt, Heike Wehrheim ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in
... En savoir plus
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Modifié par Erika Ábrahám, Marieke Huisman ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... En savoir plus

$102.99 CAD

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and
... En savoir plus
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide

A Comprehensive OCPJP 8 Certification Guide

par Hari Kiran Kumar, Tushar Sharma, SG Ganesh ...

Collections series Professional and Applied Computing (R0)
This book is a comprehensive, step-by-step and one-stop guide for the Java SE 8 Programmer II exam (IZ0-809). Salient features of this book include: 100% coverage of the exam topics, a full-length mock exam, practice exam questions, exam notes and tips.Oracle Certified Professional Java SE 8 Programmer II Guide (Exam IZ0-809) is a comprehensive guide for the OCPJP 8 exam.The book starts by ... En savoir plus

$96.99 CAD

This book is a comprehensive, step-by-step and one-stop guide for the Java SE 8 Programmer II exam (IZ0-809). Salient features of this book include: 100% coverage of the exam topics, a full-length mock exam, practice exam questions, exam notes and tips.Oracle Certified Professional Java SE 8 Programmer II Guide (Exam IZ0-809) is a comprehensive guide for the OCPJP 8 exam.The book starts by
... En savoir plus
CODING INTERVIEW

A Beginner's Guide to Learn and Study the Theories and Principles of Coding and Perform Well in the Coding Interview

par Eric Schmidt ...

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your ... En savoir plus

$6.99 CAD

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your
... En savoir plus
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Modifié par Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... En savoir plus

$73.99 CAD

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and
... 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 :