RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Abstract State Machines 2003--Advances in Theory and Practice
2003-01-01 Borger, Egon; Gargantini, A; Riccobene, E.
Abstract State Machines, B and Z
2008-01-01 Borger, Egon; P., Boca; M., Butler; J., Bowen
Advances in Software Engineering
2008-01-01 Borger, Egon; Cisternino, Antonio
Architecture Design and Validation Methods
2000-01-01 Borger, Egon
Computation and Proof Theory
1984-01-01 Borger, Egon; W., Oberschelp; M. M., Richter; B., Schinzel; W., Thomas
Computation Theory and Logic
1987-01-01 Borger, Egon
Computer Science Logic CSL'87
1988-01-01 Borger, Egon; H., KLEINE BUENING; M. M., Richter
Computer Science Logic CSL'88
1989-01-01 Borger, Egon; H., KLEINE BUENING; M. M., Richter
Computer Science Logic CSL'89
1990-01-01 Borger, Egon; H., KLEINE BUENING; M. M., Richter
Computer Science Logic CSL'90
1991-01-01 Borger, Egon; H., KLEINE BUENING; M. M., Richter; W., Schoenfeld
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract State Machines 2003--Advances in Theory and Practice | 1-gen-2003 | Borger, Egon; Gargantini, A; Riccobene, E. | |
| Abstract State Machines, B and Z | 1-gen-2008 | Borger, Egon; P., Boca; M., Butler; J., Bowen | |
| Advances in Software Engineering | 1-gen-2008 | Borger, Egon; Cisternino, Antonio | |
| Architecture Design and Validation Methods | 1-gen-2000 | Borger, Egon | |
| Computation and Proof Theory | 1-gen-1984 | Borger, Egon; W., Oberschelp; M. M., Richter; B., Schinzel; W., Thomas | |
| Computation Theory and Logic | 1-gen-1987 | Borger, Egon | |
| Computer Science Logic CSL'87 | 1-gen-1988 | Borger, Egon; H., KLEINE BUENING; M. M., Richter | |
| Computer Science Logic CSL'88 | 1-gen-1989 | Borger, Egon; H., KLEINE BUENING; M. M., Richter | |
| Computer Science Logic CSL'89 | 1-gen-1990 | Borger, Egon; H., KLEINE BUENING; M. M., Richter | |
| Computer Science Logic CSL'90 | 1-gen-1991 | Borger, Egon; H., KLEINE BUENING; M. M., Richter; W., Schoenfeld |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 7 Curatele 27
- 7 Curatele::7.1 Curatela 27
Data di pubblicazione
- 2000 - 2010 11
- 1990 - 1999 9
- 1981 - 1989 7
Editore
- SPRINGER 15
- Know-Center Graz Technical Univer... 2
- Know-Center Graz U. of Technology... 2
- Springer 2
- Computer Science Press 1
- Elsevier 1
- Koenigshausen und Neumann 1
- Oxford University Press 1
- Université Paris III 1
Lingua
- eng 26
- ger 1
Accesso al fulltext
- no fulltext 27