Hakutulokset
Selaa lehtiä
- Näytetään 1 - 16 / 16
Hakutulos 1
FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings Näytä tarkat tiedot
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : Institute of Electrical and Electronics Engineers |
ISSN: |
2575-5099 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 2
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : IEEE [2008]- |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 3
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : IEEE 2009- |
ISSN: |
2574-1837 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 4
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | [Piscataway, N.J.] : IEEE |
ISSN: |
2156-793X |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 5
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | [Piscataway, N.J.] : IEEE |
ISSN: |
2157-2194 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 6
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : Institute of Electrical and Electronic Engineers |
ISSN: |
2151-0849 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 7
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : IEEE |
ISSN: |
2573-3214 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 8
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | [Los Alamitos, Calif.] : [IEEE Computer Society Press] |
ISSN: |
2375-0197 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 9
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : Institute of Electrical and Electronic Engineers |
ISSN: |
2155-7667 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 10
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : IEEE |
ISSN: |
2572-6587 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 11
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : Institute of Electrical and Electronic Engineers |
ISSN: |
2327-1647 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 12
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : IEEE Computer Society 2016- |
ISSN: |
2574-1934 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 13
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : IEEE |
ISSN: |
2327-0772 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 14
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | [Piscataway, NJ] : [IEEE] |
ISSN: |
2640-0227 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 15
Verkossa saatavilla:
Hae kokoteksti
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : IEEE |
ISSN: |
2642-6579 |
Aiheet: | |
Tallennettuna: |
|
Hakutulos 16
Kieli: | eng |
---|---|
Julkaisija: | Piscataway, NJ : Institute of Electrical and Electronic Engineers |
ISSN: |
2157-0264 |
Aiheet: | |
Tallennettuna: |
|