Rakuten Kobo

Kickstart Compiler Design Fundamentals

de Sandeep Telkar R, Dr. Rajesh Yakkundimath, Dr. Likewin Thomas ...

Unveiling Compiler Secrets from Source to Execution.Key Features● Master compiler fundamentals, from lexical analysis to advanced optimization techniques.● Reinforce concepts with practical exercises, projects, and real-world case studies.● Explore LLVM, GCC, and industry-standard optimization methods for efficient code generation.Book DescriptionCompilers are the backbone of modern computing... ... Leer más

$18.99 USD

Unveiling Compiler Secrets from Source to Execution.Key Features● Master compiler fundamentals, from lexical analysis to advanced optimization techniques.● Reinforce concepts with practical exercises, projects, and real-world case studies.● Explore LLVM, GCC, and industry-standard optimization methods for efficient code generation.Book DescriptionCompilers are the backbone of modern computing...
... Leer más
JavaScript Essentials for SAP ABAP Developers

A Guide to Mobile and Desktop Application Development

de Rehan Zaidi ...

Series series Professional and Applied Computing (R0)
Easily master JavaScript (JS) with this quick guide and develop mobile and desktop applications for SAP Fiori. This book equips ABAP/SAP developers with the essential topics to get started with JS.The focus of JavaScript Essentials for SAP ABAP Developers is on the parts of the JS language that are useful from the perspective of an ABAP developer. The book starts with a brief intro to HTML, the ... Leer más

$31.99 USD

Easily master JavaScript (JS) with this quick guide and develop mobile and desktop applications for SAP Fiori. This book equips ABAP/SAP developers with the essential topics to get started with JS.The focus of JavaScript Essentials for SAP ABAP Developers is on the parts of the JS language that are useful from the perspective of an ABAP developer. The book starts with a brief intro to HTML, the
... Leer más
Beginning SQL Server R Services

Analytics for Data Scientists

de Bradley Beard ...

Series series Professional and Applied Computing (R0)
Learn how to develop powerful data analytics applications quickly for SQL Server database administrators and developers. Organizations will be able to sift data and derive the business intelligence needed to drive business decisions and profit. The addition of R to SQL Server 2016 places a powerful analytical processor into an environment most developers are already comfortable with – Visual ... Leer más

$31.99 USD

Learn how to develop powerful data analytics applications quickly for SQL Server database administrators and developers. Organizations will be able to sift data and derive the business intelligence needed to drive business decisions and profit. The addition of R to SQL Server 2016 places a powerful analytical processor into an environment most developers are already comfortable with – Visual
... Leer más
A Pipelined Multi-core MIPS Machine

Hardware Implementation and Correctness Proof

de Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul ...

Series series Computer Science (R0)
This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core ... Leer más

$49.99 USD

This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core
... Leer más
Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Edición de Andrei Paskevich, Thomas Wies ...

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

$49.99 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory
... Leer más
Programming Languages

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Edición de Alberto Pardo, S. Doaitse Swierstra ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. ... Leer más

$40.99 USD

This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
... Leer más
Advanced Python Development

Using Powerful Language Features in Real-World Applications

de Matthew Wilkes ...

Series series Professional and Applied Computing (R0)
This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... Leer más

$49.99 USD

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... Leer más
Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Edición de Shang-Wei Lin, Zhe Hou, Brendan Mahony ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... Leer más

$49.99 USD

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together
... Leer más
Design Patterns in C#

A Hands-on Guide with Real-world Examples

de Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Get hands-on experience with each Gang of Four (GoF) design pattern using C#. For each of the patterns, you will see at least one real-world scenario, a coding example, and a complete implementation including output. In addition to GoF patterns, you will learn additional design patterns which are common and equally important.In this second edition, you will go through the design patterns and their ... Leer más

$49.99 USD

Get hands-on experience with each Gang of Four (GoF) design pattern using C#. For each of the patterns, you will see at least one real-world scenario, a coding example, and a complete implementation including output. In addition to GoF patterns, you will learn additional design patterns which are common and equally important.In this second edition, you will go through the design patterns and their
... Leer más
Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Edición de Maurice H. ter Beek, Dejan Ničković ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. ... Leer más

$49.99 USD

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions.
... Leer más
Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Edición de Jeremy Avigad, Assia Mahboubi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... Leer más
Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

Edición de Chung-Kil Hur ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type ... Leer más

$58.99 USD

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type
... Leer más
Coordination Models and Languages

