Sökning: onr:21965367 > Analysis, synthesis...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Analysis, synthesis and application of automaton-based constraint descriptions / María Andreína Francisco Rodríguez.
- Francisco Rodríguez, María Andreína, 1984- (författare)
- ISBN 9789151301327
- Publicerad: Uppsala : Acta Universitatis Upsaliensis, 2017
- Engelska 79 s.
- Serie: Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, 1651-6214 ; 1591
- BokAvhandling(Diss. (sammanfattning) Uppsala : Uppsala universitet, 2017)
Ämnesord
Inställningar
Hjälp
Stäng
Indexterm och SAB-rubrik
- constraint programming
- constraint predicates
- global constraints
- automata
- automaton-described constraint predicates
- automaton-induced constraint decompositions
- implied constraints
- time-series constraints
- transducers
- automaton invariants
Titeln finns på 3 bibliotek.
Bibliotek i Mellansverige (1)
Ange som favorit- Uppsala universitetsbibliotek, Ångströmbiblioteket (Uang)Ange som favorit
- Mina lånLåna/reservera
-
- Placering: Diss Uppsala Francisco Rodríguez
Bibliotek i Stockholmsregionen (1)
Ange som favorit- Kungliga biblioteket (S)Ange som favorit
- Låna/reservera
-
- Placering: uP 997
Bibliotek i södra Sverige (1)
Ange som favorit- Lunds universitets bibliotek, Universitetsbiblioteket, UB (L)Ange som favorit
- Titeln i bibliotekets lokala katalog
-
- Placering: b18/ 125
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Francisco Rodríguez, ...
- Serie
- Fler delar
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Copyright © LIBRIS - Nationella bibliotekssystem
