Treffer 1 - 20 von 518 für Suche 'Sierra Rodríguez, José Luis', Suchdauer: 0,81s Treffer weiter einschränken
  1. 1
    Innovating in the Engineering Processes: Engineering as a Means of Innovation

    Innovating in the Engineering Processes: Engineering as a Means of Innovation von Garcia-Penalvo, Francisco-Jose, Cabezuelo, Antonio Sarasa, Rodriguez, Jose Luis Sierra

    Veröffentlicht in IEEE-RITA

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Authoring and playing interactive fiction with conventional web technologies

    Authoring and playing interactive fiction with conventional web technologies von Gómez-Albarrán, Mercedes, Sarasa-Cabezuelo, Antonio, Sierra-Rodríguez, José-Luis, Temprado-Battad, Bryan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A review of annotation classification tools in the educational domain

    A review of annotation classification tools in the educational domain von Gayoso-Cabada, Joaquín, Sarasa-Cabezuelo, Antonio, Sierra-Rodríguez, José-Luis

    Veröffentlicht in Open computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

    Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings von Dediu, Adrian-Horia, Martín-Vide, Carlos, Sierra-Rodríguez, José-Luis, Truthe, Bianca

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Computer-Supported Collaborative Design of Standardized Clinical Cases: Algorithm Development and Validation

    Computer-Supported Collaborative Design of Standardized Clinical Cases: Algorithm Development and Validation von Guinez-Molinos, Sergio, Buendía-García, Félix, Sierra-Rodríguez, José-Luis, Gayoso-Cabada, Joaquín, González-Díaz, Jaime

    Veröffentlicht in JMIR medical informatics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Model-checking for adventure videogames

    Model-checking for adventure videogames von Moreno-Ger, Pablo, Fuentes-Fernández, Rubén, Sierra-Rodríguez, José-Luis, Fernández-Manjón, Baltasar


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata

    Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Stenman, Jari


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Optimal Sorting Networks

    Optimal Sorting Networks von Bundala, Daniel, Závodný, Jakub


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets

    Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets von Best, Eike, Devillers, Raymond


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Weight-Reducing Hennie Machines and Their Descriptional Complexity

    Weight-Reducing Hennie Machines and Their Descriptional Complexity von Průša, Daniel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Are Good-for-Games Automata Good for Probabilistic Model Checking?

    Are Good-for-Games Automata Good for Probabilistic Model Checking? von Klein, Joachim, Müller, David, Baier, Christel, Klüppelholz, Sascha


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Learning Sequential Tree-to-Word Transducers

    Learning Sequential Tree-to-Word Transducers von Laurence, Grégoire, Lemay, Aurélien, Niehren, Joachim, Staworko, Sławek, Tommasi, Marc


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A Brief History of Strahler Numbers

    A Brief History of Strahler Numbers von Esparza, Javier, Luttenberger, Michael, Schlund, Maximilian


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    On the List Update Problem with Advice

    On the List Update Problem with Advice von Boyar, Joan, Kamali, Shahin, Larsen, Kim S., López-Ortiz, Alejandro


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Computers in Education and Education in Computer Science

    Computers in Education and Education in Computer Science von José Luis SIERRA-RODRÍGUEZ, Francisco José GARCÍA PEÑALVO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On SAT Representations of XOR Constraints

    On SAT Representations of XOR Constraints von Gwynne, Matthew, Kullmann, Oliver


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Counting Models of Linear-Time Temporal Logic

    Counting Models of Linear-Time Temporal Logic von Finkbeiner, Bernd, Torfah, Hazem


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    On the State Complexity of Semi-quantum Finite Automata

    On the State Complexity of Semi-quantum Finite Automata von Zheng, Shenggen, Gruska, Jozef, Qiu, Daowen


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Minimal Triangulation Algorithms for Perfect Phylogeny Problems

    Minimal Triangulation Algorithms for Perfect Phylogeny Problems von Gysel, Rob


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Distinguishing Pattern Languages with Membership Examples

    Distinguishing Pattern Languages with Membership Examples von Mazadi, Zeinab, Gao, Ziyuan, Zilles, Sandra


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: