Rakuten Kobo

NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Edited by Clark Barrett, Misty Davies, Temesghen Kahsai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... Read more

$58.04 CAD

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations,
... Read more
Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Edited by Nadia Polikarpova, Steve Schneider ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems,
... Read more
Expert T-SQL Window Functions in SQL Server

by Clayton Groom, Kathi Kellenberger ...

Series series Professional and Applied Computing (R0)
Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window ... Read more

$29.33 CAD

Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Read more

$58.04 CAD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Read more
Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Edited by Jules Desharnais, Walter Guttmann, Stef Joosten ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the ... Read more

$58.04 CAD

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the
... Read more
Pro TBB

C++ Parallel Programming with Threading Building Blocks

by Michael Voss, Rafael Asenjo, James Reinders ...

Series series Professional and Applied Computing (R0)
This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices ... Read more

Free

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices
... Read more
Getting Started with Advanced C#

Upgrade Your Programming Skills

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to ... Read more

$86.84 CAD

Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to
... Read more
Decoding Oracle Database: A Comprehensive Guide to Mastery

by Kameron Hussain, Frahaan Hussain ...

"Decoding Oracle Database: A Comprehensive Guide to Mastery" is the definitive resource for database administrators, developers, and IT professionals seeking to deepen their knowledge and expertise in Oracle Database. This extensive guide covers everything from the foundational aspects of database architecture to advanced techniques in performance tuning, security, and cloud integration.Written by ... Read more

$13.99 CAD or Free with Kobo Plus

"Decoding Oracle Database: A Comprehensive Guide to Mastery" is the definitive resource for database administrators, developers, and IT professionals seeking to deepen their knowledge and expertise in Oracle Database. This extensive guide covers everything from the foundational aspects of database architecture to advanced techniques in performance tuning, security, and cloud integration.Written by
... Read more
Conquer AZ-305: Architecting Azure Like a Pro

by Kameron Hussain, Frahaan Hussain ...

Conquer AZ-305: Architecting Azure Like a Pro is the ultimate guide for aspiring Microsoft Certified: Azure Solutions Architects. Designed for IT professionals preparing for the AZ-305 exam, this comprehensive book delivers the knowledge, strategies, and confidence needed to pass the exam and excel in real-world cloud architecture roles.This expertly crafted study guide covers every domain of the ... Read more

$13.99 CAD or Free with Kobo Plus

Conquer AZ-305: Architecting Azure Like a Pro is the ultimate guide for aspiring Microsoft Certified: Azure Solutions Architects. Designed for IT professionals preparing for the AZ-305 exam, this comprehensive book delivers the knowledge, strategies, and confidence needed to pass the exam and excel in real-world cloud architecture roles.This expertly crafted study guide covers every domain of the
... Read more
Kickstart Compiler Design Fundamentals

Practical Techniques and Solutions for Compiler Design, Parsing, Optimization, and Code Generation (English Edition)

by Sandeep R, Dr. Likewin Thomas, Dr. Rajesh Yakkundimath ...

Unveiling Compiler Secrets from Source to Execution.Book DescriptionCompilers are the backbone of modern computing, enabling programming languages to power everything from web applications to high-performance systems. Kickstart Compiler Design Fundamentals is the perfect starting point for anyone eager to explore the world of compiler construction.This book takes a structured, beginner-friendly ... Read more

$24.74 CAD or Free with Kobo Plus

Unveiling Compiler Secrets from Source to Execution.Book DescriptionCompilers are the backbone of modern computing, enabling programming languages to power everything from web applications to high-performance systems. Kickstart Compiler Design Fundamentals is the perfect starting point for anyone eager to explore the world of compiler construction.This book takes a structured, beginner-friendly
... Read more
Secure the Cloud: Azure Networking for Engineers

by Kameron Hussain, Frahaan Hussain ...

Secure the Cloud: Azure Networking for Engineers is your ultimate guide to building robust, scalable, and secure network architectures in Microsoft Azure. Designed for cloud engineers, architects, and IT professionals, this book delivers a structured, in-depth approach to mastering Azure networking—from foundational concepts to advanced implementations.Start your journey with an overview of cloud ... Read more

$13.99 CAD or Free with Kobo Plus

Secure the Cloud: Azure Networking for Engineers is your ultimate guide to building robust, scalable, and secure network architectures in Microsoft Azure. Designed for cloud engineers, architects, and IT professionals, this book delivers a structured, in-depth approach to mastering Azure networking—from foundational concepts to advanced implementations.Start your journey with an overview of cloud
... Read more
C# 10 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

by Mikael Olsson ...

Series Book 10 - Professional and Applied Computing (R0)
Discover what's new in C# and .NET for Windows programming. This book is a condensed code and syntax reference to the C# programming language, updated with the latest features of version 10 for .NET 6.You'll review the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes, ... Read more

$37.97 CAD

Discover what's new in C# and .NET for Windows programming. This book is a condensed code and syntax reference to the C# programming language, updated with the latest features of version 10 for .NET 6.You'll review the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes,
... Read more
CSS3 Quick Syntax Reference

A Pocket Guide to the Cascading Style Sheets Language

by Mikael Olsson ...

Series series Professional and Applied Computing (R0)
The CSS3 Quick Syntax Reference is a 150-page syntax reference to the Cascading Style Sheets language. It presents the essentials of CSS3 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 CSS reference that is concise, to the point, and highly ... Read more

$40.13 CAD

The CSS3 Quick Syntax Reference is a 150-page syntax reference to the Cascading Style Sheets language. It presents the essentials of CSS3 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 CSS reference that is concise, to the point, and highly
... Read more
Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Edited by Fabio Fioravanti, John P. Gallagher ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by ... Read more

$58.04 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by
... Read more
Formal Aspects of Component Software

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

Edited by Kyungmin Bae, Peter Csaba Ölveczky ...

Series 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 ... Read more

$58.04 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
... Read more
Accelerator Programming Using Directives

5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Read more

$58.04 CAD

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Read more
Product-Focused Software Process Improvement

20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Edited by Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019.The 24 revised full papers 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 104 submissions. The papers cover a broad range of topics related to professional software ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019.The 24 revised full papers 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 104 submissions. The papers cover a broad range of topics related to professional software
... Read more
JRuby Rails Web Application Development

by Deepak Vohra ...

Series series Computer Science (R0)
This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle® ... Read more

$58.04 CAD

This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle®
... Read more
Clean Ruby

A Guide to Crafting Better Code for Rubyists

by Carleton DiLeo ...

Series series Professional and Applied Computing (R0)
Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity. ... Read more

$51.02 CAD

Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity.
... Read more
Java 17 Quick Syntax Reference

A Pocket Guide to the Java SE Language, APIs, and Library

by Mikael Olsson ...

Series series Professional and Applied Computing (R0)
Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and ... Read more

$51.02 CAD

Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and
... Read more
Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and
... Read more
Computer Safety, Reliability, and Security

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

Edited by 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 ... Read more

$58.04 CAD

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
... Read more
Structured Object-Oriented Formal Language and Method

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Edited by Zhenhua Duan, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... Read more

$58.04 CAD

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model
... Read more
Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Edited by Radu Calinescu, Bernhard Rumpe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Compilers eBooks

Show: