Search Results - Declarative programming*

Refine Results
  1. Cover Image

    Calendar of Events.

    Published in Communications of the ACM (Sep2012)

    View this record in EBSCOhost
    Calendar
  2. Cover Image

    Functional Logic Programming. by ANTOY, SERGIO, HANUS, MICHAEL

    Published in Communications of the ACM (Apr2010)

    View this record in EBSCOhost
    Article
  3. Cover Image

    CALENDAR OF EVENTS.

    Published in Communications of the ACM (Jul2005)

    View this record in EBSCOhost
    Article
  4. Cover Image

    Mixing energy models in genetic algorithms for on-lattice protein structure prediction. by Rashid, Mahmood A, Newton, M A Hakim, Hoque, Md Tamjidul, Sattar, Abdul

    Published in BioMed Research International (2013)

    View this record in EBSCOhost
    Journal Article
  5. Cover Image

    Programming Languages and Systems by Robbert Krebbers

    Published 2026
    View this record in EBSCOhost
    Book
  6. Cover Image

    Formal Methods by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

    Published 2025
    View this record in EBSCOhost
    Book
  7. Cover Image

    The Handbook of Qualitative and Quantitative Content Analysis : Introduction to Classical, Digital, AI-supported, and Automated Data Analysis by Christian Schneijderberg, Oliver Wieczorek, Isabel Steinhardt

    Published 2025
    View this record in EBSCOhost
    Book
  8. Cover Image

    Computer Aided Verification by Ruzica Piskac, Zvonimir Rakamarić

    Published 2025
    View this record in EBSCOhost
    Book
  9. Cover Image

    Programming Languages and Systems by Viktor Vafeiadis

    Published 2025
    View this record in EBSCOhost
    Book
  10. Cover Image

    Theses on the Metaphors of Digital-Textual History by Martin Paul Eve

    Published 2024
    View this record in EBSCOhost
    Book
  11. Cover Image

    Health Care in the Information Society : Volume 1 - From Adventure of Ideas to Anarchy of Transition by David Ingram

    Published 2023
    View this record in EBSCOhost
    Book
  12. Cover Image

    Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education by Jean-Philippe Pellet, Gabriel Parriaux

    Published 2023
    View this record in EBSCOhost
    Book
  13. Cover Image

    Life-Cycle of Structures and Infrastructure Systems : PROCEEDINGS OF THE EIGHTH INTERNATIONAL SYMPOSIUM ON LIFE-CYCLE CIVIL ENGINEERING (IALCCE 2023), 2-6 JULY, 2023, POLITECNICO D... by Fabio Biondini, Dan M. Frangopol

    Published 2023
    View this record in EBSCOhost
    Book
  14. Cover Image

    International Handbook of Engineering Education Research by Aditya Johri

    Published 2023
    View this record in EBSCOhost
    Book
  15. Cover Image

    Digital Humanities and Libraries and Archives in Religious Studies : An Introduction by Clifford B. Anderson

    Published 2022
    View this record in EBSCOhost
    Book
  16. Cover Image

    Industrial Artificial Intelligence Technologies and Applications by Ovidiu Vermesan, Franz Wotawa, Mario Diaz Nava, Björn Debaillie

    Published 2022
    View this record in EBSCOhost
    Book
  17. Cover Image

    Ghosts of Transparency : Shadows Cast and Shadows Cast Out by Michael R. Doyle, Selena Savić, Vera Bühlmann

    Published 2019
    View this record in EBSCOhost
    Book
  18. Cover Image

    Next Generation Internet of Things – Distributed Intelligence at the Edge and Human-Machine Interactions by Ovidiu Vermesan

    Published 2018
    View this record in EBSCOhost
    Book
  19. Cover Image

    Building the Future Internet Through FIRE : A Research and Experimentation Based Approach by Martin Serrano, Nikolaos Isaris, Hans Schaffers

    Published 2017
    View this record in EBSCOhost
    Book
  20. Cover Image

    Behavioural Types : From Theory to Tools by Simon Gay, António Ravara

    Published 2017
    View this record in EBSCOhost
    Book

Search Tools: