Rakuten Kobo

Warenkorb

Artikel nicht erhältlich

Bitte überprüfen Sie Ihren Warenkorb. Sie können nicht verfügbare Artikel jetzt entfernen. Andernfalls werden diese beim Bezahlen automatisch entfernt.

ElementeElement

- Unbegrenzter Zugriff auf eBooks
  
  Unbegrenzter Zugriff auf Hörbücher
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Unbegrenzter Zugriff auf eBooks
  
  Unbegrenzter Zugriff auf Hörbücher
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  Hörbuch
  von ,
  
  Erhältlich ab:
  
  . Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.
  
  Vorbestellen
  1 Hörbuch monatlich
  
  + 30 Tage kostenlos testen
  
  Willkommensgeschenk
  
  Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können
  
  * Keine Bindung, jederzeit kündbar
  
  KOSTENLOS

ElementeElement

Unbegrenzter Zugriff auf eBooks

Unbegrenzter Zugriff auf Hörbücher

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Unbegrenzter Zugriff auf eBooks

Unbegrenzter Zugriff auf Hörbücher

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
Hörbuch
von ,

Erhältlich ab:
. Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.

Vorbestellen
1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Willkommensgeschenk

Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können

* Keine Bindung, jederzeit kündbar

KOSTENLOS

Empfehlungen für Sie

Fundamentals of Software Architecture

A Modern Engineering Approach

von Mark Richards, Neal Ford …

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural … Lesen Sie mehr

€ 49,16

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This updated edition provides a comprehensive overview of software architecture's many aspects, with five new chapters covering the latest insights from the field. Aspiring and existing architects alike will examine architectural
... Lesen Sie mehr
High-speed Serial Buses in Embedded Systems

von Feng Zhang …

This book describes the most frequently used high-speed serial buses in embedded systems, especially those used by FPGAs. These buses employ SerDes, JESD204, SRIO, PCIE, Aurora and SATA protocols for chip-to-chip and board-to-board communication, and CPCIE, VPX, FC and Infiniband protocols for inter-chassis communication. For each type, the book provides the bus history and version info, while … Lesen Sie mehr

€ 118,79

This book describes the most frequently used high-speed serial buses in embedded systems, especially those used by FPGAs. These buses employ SerDes, JESD204, SRIO, PCIE, Aurora and SATA protocols for chip-to-chip and board-to-board communication, and CPCIE, VPX, FC and Infiniband protocols for inter-chassis communication. For each type, the book provides the bus history and version info, while
... Lesen Sie mehr
Computational Autism

von Boris Galitsky …

Serien series Computer Science (R0)
This book explores and evaluates accounts and models of autistic reasoning and cognition from a computational standpoint. The author investigates the limitations and peculiarities of autistic reasoning and sets out a remediation strategy to be used by a wide range of psychologists and rehabilitation personnel and will also be appreciated by computer scientists who are interested in the practical … Lesen Sie mehr

€ 89,09

This book explores and evaluates accounts and models of autistic reasoning and cognition from a computational standpoint. The author investigates the limitations and peculiarities of autistic reasoning and sets out a remediation strategy to be used by a wide range of psychologists and rehabilitation personnel and will also be appreciated by computer scientists who are interested in the practical
... Lesen Sie mehr
Job Scheduling Strategies for Parallel Processing

28th International Workshop, JSSPP 2025, Milan, Italy, June 3–4, 2025, Revised Selected Papers

Bearbeitet von Dalibor Klusáček, Julita Corbalán, Gonzalo P. Rodrigo …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 28th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2025, held in Milan, Italy, during June 3-4, 2025.The 17 full papers and 1 keynote paper presented in this book were carefully reviewed and selected from 25 submissions. These papers covered interesting topics within the resource management and scheduling … Lesen Sie mehr

€ 79,19

This book constitutes the refereed proceedings of the 28th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2025, held in Milan, Italy, during June 3-4, 2025.The 17 full papers and 1 keynote paper presented in this book were carefully reviewed and selected from 25 submissions. These papers covered interesting topics within the resource management and scheduling
... Lesen Sie mehr
Machine Learning for Medical Image Reconstruction

First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Bearbeitet von Florian Knoll, Andreas Maier, Daniel Rueckert …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the First International Workshop on Machine Learning for Medical Reconstruction, MLMIR 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018.The 17 full papers presented were carefully reviewed and selected from 21 submissions. The papers are organized in the following topical sections: deep learning for magnetic … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the First International Workshop on Machine Learning for Medical Reconstruction, MLMIR 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018.The 17 full papers presented were carefully reviewed and selected from 21 submissions. The papers are organized in the following topical sections: deep learning for magnetic
... Lesen Sie mehr
Network and Parallel Computing

19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings

