Skip to main content

and
Your search also matched 562 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you.
results, e.g.

Encountering Mobile Data Dynamics in Heterogeneous Wireless Networks

Include preview-only content
  1. Book

  2. Book

    Architecture of Advanced Numerical Analysis Systems

    Designing a Scientific Computing System using OCaml

    Liang Wang, Jianxin Zhao (2023)

  3. Book

  4. Book and Conference Proceedings

    Computer Aided Verification

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

    Dr. Shuvendu K. Lahiri, Prof. Chao Wang in Lecture Notes in Computer Science (2020)

  5. Book and Conference Proceedings

    Computer Aided Verification

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

    Dr. Shuvendu K. Lahiri, Prof. Chao Wang in Lecture Notes in Computer Science (2020)