Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

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
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “luyi bai”
Skip side bar filters

  • Uncertain Spatiotemporal Data Management for the Semantic Web

    by 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 ... Read more

    $383.99 CAD

  • Fuzzy Spatiotemporal XML Data Management

    by Luyi Bai, Lin Zhu ...
    Series 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 ... Read more

    $230.59 CAD

  • Modeling Fuzzy Spatiotemporal Data with XML

    by Zongmin Ma, Luyi Bai, Li Yan ...
    Series 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 ... Read more

    $179.39 CAD

People who read these also enjoyed

  • 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

    Edited by Amal Ahmed ...
    Series 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 ... Read more

    Free

  • Computer Aided Verification

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

    Edited by Alexandra Silva, K. Rustan M. Leino ...
    Series Book 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 ... Read more

    Free

  • 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

    Edited by Thomas Wies ...
    Series 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 ... Read more

    Free

  • 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

    Edited by Luís Caires ...
    Series 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. ... Read more

    Free

  • The Functional Approach to Programming

    by Guy Cousineau, Michel Mauny ...
    Translated by 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 ... Read more

    $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

    Edited by Dongdai Lin, Kazue Sako ...
    Series Book 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 ... Read more

    $102.99 CAD

  • Programming Languages and Systems

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

    Edited by Bruno C. d. S. Oliveira ...
    Series 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, ... Read more

    $64.09 CAD

  • Programming Languages and Systems

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

    Edited by Bor-Yuh Evan Chang ...
    Series 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; ... Read more

    $64.99 CAD

  • Static Analysis

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

    Edited by Hakjoo Oh, Yulei Sui ...
    Series 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 ... Read more

    $93.49 CAD