Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 1215 Berechenbarkeitstheorie, Komplexitätstheorie
- 4926 Bildsignalverarbeitung
- 34228 Künstliche Intelligenz
- 4873 Logik, formale Sprachen, Automaten
- 3850 Mathematik für Informatiker
- 9606 Mensch-Maschine-Interaktion
- 753 Natürliche Sprachen & Maschinelle Übersetzung
- 2066 Rechnerarchitektur
- 2516 Theoretische Informatik
- 542 Tonsignalverarbeitung
- 735 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 53057
- 2686
- 246
- 100
- 1
- Erscheinungsjahr
-
- 6
- 191
- 3720
- 5179
- 4125
- 3675
- 3395
- 2900
- 2486
- 2954
- 1623
- 2308
- 1432
- 1965
- 1874
- 2531
- 1342
- 2576
- 962
- 899
- 916
- 860
- 827
- 687
- 756
- 690
- 678
- 513
- 474
- 477
- 428
- 359
- 337
- 270
- 242
- 213
- 194
- 158
- 107
- 81
- 81
- 62
- 43
- 16
- 10
- 19
- 17
- 13
- 25
- 9
- 21
- 17
- 21
- 20
- 10
- 2
- 8
- 4
- 3
- 3
- 2
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- Autoren
-
- 10
- 10
- 13
- 14
- 208
- 10
- 22
- 46
- 54
- 10
- 18
- 12
- 19
- 25
- 31
- 13
- 12
- 27
- 20
- 11
- 12
- 36
- 24
- 40
- 18
- 17
- 38
- 10
- 21
- 81
- 36
- 38
- 57
- 16
- 28
- 77
- 10
- 10
- 16
- 20
- 18
- 45
- 39
- 27
- 12
- 29
- 23
- 28
- 12
- 16
- 10
- 34
- 33
- 124
- 12
- 49
- 27
- 11
- 15
- 80
- 21
- 13
- 80
- 11
- 18
- 10
- 28
- 18
- 11
- 24
- 10
- 10
- 11
- 24
- 14
- 18
- 12
- 10
- 10
- 21
- 96
- 34
- 10
- 16
- 40
- 101
- 25
- 19
- 13
- 14
- 15
- 41
- 14
- 12
- 10
- 22
- 14
- 11
- 21
- 10
- 17
- 28
- 12
- 12
- 24
- 34
- 13
- 15
- 18
- 24
- 15
- 11
- 10
- 28
- 12
- 39
- 31
- 19
- 11
- 10
- 41
- 13
- 11
- 18
- 12
- 13
- 20
- 37
- 21
- 62
- 15
- 20
- 12
- 15
- 13
- 33
- 15
- 15
- 14
- 144
- 10
- 18
- 12
- 17
- 12
- 11
- 55
- 18
- 14
- 12
- 19
- 27
- 22
- 26
- 52
- 24
- 58
- 13
- 13
- 19
- 12
- 16
- 12
- 11
- 27
- 35
- 33
- 30
- 31
- 22
- 15
- 29
- 25
- 37
- 10
- 19
- 23
- 11
- 11
- 15
- 16
- 10
- 39
- 10
- 16
- 18
- 52
- 10
- 17
- 13
- 28
- 11
- 14
- 12
- 14
- 36
- 17
- 24
- 20
- 27
- 28
- 15
- 15
- 71
- 18
- 26
- 14
- 22
- 20
- 28
- 13
- 23
- 11
- 34
- 15
- 29
- 20
- 25
- 35
- 11
- 18
- 131
- 39
- 23
- 11
- 18
- 20
- 12
- 11
- 14
- 13
- 10
- 27
- 27
- 23
- 54
- 49
- 10
- 20
- 57
- 33
- 21
- 18
- 11
- 47
- 12
- 13
- 10
- 39
- 10
- 21
- 26
- 17
- 21
- 13
- 33
- 11
- 23
- 12
- 12
- 21
- 13
- 11
- 50
- 10
- 27
- 27
- 12
- 62
- 17
- 62
- 24
- 13
- 18
- 13
- 11
- 25
- 26
- 10
- 88
- 11
- 10
- 29
- 10
- 20
- 31
- 41
- 23
- 18
- 12
- 27
- 13
- 12
- 14
- 34
- 18
- 18
- 16
- 18
- 36
- 10
- 39
- 13
- 23
- 14
- 26
- 20
- 36
- 14
- 44
- 11
- 13
- 11
- 15
- 19
- 109
- 10
- 18
- 15
- 18
- 16
- 27
- 19
- 11
- 10
- 11
- 17
- 24
- 46
- 10
- 21
- 55
- 10
- 13
- 22
- 10
- 14
- 10
- 27
- 49
- 14
- 12
- 21
- 13
- 31
- 14
- 18
- 145
- 37
- 41
- 10
- 36
- 13
- 17
- 17
- 18
- 31
- 10
- 20
- 24
- 12
- 13
- 32
- 39
- 139
- 22
- 10
- 11
- 18
- 120
- 11
- 17
- 13
- 30
- 14
- 29
- 25
- 13
- 11
- 11
- 12
- 75
- 16
- 12
- 17
- 25
- 16
- 10
- 39
- 14
- 23
- 29
- 22
- 41
- 336
- 36
- 17
- 12
- 24
- 13
- 26
- 33
- 12
- 15
- 14
- 12
- 25
- 44
- 20
- 21
- 29
- 22
- 129
- 10
- 10
- 11
- 202
- 26
- 54
- 28
- 21
- 12
- 18
- 16
- 36
- 14
- 27
- 37
- 10
- 18
- 18
- 15
- 25
- 11
- 10
- 25
- 27
- 25
- 18
- 15
- 43
- 24
- 16
- 18
- 12
- 14
- 10
- 13
- 18
- 24
- 22
- 35
- 15
- 10
- 21
- 12
- 21
- 24
- 10
- 28
- 47
- 13
- 27
- 10
- 64
- 36
- 15
- 29
- 10
- 25
- 102
- 12
- 19
- 32
- 22
- 13
- 37
- 22
- 14
- 44
- 14
- 61
- 16
- 18
- 27
- 43
- 10
- 11
- 25
- 42
- 59
- 10
- 14
- 16
- 15
- 12
- 10
- 17
- 12
- 19
- 19
- 115
- 14
- 17
- 10
- 14
- 11
- 11
- 89
- 16
- 34
- 10
- 28
- 12
- 13
- 16
- 12
- 48
- 11
- 10
- 18
- 12
- 14
- 18
- 11
- 10
- 37
- 12
- 21
- 25
- 27
- 70
- 21
- 36
- 12
- 23
- 10
- 11
- 27
- 28
- 16
- 13
- 17
- 10
- 19
- 11
- 11
- 12
- 23
- 11
- 14
- 18
- 19
- 13
- 20
- 12
- 18
- 17
- 16
- 15
- 12
- 16
- 25
- 25
- 11
- 16
- 42
- 15
- 69
- 10
- 25
- 34
- 16
- 62
- 34
- 13
- 28
- 21
- 11
- 11
- 55
- 46
- 54
- 30
- 12
- 15
- 12
- 11
- 11
- 13
- 15
- 33
- 26
- 11
- 15
- 18
- 11
- 13
- 11
- 15
- 14
- 11
- 15
- 12
- 16
- 74
- 17
- 20
- 23
- 10
- 15
- 11
- 15
- 11
- 18
- 50
- 10
- 18
- 21
- 16
- 74
- 16
- 15
- 13
- 11
- 20
- 10
- 20
- 18
- 17
- 34
- 30
- 19
- 24
- 10
- 10
- 16
- 11
- 19
- 18
- 12
- 18
- 11
- 13
- 13
- 10
- 92
- 10
- 26
- 35
- 19
- 25
- 38
- 10
- 14
- 11
- 26
- 28
- 13
- 47
- 25
- 18
- 24
- 116
- 31
- 18
- 13
- 33
- 10
- 13
- 14
- 25
- 42
- 53
- 21
- 15
- 29
- 14
- 10
- 15
- 23
- 27
- 18
- 11
- 14
- 12
- 19
- 13
- 15
- 12
- 26
- 47
- 10
- 25
- 11
- 27
- 14
- 70
- 14
- 38
- 30
- 21
- 37
- 25
- 19
- 26
- 33
- 14
- 20
- 100
- 16
- 45
- 24
- 11
- 16
- 27
- 12
- 17
- 14
- 98
- 34
- 11
- 29
- 11
- 10
- 145
- 12
- 12
- 10
- 13
- 11
- 22
- 43
- 10
- 30
- 30
- 37
- 13
- 14
- 13
- 11
- 20
- 15
- 10
- 25
- 10
- 44
- 11
- 14
- 38
- 13
- 20
- 15
- 12
- 23
- 12
- 13
- 13
- 17
- 13
- 20
- 10
- 10
- 17
- 19
- 11
- 21
- 12
- 19
- 36
- 53
- 31
- 17
- 22
- 14
- 43
- 12
- 14
- 35
- 18
- 27
- 15
- 12
- 10
- 11
- 40
- 16
- 28
- 14
- 10
- 18
- 22
- 10
- 91
- 15
- 30
- 22
- 104
- 18
- 12
- 12
- 19
- 15
- 29
- 15
- 10
- 29
- 10
- 28
- 96
- 69
- 21
- 89
- 42
- 12
- 45
- 28
- 63
- 11
- 24
- 113
- 11
- 90
- 16
- 10
- 14
- 34
- 13
- 19
- 31
- 10
- 15
- 10
- 10
- 20
- 15
- 21
- 19
- 11
- 45
- 16
- 26
- 20
- 14
- 14
- 13
- 14
- 19
- 19
- 40
- 25
- 12
- 11
- 65
- 18
- 17
- 17
- 33
- 48
- 14
- 35
- 11
- 34
- 41
- 61
- 10
- 14
- 15
- 22
- 30
- 13
- 14
- 14
- 13
- 20
- 13
- 10
- 16
- 29
- 13
- 36
- 147
- 12
- 14
- 12
- 11
- 20
- 13
- 18
- 17
- 14
- 43
- 11
- 24
- 23
- 26
- 23
- 29
- 42
- 84
- 32
- 34
- 14
- 26
- 58
- 11
- 29
- 28
- 13
- 30
- 46
- 21
- 19
- 19
- 24
- 38
- 26
- 21
- 26
- 13
- 11
- 48
- 15
- 15
- 18
- 15
- 25
- 36
- 17
- 89
- 17
- 28
- 24
- 55
- 31
- 45
- 15
- 15
- 41
- 44
- 38
- 12
- 22
- 26
- 25
- 11
- 15
- 26
- 37
- 24
- 11
- 19
- 15
- 13
- 13
- 47
- 14
- 19
- 14
- 16
- 34
- 19
- 62
- 26
- 12
- 36
- 76
- 13
- 25
- 14
- 19
- 17
- 36
- 19
- 15
- 32
- 34
- 52
- 25
- 25
- 12
- 20
- 14
- 27
- 29
- 50
- 26
- 21
- 25
- 21
- 12
- 26
- 31
- 26
- 15
- 25
- 12
- 11
- 14
- 52
- Verlag
-
- 1
- 8
- 43
- 2
- 42
- 17
- 19
- 1
- 1
- 1
- 5
- 1
- 74
- 10
- 500
- 5
- 1
- 3
- 37
- 2
- 1
- 5
- 16
- 1
- 36
- 1
- 155
- 1
- 6
- 2
- 4
- 1
- 4
- 5
- 53
- 9
- 17
- 82
- 2
- 2
- 5
- 1
- 7
- 2
- 1
- 4
- 1
- 2
- 5
- 16
- 1
- 1
- 1
- 3
- 1
- 2
- 8
- 14
- 509
- 1
- 2
- 3
- 2
- 6
- 75
- 1
- 1
- 1
- 1
- 756
- 1
- 1
- 2
- 12
- 1
- 12
- 1936
- 2111
- 2
- 1
- 4
- 1
- 1
- 41
- 1
- 2
- 2
- 1
- 5
- 25
- 5
- 39
- 3
- 2
- 23
- 46
- 1
- 7
- 41
- 22
- 3
- 1
- 1
- 27
- 9
- 5
- 2
- 8
- 10
- 381
- 199
- 2
- 58
- 140
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 3
- 8
- 2
- 2
- 1
- 2
- 1
- 1
- 11
- 1
- 3
- 5
- 2
- 1
- 54
- 1
- 10
- 9
- 12
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 9
- 36
- 1
- 9
- 9
- 5
- 34
- 1
- 9
- 8
- 6
- 2
- 2
- 1
- 1
- 4
- 6
- 10
- 1
- 2
- 4
- 169
- 1
- 6
- 71
- 2
- 3
- 2
- 131
- 10
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 12
- 8
- 21
- 12
- 47
- 2
- 10
- 3
- 1
- 2
- 1
- 1
- 1
- 26
- 13
- 2
- 73
- 13
- 4
- 7
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 92
- 2
- 1
- 1
- 1
- 1
- 3
- 35
- 2
- 18
- 5
- 6
- 1
- 15
- 1
- 2
- 36
- 3
- 1
- 4
- 28
- 7
- 16
- 1
- 3
- 20
- 6
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 36
- 11
- 1
- 6
- 18
- 5
- 1
- 4
- 1
- 1
- 1
- 3
- 31
- 6
- 4
- 12
- 134
- 4
- 7
- 2
- 4
- 4
- 12
- 6
- 24
- 2
- 7
- 1
- 6
- 1
- 4
- 1
- 22
- 5
- 1
- 3
- 9
- 2
- 18
- 122
- 6
- 1
- 1
- 11
- 1
- 3
- 33
- 4
- 59
- 1
- 1
- 2
- 1
- 6
- 1
- 7
- 6
- 3
- 4
- 43
- 1
- 1
- 2
- 105
- 2
- 433
- 3
- 4
- 1
- 12
- 7
- 4
- 3
- 9
- 3
- 5
- 12
- 1
- 18
- 2
- 1
- 1
- 1
- 15
- 4
- 12199
- 4437
- 105
- 12739
- 5
- 74
- 1
- 23
- 1
- 10
- 5205
- 4018
- 4
- 1219
- 499
- 1719
- 1
- 61
- 118
- 7
- 1
- 2
- 2
- 3
- 6
- 1
- 3
- 3
- 2
- 4
- 11
- 456
- 1
- 217
- 492
- 36
- 1
- 1
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 131
- 25
- 3
- 11
- 12
- 8
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 8
- 5
- 2
- 1
- 4
- 2
- 1
- 1
- 45
- 4
- 1
- 25
- 9
- 1
- 4
- 1
- 1
- 213
- 1
- 2
- 7
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 961
- 6
- 20
- 1
- 2
- 1
- 14
- 31
- 4
- 238
- 3
- 12
- 5
- 1
- 1
- 2
- Preis
-
- 887
- 4097
- 18926
- 32180
- Sprachen
-
- 53377
- 2765
- 48
- 21
- 2
- 2
- 1
- 1
- 1
- 1
- Verfügbarkeit
-
- 55132
- 958
- Eigenschaften
-
- 60
- 41
- 1
- 1
- Katalog
-
- 56090
- 6415
-
Rolim Randomization and Approximation Techniques in Computer Science
International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63248-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Felty / Gunter Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
DiBattista Graph Drawing
5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63938-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Masunaga / Tsukamoto / Katayama Worldwide Computing and Its Applications - WWCA'98
Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64216-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Morvan / Krob / Meinel STACS 98
15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64230-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vaudenay Fast Software Encryption
5th International Workshop, FSE '98, Paris, France, March 23-25, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64265-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Borowik / Bolc Many-Valued Logics 2
Automated Reasoning and Practical Applications2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64507-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thomas / Nielsen Computer Science Logic
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64570-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Adam / Yesha / Bhargava Digital Libraries. Research and Technology Advances
ADL'95 Forum, McLean, Virginia, USA, May 15-17, 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61410-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tombre / Kasturi Graphics Recognition. Methods and Applications
First International Workshop, University Park, PA, USA, August (10-11), 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61226-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Palm / Hellendoorn / Driankov Model Based Fuzzy Control
Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61471-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jampel / Maher / Freuder Over-Constrained Systems
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rucklidge Efficient Visual Recognition Using the Hausdorff Distance
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61993-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Camilleri / Srivas Formal Methods in Computer-Aided Design
First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61937-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Limongelli / Calmet Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61697-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reusch Computational Intelligence. Theory and Applications
International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62868-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Winkowski / Mazurkiewicz CONCUR'97: Concurrency Theory
8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Raymond / Yu / Wood Automata Implementation
First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brinksma Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62790-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mende Softwareentwicklung für R/3
Data Dictionary, ABAP/4, Schnittstellen1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62849-1Medium: Buch74,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Degano / Gorrieri / Marchetti-Spaccamela Automata, Languages and Programming
Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63165-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Morganti / Fdida Multimedia Applications, Services and Techniques - ECMAST'97
Second European Conference, Milan, Italy, May 21-23, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63078-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fitzgerald / Lucas / Jones FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63533-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Matiyasevich / Nerode Logical Foundations of Computer Science
Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58140-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhang / Du Algorithms and Computation
5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58325-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort