Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Skip side bar filters

Mastering Scientific Computing with R

by Paul Gerrard, Radia M. Johnson ...

0 ... Read more

$37.99 CAD or Free with Kobo Plus

0
... Read more

CodeNotes for J2EE

EJB, JDBC, JSP and Servlets

by Gregory Brill ...

Series series CodeNotes
CodeNotes provides the most succinct, accurate, and speedy way for a developer to ramp up on a new technology or language. Unlike other programming books, CodeNotes drills down to the core aspects of a technology, focusing on the key elements needed in order to understand it quickly and implement it immediately. It is a unique resource for developers, filling the gap between comprehensive manuals ... Read more

$6.99 CAD

CodeNotes provides the most succinct, accurate, and speedy way for a developer to ramp up on a new technology or language. Unlike other programming books, CodeNotes drills down to the core aspects of a technology, focusing on the key elements needed in order to understand it quickly and implement it immediately. It is a unique resource for developers, filling the gap between comprehensive manuals
... Read more
Beginning Java 8 Games Development

by Wallace Jackson ...

Series series Professional and Applied Computing (R0)
Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and ... Read more

$63.99 CAD

Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and
... Read more
Beginning EJB 3

Java EE 7 Edition

by Jonathan Wetherbee, Raghu Kodali, Peter Zadrozny, Chirag Rathod ...

Series series Professional and Applied Computing (R0)
Develop powerful, standards-based, back-end business logic with Beginning EJB 3, Java EE 7 Edition. Led by an author team with 20 years of combined Enterprise JavaBeans experience, you'll learn how to use the new EJB 3.2 APIs. You'll gain the knowledge and skills you’ll need to create the complex enterprise applications that run today's transactions and more.Targeted at Java and Java EE developers ... Read more

$63.99 CAD

Develop powerful, standards-based, back-end business logic with Beginning EJB 3, Java EE 7 Edition. Led by an author team with 20 years of combined Enterprise JavaBeans experience, you'll learn how to use the new EJB 3.2 APIs. You'll gain the knowledge and skills you’ll need to create the complex enterprise applications that run today's transactions and more.Targeted at Java and Java EE developers
... Read more
Guide to HTML, JavaScript and PHP

For Scientists and Engineers

by David R. Brooks ...

Series series Computer Science (R0)
This book enables readers to quickly develop a working knowledge of HTML, JavaScript and PHP. The text emphasizes a hands-on approach to learning and makes extensive use of examples. A detailed science, engineering, or mathematics background is not required to understand the material, making the book ideally suitable for self-study or an introductory course in programming. Features: describes the ... Read more

$83.99 CAD

This book enables readers to quickly develop a working knowledge of HTML, JavaScript and PHP. The text emphasizes a hands-on approach to learning and makes extensive use of examples. A detailed science, engineering, or mathematics background is not required to understand the material, making the book ideally suitable for self-study or an introductory course in programming. Features: describes the
... Read more
Essential SQLAlchemy

Mapping Python to Databases

by Jason Myers, Rick Copeland ...

Dive into SQLAlchemy, the popular, open-source code library that helps Python programmers work with relational databases such as Oracle, MySQL, PostgresSQL, and SQLite. Using real-world examples, this practical guide shows you how to build a simple database application with SQLAlchemy, and how to connect to multiple databases simultaneously with the same metadata.SQL is a powerful language for ... Read more

$28.99 CAD

Dive into SQLAlchemy, the popular, open-source code library that helps Python programmers work with relational databases such as Oracle, MySQL, PostgresSQL, and SQLite. Using real-world examples, this practical guide shows you how to build a simple database application with SQLAlchemy, and how to connect to multiple databases simultaneously with the same metadata.SQL is a powerful language for
... Read more
Java: The Good Parts

Unearthing the Excellence in Java

by Jim Waldo ...

What if you could condense Java down to its very best features and build better applications with that simpler version? In this book, veteran Sun Labs engineer Jim Waldo reveals which parts of Java are most useful, and why those features make Java among the best programming languages available.Every language eventually builds up crud, Java included. The core language has become increasingly large ... Read more

$21.99 CAD

What if you could condense Java down to its very best features and build better applications with that simpler version? In this book, veteran Sun Labs engineer Jim Waldo reveals which parts of Java are most useful, and why those features make Java among the best programming languages available.Every language eventually builds up crud, Java included. The core language has become increasingly large
... Read more
Mastering Perl

Creating Professional Programs with Perl

by brian d foy ...

Take the next step toward Perl mastery with advanced concepts that make coding easier, maintenance simpler, and execution faster. Mastering Perl isn't a collection of clever tricks, but a way of thinking about Perl programming for solving debugging, configuration, and many other real-world problems you’ll encounter as a working programmer.The third in O’Reilly’s series of landmark Perl tutorials ... Read more

$32.99 CAD

Take the next step toward Perl mastery with advanced concepts that make coding easier, maintenance simpler, and execution faster. Mastering Perl isn't a collection of clever tricks, but a way of thinking about Perl programming for solving debugging, configuration, and many other real-world problems you’ll encounter as a working programmer.The third in O’Reilly’s series of landmark Perl tutorials
... Read more
A Concise Introduction to Languages and Machines

by Alan P. Parkes ...

Series series Computer Science (R0)
A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Read more

$36.99 CAD

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear
... Read more
Modeling in Event-B

System and Software Engineering

by Jean-Raymond Abrial ...

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. ... Read more

$164.99 CAD

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs.
... Read more
Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Edited by Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Edited by Axel Legay, Tiziana Margaria ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... Read more

$64.99 CAD

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

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

“radia m johnson”

Mastering Scientific Computing with R

People who read this also enjoyed

CodeNotes for J2EE

Beginning Java 8 Games Development

Beginning EJB 3

Guide to HTML, JavaScript and PHP

Essential SQLAlchemy

Java: The Good Parts

Mastering Perl

A Concise Introduction to Languages and Machines

Modeling in Event-B

Formal Techniques for Safety-Critical Systems

Tools and Algorithms for the Construction and Analysis of Systems

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

“radia m johnson”

Show:

People who read this also enjoyed