Bearbeitet von Shaoshan Liu, Xiaohui Wei …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2022, which was held in Jinan, China, during September 24-25, 2022.The 23 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: computer architecture; cloud … Lesen Sie mehr

€ 84,14

This book constitutes the proceedings of the 19th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2022, which was held in Jinan, China, during September 24-25, 2022.The 23 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: computer architecture; cloud
... Lesen Sie mehr
Applied Computer Sciences in Engineering

6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Bearbeitet von Juan Carlos Figueroa-García, Mario Duarte-González, Sebastián Jaramillo-Isaza, Alvaro David Orjuela-Cañon, Yesid Díaz-Gutierrez …

Serien series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019.The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence; … Lesen Sie mehr

€ 89,09

This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019.The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence;
... Lesen Sie mehr
Time & Logic

A Computational Approach

Bearbeitet von Leonard Bolc, Andrzej Szałas …

Serien series Routledge Revivals
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of … Lesen Sie mehr

€ 46,74

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of
... Lesen Sie mehr
Reversible Computation

14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings

Bearbeitet von Claudio Antares Mezzina, Krzysztof Podlaski …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum … Lesen Sie mehr

€ 64,34

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum
... Lesen Sie mehr
String Processing and Information Retrieval

25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

Bearbeitet von Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Symposium on String Processing and Information Retrieval, SPIRE 2018, held in Lima, Peru, in October 2018.The 22 full papers and 6 short papers presented were carefully reviewed and selected from 51 submissions. They focus on fundamental studies on string processing and information retrieval, as well as on computational … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 25th International Symposium on String Processing and Information Retrieval, SPIRE 2018, held in Lima, Peru, in October 2018.The 22 full papers and 6 short papers presented were carefully reviewed and selected from 51 submissions. They focus on fundamental studies on string processing and information retrieval, as well as on computational
... Lesen Sie mehr
Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

von Mario G. Piattini, Félix Óscar García …

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the … Lesen Sie mehr

€ 9,99

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the
... Lesen Sie mehr
Larisa Maksimova on Implication, Interpolation, and Definability

Bearbeitet von Sergei Odintsov …

Serien series Philosophy and Religion (R0)
This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific … Lesen Sie mehr

€ 49,49

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific
... Lesen Sie mehr
Algorithms and Complexity

11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings

Bearbeitet von Pinar Heggernes …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 11th International Conference on Algorithms and Complexity, CIAC 2019, held in Rome, Italy, in May 2019.The 30 full papers were carefully reviewed and selected from 95 submissions. The International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational … Lesen Sie mehr

€ 64,34

This book constitutes the refereed conference proceedings of the 11th International Conference on Algorithms and Complexity, CIAC 2019, held in Rome, Italy, in May 2019.The 30 full papers were carefully reviewed and selected from 95 submissions. The International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational
... Lesen Sie mehr
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I

Bearbeitet von Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira …

Serien Buch 1 - Springer Nature Proceedings Computer Science
The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.*The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track … Lesen Sie mehr

€ 49,49

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.*The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track
... Lesen Sie mehr
High Performance Computing

ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Bearbeitet von Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf …

Serien series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale: … Lesen Sie mehr

€ 49,49

This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale:
... Lesen Sie mehr
UX estratégico

Design aplicado a ecossistema de produtos

von Gabriel Pinheiro Maciel da Silva …

Estamos em uma era de transição na forma como as pessoas se comportam, interagem entre si e consomem produtos e informações. Quando combinamos produto e design, a experiência vem ganhando o centro do processo. Não se consomem mais apenas produtos, mas sim lugares, interações, relações e expectativas. E tudo isso independentemente do canal, tecnologia ou formato. É preciso mudar as lentes pelas … Lesen Sie mehr

€ 9,49

Estamos em uma era de transição na forma como as pessoas se comportam, interagem entre si e consomem produtos e informações. Quando combinamos produto e design, a experiência vem ganhando o centro do processo. Não se consomem mais apenas produtos, mas sim lugares, interações, relações e expectativas. E tudo isso independentemente do canal, tecnologia ou formato. É preciso mudar as lentes pelas
... Lesen Sie mehr
Embedded Systems Technology

15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

Bearbeitet von Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th National Conference on Embedded Systems Technology, ESTC 2017, held in Shenyang, China, in November 2017.The 18 revised full papers presented were carefully reviewed and selected from 45 papers. The topics cover a broad range of fields focusing on the theme "embedded systems and intelligent computing," such as context aware computing, … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 15th National Conference on Embedded Systems Technology, ESTC 2017, held in Shenyang, China, in November 2017.The 18 revised full papers presented were carefully reviewed and selected from 45 papers. The topics cover a broad range of fields focusing on the theme "embedded systems and intelligent computing," such as context aware computing,
... Lesen Sie mehr
Genetic Programming

