Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Obtenez 1 crédit chaque mois pour le livre audio de votre choix
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.
  
  Précommander
  1 livre audio par mois
  
  + Essai GRATUIT de 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Aucun engagement. Résiliez votre abonnement à tout moment.
  
  GRATUIT

articlesarticle

Accès illimité aux eBooks

Accès illimité aux livres audio

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Obtenez 1 crédit chaque mois pour le livre audio de votre choix

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Accès illimité aux eBooks

Accès illimité aux livres audio

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.

Précommander
1 livre audio par mois

+ Essai GRATUIT de 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Aucun engagement. Résiliez votre abonnement à tout moment.

GRATUIT

Recommandé pour vous

Skip side bar filters

Introduction to Scilab

For Engineers and Scientists

par Sandeep Nagar ...

Collections series Professional and Applied Computing (R0)
Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Scilab. Introduction to Scilab is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you ... En savoir plus

$56.99 CAD

Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Scilab. Introduction to Scilab is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you
... En savoir plus
Beginning Julia Programming

For Engineers and Scientists

par Sandeep Nagar ...

Collections 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 ... En savoir plus

$95.99 CAD

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
... En savoir plus
Introduction to MATLAB for Engineers and Scientists

Solutions for Numerical Computation and Modeling

par Sandeep Nagar ...

Collections series Professional and Applied Computing (R0)
Familiarize yourself with MATLAB using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting and working with files, numerical computation formalism, and the primary concepts of approximations. Introduction to MATLAB is useful for industry engineers, researchers, and students who are looking ... En savoir plus

$44.99 CAD

Familiarize yourself with MATLAB using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting and working with files, numerical computation formalism, and the primary concepts of approximations. Introduction to MATLAB is useful for industry engineers, researchers, and students who are looking
... En savoir plus
Introduction to Octave

For Engineers and Scientists

par Sandeep Nagar ...

Collections series Professional and Applied Computing (R0)
Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Octave, which can run MATLAB files without modification. Introduction to Octave is useful for industry engineers, researchers, and students who are looking for open-source ... En savoir plus

$68.99 CAD

Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Octave, which can run MATLAB files without modification. Introduction to Octave is useful for industry engineers, researchers, and students who are looking for open-source
... En savoir plus
Introduction to Python for Engineers and Scientists

Open Source Solutions for Numerical Computation

par Sandeep Nagar ...

Collections series Professional and Applied Computing (R0)
Familiarize yourself with the basics of Python for engineering and scientific computations using this concise, practical tutorial that is focused on writing code to learn concepts. Introduction to Python is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you will learn by doing, avoiding technical jargon, ... En savoir plus

$68.99 CAD

Familiarize yourself with the basics of Python for engineering and scientific computations using this concise, practical tutorial that is focused on writing code to learn concepts. Introduction to Python is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you will learn by doing, avoiding technical jargon,
... En savoir plus

Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Modifié par José Proença, Markus Lumpe ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software
... En savoir plus
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Modifié par Sergei Artemov, Anil Nerode ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... En savoir plus
Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Modifié par Alessandro Abate, Gilles Geeraerts ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of
... En savoir plus
String Analysis for Software Verification and Security

par Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Collections series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... En savoir plus

$83.29 CAD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... En savoir plus
Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Modifié par Mohammad Reza Mousavi, Jiří Sgall ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming
... En savoir plus
Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Modifié par Xavier Rival ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow
... En savoir plus
ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Modifié par Arend Rensink, Joost-Pieter Katoen, Rom Langerak ...

Collections series Computer Science (R0)
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The ... En savoir plus

$64.09 CAD

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The
... En savoir plus

Kobo Rakuten

Liseuses

Applis

Accessoires

Qu'est ce que les Kobo Super Points ?

Faites-vous plaisir

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

Meilleures séries dans ce pays : Canada

Professional and Applied Computing (R0)

Introduction to Scilab

Beginning Julia Programming

Introduction to MATLAB for Engineers and Scientists

Introduction to Octave

Introduction to Python for Engineers and Scientists

Les lecteurs de ces romans ont aussi aimé

Formal Aspects of Component Software

Logical Foundations of Computer Science

Formal Modeling and Analysis of Timed Systems

String Analysis for Software Verification and Security

Topics in Theoretical Computer Science

Static Analysis

ModelEd, TestEd, TrustEd

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

Meilleures séries dans ce pays : Canada

Professional and Applied Computing (R0)

Afficher :

Les lecteurs de ces romans ont aussi aimé