19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Edición de Jean-Marie Jacquet, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... Leer más

$49.99 USD

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers
... Leer más
Die Erfindung von TikTok

Reels, Clips und Kreativität

de Lutz Spilker ...

TikTok hat die digitale Welt im Sturm erobert und die Art und Weise, wie wir Inhalte konsumieren und produzieren, revolutioniert. Doch wie entstand diese Plattform, die Millionen Menschen weltweit in ihren Bann zieht? Was steckt hinter den kurzen Clips, den viralen Trends und der grenzenlosen Kreativität ihrer Nutzer? In ›Die Erfindung von TikTok: Reels, Clips und Kreativität‹ entführt Sie Lutz ... Leer más

$3.99 USD

TikTok hat die digitale Welt im Sturm erobert und die Art und Weise, wie wir Inhalte konsumieren und produzieren, revolutioniert. Doch wie entstand diese Plattform, die Millionen Menschen weltweit in ihren Bann zieht? Was steckt hinter den kurzen Clips, den viralen Trends und der grenzenlosen Kreativität ihrer Nutzer? In ›Die Erfindung von TikTok: Reels, Clips und Kreativität‹ entführt Sie Lutz
... Leer más
Scaling OpenMP for Exascale Performance and Portability

13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Edición de Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; ... Leer más

$49.99 USD

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking;
... Leer más
asyncio Recipes

A Problem-Solution Approach

de Mohamed Mustapha Tahrioui ...

Series series Professional and Applied Computing (R0)
Get the most out of asyncio and find solutions to your most troubling Python programming problems. This book offers a pragmatic collection of recipes by going beyond online resources and docs to provide guidance on using this complex library. As such, you’ll see how to improve application performance and run computationally intensive programs faster.asyncio Recipes starts with examples ... Leer más

$31.99 USD

Get the most out of asyncio and find solutions to your most troubling Python programming problems. This book offers a pragmatic collection of recipes by going beyond online resources and docs to provide guidance on using this complex library. As such, you’ll see how to improve application performance and run computationally intensive programs faster.asyncio Recipes starts with examples
... Leer más
Java XML and JSON

de JEFF FRIESEN ...

Series series Professional and Applied Computing (R0)
Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select ... Leer más

$31.99 USD

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select
... Leer más
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

de Mikael Olsson ...

Series Libro 7 - Professional and Applied Computing (R0)
This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... Leer más

$28.99 USD

This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code
... Leer más
Practical Microservices Architectural Patterns

Event-Based Java Microservices with Spring Boot and Spring Cloud

de Binildas Christudas ...

Series series Professional and Applied Computing (R0)
Take your distributed applications to the next level and see what the reference architectures associated with microservices can do for you. This book begins by showing you the distributed computing architecture landscape and provides an in-depth view of microservices architecture. Following this, you will work with CQRS, an essential pattern for microservices, and get a view of how distributed ... Leer más

$71.99 USD

Take your distributed applications to the next level and see what the reference architectures associated with microservices can do for you. This book begins by showing you the distributed computing architecture landscape and provides an in-depth view of microservices architecture. Following this, you will work with CQRS, an essential pattern for microservices, and get a view of how distributed
... Leer más
Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Edición de Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal ... Leer más

$76.99 USD

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal
... Leer más
Peripheral Nerve Block

Pharmacologic — By Local Anesthesia Electric — By Transdermal Stimulation

de F.L. Jenkner ...

Series series Medicine (R0)
Fifty years ago surgeons often performed various operations in conduction anesthesia or local anesthesia in the hope of circumventing pulmonary complications. The prepa ration for the operation was the task of an assistant who had to know and carry out the diverse local anesthetic procedures and who was responsible for their effective ness. In this way a large number of physicians learned to carry ... Leer más

$31.99 USD

Fifty years ago surgeons often performed various operations in conduction anesthesia or local anesthesia in the hope of circumventing pulmonary complications. The prepa ration for the operation was the task of an assistant who had to know and carry out the diverse local anesthetic procedures and who was responsible for their effective ness. In this way a large number of physicians learned to carry
... Leer más
The China Information Technology Handbook

Edición de Patricia Ordóñez de Pablos, Miltiadis D. Lytras ...

Series series Computer Science (R0)
Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice ... Leer más

$188.99 USD

Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice
... Leer más
Computer Safety, Reliability, and Security

SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Edición de Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's
... 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.99 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

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: