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

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  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
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  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

Unlimited access to eBooks

Unlimited access to audiobooks

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

Unlimited access to eBooks

Unlimited access to audiobooks

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

From Requirements to Java in a Snap

Model-Driven Requirements Engineering in Practice

by Wiktor Nowakowski, Michał Śmiałek ...

Series series Computer Science (R0)
This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic treatment of requirements within the realm of modelling and model transformations. The underlying basic assumption is that detailed requirements models are used as first-class artefacts playing a direct role in constructing software. To this end, the book presents the Requirements ... Read more

$49.49 USD

This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic treatment of requirements within the realm of modelling and model transformations. The underlying basic assumption is that detailed requirements models are used as first-class artefacts playing a direct role in constructing software. To this end, the book presents the Requirements
... Read more

Sets, Logic and Maths for Computing

by David Makinson ...

Series series Computer Science (R0)
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic ... Read more

$31.49 USD

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic
... 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

$40.49 USD

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
Beginning Julia Programming

For Engineers and Scientists

by Sandeep Nagar ...

Series series Professional and Applied Computing (R0)
Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... Read more

$71.99 USD

Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you
... Read more
New Frontiers in Artificial Intelligence

JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

Edited by Yukiko Nakano, Ken Satoh, Daisuke Bekki ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and
... Read more
Database and Expert Systems Applications

28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

Edited by Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017.The 37 revised full papers presented together with 40 short papers were carefully reviewed and selected from 166 submissions. The papers discuss a range of topics including: Semantic Web and ... Read more

$49.49 USD

This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017.The 37 revised full papers presented together with 40 short papers were carefully reviewed and selected from 166 submissions. The papers discuss a range of topics including: Semantic Web and
... Read more
Using Event-B for Critical Device Software Systems

by Neeraj Kumar Singh ...

Series series Computer Science (R0)
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker. ... Read more

$89.09 USD

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker.
... Read more
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Read more

$53.99 USD

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected
... Read more
Computer Logic

Design Principles and Applications

by John Y. Hsu ...

Series series Computer Science (R0)
An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern ... Read more

$49.49 USD

An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern
... Read more
Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Edited by Sujata Ghosh, Sanjiva Prasad ...

Series series Springer Nature Proceedings Computer Science
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference.The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. ... Read more

$49.99 USD

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference.The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role.
... Read more
Graph Structures for Knowledge Representation and Reasoning

4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

Edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected
... Read more
Recent Trends in Algebraic Development Techniques

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal ... Read more

$40.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal
... 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

Top Series in United States

Computer Science (R0)

From Requirements to Java in a Snap

People who read this also enjoyed

Sets, Logic and Maths for Computing

A Concise Introduction to Languages and Machines

Beginning Julia Programming

New Frontiers in Artificial Intelligence

Database and Expert Systems Applications

Using Event-B for Critical Device Software Systems

Practical Aspects of Declarative Languages

Computer Logic

Logic and Its Applications

Graph Structures for Knowledge Representation and Reasoning

Recent Trends in Algebraic Development Techniques

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

Top Series in United States

Computer Science (R0)

Show:

People who read this also enjoyed