Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

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
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « luyi bai »
Skip side bar filters

  • Uncertain Spatiotemporal Data Management for the Semantic Web

    par Luyi Bai, Lin Zhu ...
    In the world of data management, one of the most formidable challenges faced by academic scholars is the effective handling of spatiotemporal data within the semantic web. As our world continues to change dynamically with time, nearly every aspect of our lives, from environmental monitoring to urban planning and beyond, is intrinsically linked to time and space. This synergy has given rise to an ... En savoir plus

    $383.99 CAD

  • Fuzzy Spatiotemporal XML Data Management

    par Luyi Bai, Lin Zhu ...
    Collections series Intelligent Technologies and Robotics (R0)
    Spatiotemporal data is not always precise, and fuzziness in spatiotemporal data is usually accepted because of the way the world is measured and represented. Although eXtensible Markup Language (XML) recommended by the World Wide Web Consortium (W3C) has become the de-facto standard for data representation and exchange on the Web, an edited collection of fuzzy spatiotemporal XML data management ... En savoir plus

    $230.59 CAD

  • Modeling Fuzzy Spatiotemporal Data with XML

    par Zongmin Ma, Luyi Bai, Li Yan ...
    Collections series Intelligent Technologies and Robotics (R0)
    This book offers in-depth insights into the rapidly growing topic of technologies and approaches to modeling fuzzy spatiotemporal data with XML. The topics covered include representation of fuzzy spatiotemporal XML data, topological relationship determination for fuzzy spatiotemporal XML data, mapping between the fuzzy spatiotemporal relational database model and fuzzy spatiotemporal XML data ... En savoir plus

    $179.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Modifié par Amal Ahmed ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... En savoir plus

    Gratuit

  • Computer Aided Verification

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

    Modifié par Alexandra Silva, K. Rustan M. Leino ...
    Collections Livre 2 - 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 ... En savoir plus

    Gratuit

  • Programming Languages and Systems

    32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

    Modifié par Thomas Wies ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 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 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in ... En savoir plus

    Gratuit

  • Programming Languages and Systems

    28th European Symposium on Programming, ESOP 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

    Modifié par Luís Caires ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 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. ... En savoir plus

    Gratuit

  • The Functional Approach to Programming

    par Guy Cousineau, Michel Mauny ...
    Traduit par K. Callaway ...
    A programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which ... En savoir plus

    $95.99 CAD

  • Public-Key Cryptography – PKC 2019

    22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

    Modifié par Dongdai Lin, Kazue Sako ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 11442 and 11443 constitutes the refereed proceedings of the 22nd IACR International Conference on the Practice and Theory of Public-Key Cryptography, PKC 2019, held in Beijing, China, in April 2019.The 42 revised papers presented were carefully reviewed and selected from 173 submissions. They are organized in topical sections such as: Cryptographic Protocols; Digital ... En savoir plus

    $102.99 CAD

  • Programming Languages and Systems

    18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

    Modifié par Bruno C. d. S. Oliveira ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... En savoir plus

    $64.09 CAD

  • Programming Languages and Systems

    15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

    Modifié par Bor-Yuh Evan Chang ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; ... En savoir plus

    $64.99 CAD

  • Static Analysis

    32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings

    Modifié par Hakjoo Oh, Yulei Sui ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully reviewed and selected from 32 submissions.The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging ... En savoir plus

    $93.49 CAD