Sfoglia per Relatore  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 17 di 17
Fulltext Data Tipo Titolo Autore (i)
2015-12-18 Tesi di laurea Magistrale A syntax directed approach to exploit parallelism in XML query languages BASSI, PAOLO
2023-05-04 Tesi di laurea Magistrale Characterizing non counting operator precedence languages in a locally testable manner CORBETTA, GIORGIO
2023-05-04 Tesi di laurea Magistrale Counterexample extraction in a context-free model checker SCHERINI, GIUSEPPE
2017-07-27 Tesi di laurea Magistrale Engineering a runtime system for AQL MORCIANO, ANDREA
2015-07-28 Tesi di laurea Magistrale First class continuations on the Java virtual machine : an implementation within the Kawa scheme compiler BERNARDINI, ANDREA
2011-12-20 Tesi di laurea Magistrale Floyd languages for infinite words PANELLA, FEDERICA
2022-04-28 Tesi di laurea Magistrale Formal verification of infrastructure as code De PASCALIS, MICHELE
2017-10-03 Tesi di laurea Magistrale GoPapageno : un generatore di analizzatori sintattici paralleli di nuova generazione GUIDI, SIMONE
2014-04-29 Tesi di laurea Magistrale ISAAC. Integrated system application and authorization co-design MARTINOIA, DIEGO
2018-10-03 Tesi di laurea Magistrale On randomised strategies in the lambda-calculus VANONI, GABRIELE
2016-01-07 Tesi di Dottorato Operator precedence languages: theory and applications PANELLA, FEDERICA
2019-07-25 Tesi di laurea Magistrale Parallel XPath query evaluator MARZI, LUCA
2021-06-09 Tesi di laurea Magistrale POMC. A model checking tool for operator precedence languages on omega-words PONTIGGIA, FRANCESCO
2020-07-24 Tesi di laurea Magistrale POMC. Toward a model checking tool for operator precedence languages Bergamaschi, Davide
2018-12-20 Tesi di laurea Magistrale R++ : an object oriented DSL for motion controllers and its compiler NARDO, LORIS
2018-04-19 Tesi di laurea Magistrale Toward a more expressive pattern matching in Haskell SERVADEI, GIACOMO
2023-05-04 Tesi di laurea Magistrale Verification and synthesis of Infrastructure-as-Code through satisfiability modulo theories Franchini, Andrea
Mostrati risultati da 1 a 17 di 17
Legenda icone accesso al fulltext

  • File accessibili da tutti
  • File accessibili dagli utenti autorizzati
  • File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
  • File non accessibili