Rakuten Kobo

Carrello

Prodotti non disponibili per l'acquisto

Controlla il carrello. È possibile eliminare uno o più prodotti, oppure verranno rimossi automaticamente prima del pagamento.

elementielemento

- Accesso illimitato agli eBook
  
  Accesso illimitato agli audiolibri
  
  Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions
  
  Ottieni 1 credito ogni mese per l'audiolibro che preferisci
  
  Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions
  
  Accesso illimitato agli eBook
  
  Accesso illimitato agli audiolibri
  
  Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions
  Audiolibro
  di ,
  
  Disponibile:
  
  . Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions.
  
  Preordina
  1 audiolibro mensile
  
  + Prova gratis per 30 giorni
  
  Offerta speciale
  
  Ricevi 1 credito ogni mese per scambiare un audiolibro a tua scelta
  
  *Nessun impegno, potrai annullare in qualsiasi momento
  
  GRATIS

elementielemento

Accesso illimitato agli eBook

Accesso illimitato agli audiolibri

Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions

Ottieni 1 credito ogni mese per l'audiolibro che preferisci

Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions

Accesso illimitato agli eBook

Accesso illimitato agli audiolibri

Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions
Audiolibro
di ,

Disponibile:
. Nessun impegno, annulla in qualsiasi momento su kobo.com/account/subscriptions.

Preordina
1 audiolibro mensile

+ Prova gratis per 30 giorni

Offerta speciale

Ricevi 1 credito ogni mese per scambiare un audiolibro a tua scelta

*Nessun impegno, potrai annullare in qualsiasi momento

GRATIS

Consigliati per te

Skip side bar filters

Granular, Fuzzy, and Soft Computing

Rivisto da Tsau-Young Lin, Churn-Jung Liau, Janusz Kacprzyk ...

Serie series Reference Module Computer Science and Engineering
The first edition of the Encyclopedia of Complexity and Systems Science (ECSS, 2009) presented a comprehensive overview of granular computing (GrC) broadly divided into several categories: Granular computing from rough set theory, Granular Computing in Database Theory, Granular Computing in Social Networks, Granular Computing and Fuzzy Set Theory, Grid/Cloud Computing, as well as general issues in ... Altre info

421,19 €

The first edition of the Encyclopedia of Complexity and Systems Science (ECSS, 2009) presented a comprehensive overview of granular computing (GrC) broadly divided into several categories: Granular computing from rough set theory, Granular Computing in Database Theory, Granular Computing in Social Networks, Granular Computing and Fuzzy Set Theory, Grid/Cloud Computing, as well as general issues in
... Altre info

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Rivisto da Hana Chockler, Georg Weissenbacher ...

Serie eBook 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Altre info

Gratis

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Altre info
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Rivisto da Shuvendu K. Lahiri, Chao Wang ...

Serie eBook 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Altre info

Gratis

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Altre info
Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Rivisto da Alexandra Silva, K. Rustan M. Leino ...

Serie eBook 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Altre info

Gratis

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Altre info
Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Rivisto da Isil Dillig, Serdar Tasiran ...

Serie eBook 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Altre info

Gratis

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... Altre info
Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Rivisto da Tomáš Vojnar, Lijun Zhang ...

Serie eBook 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Altre info

Gratis

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of
... Altre info
Data Analysis For Network Cyber-security

di Niall M Adams, Nicholas A Heard ...

There is increasing pressure to protect computer networks against unauthorized intrusion, and some work in this area is concerned with engineering systems that are robust to attack. However, no system can be made invulnerable. Data Analysis for Network Cyber-Security focuses on monitoring and analyzing network traffic data, with the intention of preventing, or quickly identifying, malicious ... Altre info

32,13 €

There is increasing pressure to protect computer networks against unauthorized intrusion, and some work in this area is concerned with engineering systems that are robust to attack. However, no system can be made invulnerable. Data Analysis for Network Cyber-Security focuses on monitoring and analyzing network traffic data, with the intention of preventing, or quickly identifying, malicious
... Altre info
Foundations of Software Science and Computation Structures

26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Rivisto da Orna Kupferman, Pawel Sobocinski ...

Serie series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected ... Altre info

Gratis

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected
... Altre info
Computation, Cryptography, and Network Security

Rivisto da Nicholas J. Daras, Michael Th. Rassias ...

Serie series Mathematics and Statistics (R0)
Analysis, assessment, and data management are core competencies for operation research analysts. This volume addresses a number of issues and developed methods for improving those skills. It is an outgrowth of a conference held in April 2013 at the Hellenic Military Academy, and brings together a broad variety of mathematical methods and theories with several applications. It discusses directions ... Altre info

84,23 €

Analysis, assessment, and data management are core competencies for operation research analysts. This volume addresses a number of issues and developed methods for improving those skills. It is an outgrowth of a conference held in April 2013 at the Hellenic Military Academy, and brings together a broad variety of mathematical methods and theories with several applications. It discusses directions
... Altre info
Sparse Coding And Its Applications In Computer Vision

di Zhaowen Wang, Jianchao Yang, Haichao Zhang, Zhangyang Wang, Thomas S Huang, Ding Liu, Yingzhen Yang ...

This book provides a broader introduction to the theories and applications of sparse coding techniques in computer vision research. It introduces sparse coding in the context of representation learning, illustrates the fundamental concepts, and summarizes the most active research directions. A variety of applications of sparse coding are discussed, ranging from low-level image processing tasks ... Altre info

32,96 €

This book provides a broader introduction to the theories and applications of sparse coding techniques in computer vision research. It introduces sparse coding in the context of representation learning, illustrates the fundamental concepts, and summarizes the most active research directions. A variety of applications of sparse coding are discussed, ranging from low-level image processing tasks
... Altre info
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Rivisto da Constantin Enea, Akash Lal ...

Serie eBook 2 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Altre info

Gratis

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Altre info
Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Rivisto da Sharon Shoham, Yakir Vizel ...

Serie eBook 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following ... Altre info

Gratis

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following
... Altre info

eReader

Applicazioni

Accessori

Che cosa sono i Kobo Super Points?

Premiati

Carrello

Sarai trattato da vero VIP!

Il tuo carrello è vuoto

Disponibile:

1 audiolibro mensile

+ Prova gratis per 30 giorni

Disponibile:

1 audiolibro mensile

+ Prova gratis per 30 giorni

Consigliati per te

Reference Module Computer Science and Engineering Serie di eBook

Granular, Fuzzy, and Soft Computing

Alle persone che lo hanno letto sono anche piaciuti

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Data Analysis For Network Cyber-security

Foundations of Software Science and Computation Structures

Computation, Cryptography, and Network Security

Sparse Coding And Its Applications In Computer Vision

Computer Aided Verification

Computer Aided Verification