21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

Bearbeitet von Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st European Conference on Genetic Programming, EuroGP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events, EvoCOP, EvoMUSART, and EvoApplications.The 11 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 36 submissions. The wide range of topics in this volume … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 21st European Conference on Genetic Programming, EuroGP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events, EvoCOP, EvoMUSART, and EvoApplications.The 11 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 36 submissions. The wide range of topics in this volume
... Lesen Sie mehr
Adiabatic Logic

Future Trend and System Level Perspective

von Philip Teichmann …

Serien series Engineering (R0)
Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in … Lesen Sie mehr

€ 89,09

Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in
... Lesen Sie mehr
Azure Ascension: From Cloud Novice to Enterprise Architect

von Scott Markham …

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough … Lesen Sie mehr

€ 7,49

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough
... Lesen Sie mehr
Calidad de Sistemas de Información (4ª edición ampliada y actualizada)

von Mario G. Piattini …

En la actualidad, todas las organizaciones son en alguna manera “empresas de software”, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos y, más que nunca, su propia supervivencia depende de la calidad de los productos y servicios informáticos._x000D_ La industria del software tiene casi setenta años y en este período ha realizado … Lesen Sie mehr

€ 9,99

En la actualidad, todas las organizaciones son en alguna manera “empresas de software”, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos y, más que nunca, su propia supervivencia depende de la calidad de los productos y servicios informáticos._x000D_ La industria del software tiene casi setenta años y en este período ha realizado
... Lesen Sie mehr
Logic and Language Models for Computer Science

von Dana Richards, Henry Hamburger …

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It … Lesen Sie mehr

€ 39,26

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It
... Lesen Sie mehr
NLTK应用开发指南

Chinese Edition

von Posts & Telecom Press, Nitin K Hardeniya …

NLTK和Python库构建机器学习应用Key Features通过NLTK库与一些Python库的结合来实现复杂的NLP任务和机器学习应用探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器深度探索NLP领域的基本概念，为各种开源的Python工具和库提供具有实践意义的见解Book Description自然语言处理（NLP）属于人工智能与计算机语言学的交叉领域，处理的是计算机与人类语言之间的交互问题。随着人机交互需求的日益增长，计算机具备处理当前主要自然语言的能力已经成为了一个必然趋势。NLTK正是这一领域中一个强大而稳健的工具包。在这本书中，我们首先会介绍一些与NLP相关的知识。然后，我们会探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器。在此过程中，我们将会深度探索NLP领域的基本概念 … Lesen Sie mehr

€ 17,81

NLTK和Python库构建机器学习应用Key Features通过NLTK库与一些Python库的结合来实现复杂的NLP任务和机器学习应用探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器深度探索NLP领域的基本概念，为各种开源的Python工具和库提供具有实践意义的见解Book Description自然语言处理（NLP）属于人工智能与计算机语言学的交叉领域，处理的是计算机与人类语言之间的交互问题。随着人机交互需求的日益增长，计算机具备处理当前主要自然语言的能力已经成为了一个必然趋势。NLTK正是这一领域中一个强大而稳健的工具包。在这本书中，我们首先会介绍一些与NLP相关的知识。然后，我们会探讨一些与数据科学相关的任务，通过这些任务来学习如何从零开始构建自定义的标识器和解析器。在此过程中，我们将会深度探索NLP领域的基本概念
... Lesen Sie mehr
Logical Foundations of Computer Science

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

Bearbeitet von Sergei Artemov, Anil Nerode …

Serien 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, … Lesen Sie mehr

€ 49,49

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,
... Lesen Sie mehr

Kobo Rakuten

eReader

Apps

Zubehör

Warenkorb

Sie werden jetzt wie ein VIP behandelt!

Ihr Warenkorb ist leer

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Empfehlungen für Sie

Logik-Design eBooks

Fundamentals of Software Architecture

High-speed Serial Buses in Embedded Systems

Computational Autism

Job Scheduling Strategies for Parallel Processing

Machine Learning for Medical Image Reconstruction

Network and Parallel Computing

Applied Computer Sciences in Engineering

Time & Logic

Reversible Computation

String Processing and Information Retrieval

Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

Larisa Maksimova on Implication, Interpolation, and Definability

Algorithms and Complexity

Computational Science – ICCS 2020

High Performance Computing

UX estratégico

Embedded Systems Technology

Genetic Programming

Adiabatic Logic

Azure Ascension: From Cloud Novice to Enterprise Architect

Calidad de Sistemas de Información (4ª edición ampliada y actualizada)

Logic and Language Models for Computer Science

NLTK应用开发指南

Logical Foundations of Computer Science