Resultados de búsqueda - Programming language semantics*

Limitar resultados
  1. Imagen de Portada

    Semantic Grid: Scientific Issues, Infrastructure, and Methodology. por Hai Zhuge

    Publicado en Communications of the ACM (Apr2005)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

    A connection based approach to common-sense topological description and reasoning. por Gotts, N.M., Gooday, J.M.

    Publicado en Monist (Jan1996)

    Ver este registro en EBSCOhost
    Artículo
  3. Imagen de Portada

    Programming Languages and Systems por Robbert Krebbers

    Publicado 2026
    Ver este registro en EBSCOhost
    Libro
  4. Imagen de Portada

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

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  5. Imagen de Portada

    Computer Aided Verification por Ruzica Piskac, Zvonimir Rakamarić

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  6. Imagen de Portada

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

    Publicado 2024
    Ver este registro en EBSCOhost
    Libro
  7. Imagen de Portada

    Tunnelling for a Better Life por Jinxiu Yan, Tarcisio Celestino, Markus Thewes, Erik Eberhardt

    Publicado 2024
    Ver este registro en EBSCOhost
    Libro
  8. Imagen de Portada

    Proceedings of the First International Conference on Advances in Computer Vision and Artificial Intelligence Technologies (ACVAIT 2022) por Ramesh Manza, Bharti Gawali, Pravin Yannawar, Filbert Juwono

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro
  9. Imagen de Portada

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

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro
  10. Imagen de Portada

    Innovación educativa y formación docente. Últimas aportaciones en la investigación por Anguita Osuna, José Enrique (Editor), Hernán Losada, Isidoro (Editor)

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro
  11. Imagen de Portada

    Handbook of Research on the Global View of Open Access and Scholarly Communications por Daniel Gelaw Alemneh

    Publicado 2022
    Ver este registro en EBSCOhost
    Libro
  12. Imagen de Portada

    Tools and Algorithms for the Construction and Analysis of Systems por Dirk Beyer, Marieke Huisman

    Publicado 2018
    Ver este registro en EBSCOhost
    Libro
  13. Imagen de Portada

    Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science por Andrzej Yatsko, Walery Suslow

    Publicado 2015
    Ver este registro en EBSCOhost
    Libro
  14. Imagen de Portada

    Model-driven Development Methodology for Hybrid Embedded Systems Based on UML with Emphasis on Safety-related Requirements por Daw Pérez, Zamira A.

    Publicado 2014
    Ver este registro en EBSCOhost
    Libro
  15. Imagen de Portada

    Digital System Design - Use of Microcontroller por Shenouda Dawoud, R. Peplow

    Publicado 2010
    Ver este registro en EBSCOhost
    Libro
  16. Imagen de Portada

    Die Tand van die Tyd: Opstelle opgedra aan Jac Conradie por Willie Burger, Marné Pienaar

    Publicado 2009
    Ver este registro en EBSCOhost
    Libro

Herramientas de búsqueda: