Filter

Datorarkitektur & logisk design

Filter
  • Computer Aided Verification

    häftad, 2017, Engelska, ISBN 9783319633862

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in

  • Parallel Computational Technologies

    häftad, 2024, Engelska, ISBN 9783031733741

    This book constitutes the refereed post proceedings of the 18th International Conference on Parallel Computational Technologies, PCT 2024, held in Chelyabinsk, Russia, in April

  • Reversible Computation

    häftad, 2024, Engelska, ISBN 9783031620751

    This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torun, Poland, during July 4–5, 2024.The 10 full

  • Future Access Enablers for Ubiquitous and Intelligent Infrastructures

    E-bok, 2018, Engelska, ISBN 9783319922133

    This book constitutes the refereed post-conference proceedings of the Third International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures,

  • Computational Methods in Systems Biology

    E-bok, 2023, Engelska, ISBN 9783031426971

    This book constitutes the refereed proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB 2023, held in Luxembourg City, Luxembourg,

  • Services Management in Intelligent Networks

    häftad, 2000, Engelska, ISBN 9783540414278

    This volume of the Lecture Notes in Computer Science series contains all the papersaccepted forpresentation atthe 11thIFIP/IEEEInternationalWorkshop on Distributed Systems:

  • Electronic Voting

    E-bok, 2017, Engelska, ISBN 9783319522401

    This book constitutes the thoroughly refereed conference proceedings of the First International Joint Conference on Electronic Voting, E-Vote-ID 2016, held in Bregenz, Austria, in

  • Dynamics in Logic and Language

    E-bok, 2023, Engelska, ISBN 9783031258947

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary

  • Computer Applications

    E-bok, 2023, Engelska, ISBN 9789819987641

    The two-volume set CCIS 1959 and 1960 constitutes the refereed post-conference proceedings of the 38th CCF National Conference on Computer Applications, CCF NCCA 2023, held in

  • Requirements Engineering

    E-bok, 2014, Engelska, ISBN 9783662436103

    This book constitutes the proceedings of the first Asia Pacific Requirements Engineering Symposium, APRES 2014, held in Auckland, New Zealand, in April 2014. The 16 papers