skip to main content
Lingue:

Risutati 1 - 10 di 321  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)

Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut

Fulltext disponibile

2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Liberal Nomos, National Narrative: Karl Kraus’s Critique of Law

Hertz, Gal

arcadia, 2019, Vol.54(2), pp.167-195 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
3
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking: Springer International Publishing AG, Cham, Switzerland, 2018, xxiv+1210 pp, ISBN 978-3-319-10574-1 (Hardcover, 2.13 kg), ISBN 978-3-319-10575-8 (eBook, PDF). https://doi.org/10.1007/978-3-319-10575-8
Material Type:
Recensione
Aggiungi allo Scaffale Elettronico
4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Social functions of mathematics education: a framework for socio-political studies

Kollosche, David

Educational Studies in Mathematics, 2018, Vol.98(3), pp.287-303 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
5
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Testing service oriented architectures using stateful service visualization via machine learning

Enişer, Hasan ; Sen, Alper

Proceedings of the 13th International Workshop on automation of software test, 28 May 2018, pp.9-15

Fulltext disponibile

6
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Systematic top-down design of cyber-physical models with integrated validation and formal verification

Luckeneder, Christoph ; Kaindl, Hermann

Proceedings of the 40th International Conference on software engineering, 27 May 2018, pp.274-275

Fulltext disponibile

7
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

A building automation case study setup and challenges

Cambeiro, João ; Gomes, Cláudio ; Amaral, Vasco ; Rodrigues, Armanda ; Cunha, Jácome

Proceedings of the 4th International Workshop on software engineering for smart cyber-physical systems, 27 May 2018, pp.41-44

Fulltext disponibile

8
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Generalizing specific-instance interpolation proofs with SyGuS

Azeem, Muqsit ; Madhukar, Kumar ; Venkatesh, R

Proceedings of the 40th International Conference on software engineering, 27 May 2018, pp.57-60

Fulltext disponibile

9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Mitteilungen der ÖGKJ

Preisel, M ; Tovilo, K ; Sperl, W;

Monatsschrift Kinderheilkunde, 2018, Vol.166(4), pp.359-362 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Parameterized model checking of rendezvous systems

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut

Distributed computing, 2018, Vol.31(3), pp.187-222 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 321  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (236)
  2. Risorse online (319)
  3. In biblioteca (2)

Affina i risultati

Nuove accessioni 

  1. Dall'ultimo Mese 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del1964 
  2. 1964-1977 
  3. 1978-1990 
  4. 1991-2004 
  5. Dopo il 2004 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H
  3. Zuleger, Florian
  4. Veith, Werner
  5. Kotek, Tomer

Ricerca in corso nelle risorse remote ...