Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Technische Informatik
- 8004 Computersicherheit
- 38 Dienstprogramme
- 804 Eingebettete Systeme
- 2148 Externe Speicher & Peripheriegeräte
- 679 Grid-Computing & Paralleles Rechnen
- 40 Großrechner & Minicomputer
- 1348 Hardware: Grundlagen und Allgemeines
- 946 Hochleistungsrechnen, Supercomputer
- 3164 Netzwerk-Hardware
- 197 Personal Computer
- 530 Quantencomputer, DNA-Computing
- 87 Server
- 3726 Systemverwaltung & Management
- 745 Wartung & Reparatur
- Medium
-
- 17132
- 1740
- 82
- 36
- 27
- 3
- 1
- Erscheinungsjahr
-
- 1
- 4
- 305
- 1890
- 981
- 937
- 897
- 830
- 869
- 1055
- 680
- 834
- 478
- 693
- 645
- 666
- 411
- 1207
- 388
- 525
- 584
- 532
- 525
- 437
- 430
- 377
- 317
- 256
- 195
- 164
- 139
- 141
- 108
- 84
- 54
- 37
- 52
- 54
- 43
- 17
- 23
- 8
- 12
- 2
- 3
- 2
- 6
- 4
- 3
- 2
- 3
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 2
- Autoren
-
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 6
- 8
- 4
- 5
- 8
- 6
- 4
- 23
- 6
- 5
- 13
- 5
- 7
- 4
- 18
- 4
- 4
- 7
- 5
- 5
- 4
- 8
- 4
- 4
- 11
- 6
- 6
- 4
- 5
- 20
- 4
- 4
- 5
- 5
- 4
- 10
- 11
- 6
- 4
- 5
- 6
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 7
- 4
- 4
- 4
- 9
- 10
- 4
- 6
- 5
- 4
- 5
- 5
- 13
- 4
- 10
- 4
- 5
- 4
- 5
- 5
- 6
- 4
- 4
- 7
- 5
- 4
- 4
- 4
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 9
- 4
- 5
- 4
- 6
- 4
- 13
- 6
- 5
- 4
- 6
- 4
- 4
- 13
- 16
- 4
- 11
- 4
- 4
- 9
- 6
- 4
- 8
- 6
- 12
- 8
- 4
- 5
- 4
- 4
- 6
- 6
- 4
- 4
- 7
- 43
- 19
- 16
- 10
- 4
- 7
- 17
- 11
- 14
- 9
- 6
- 12
- 4
- 4
- 6
- 6
- 7
- 7
- 4
- 4
- 4
- 6
- 6
- 4
- 9
- 4
- 5
- 4
- 4
- 8
- 4
- 6
- 4
- 4
- 10
- 8
- 7
- 9
- 12
- 6
- 34
- 8
- 12
- 19
- 7
- 5
- 4
- 5
- 5
- 4
- 4
- 4
- 5
- 4
- 5
- 6
- 11
- 19
- 4
- 5
- 24
- 17
- 4
- 4
- 4
- 4
- 4
- 10
- 4
- 4
- 16
- 4
- 10
- 9
- 4
- 26
- 4
- 4
- 4
- 19
- 4
- 6
- 14
- 14
- 10
- 5
- 34
- 4
- 24
- 10
- 4
- 7
- 4
- 7
- 5
- 7
- 5
- 4
- 17
- 5
- 8
- 4
- 4
- 15
- 4
- 4
- 4
- 14
- 4
- 7
- 14
- 10
- 8
- 4
- 9
- 14
- 5
- 6
- 8
- 4
- 4
- 6
- 8
- 15
- 15
- 19
- 4
- 5
- 4
- 6
- 4
- 13
- 5
- 5
- 5
- 11
- 4
- 8
- 14
- 8
- 5
- 4
- 6
- 7
- 4
- 5
- 4
- 23
- 11
- 4
- 7
- 13
- 5
- 5
- 4
- 4
- 11
- 4
- 8
- 4
- 13
- 10
- 4
- 4
- 42
- 15
- 19
- 5
- 5
- 4
- 5
- 4
- 6
- 5
- 8
- 7
- 5
- 4
- 4
- 9
- 4
- 4
- 14
- 8
- 5
- 11
- 8
- 4
- 4
- 4
- 12
- 5
- 5
- 4
- 7
- 4
- 7
- 5
- 4
- 4
- 5
- 4
- 5
- 17
- 41
- 6
- 4
- 4
- 13
- 7
- 5
- 6
- 4
- 4
- 4
- 14
- 19
- 29
- 5
- 6
- 8
- 4
- 5
- 6
- 4
- 12
- 39
- 4
- 5
- 10
- 4
- 8
- 4
- 34
- 6
- 4
- 5
- 4
- 6
- 8
- 5
- 4
- 25
- 4
- 5
- 4
- 4
- 6
- 7
- 8
- 4
- 13
- 4
- 8
- 9
- 13
- 8
- 4
- 5
- 4
- 5
- 6
- 19
- 4
- 10
- 26
- 13
- 13
- 4
- 7
- 6
- 4
- 14
- 4
- 5
- 6
- 4
- 12
- 4
- 5
- 11
- 13
- 7
- 4
- 8
- 14
- 11
- 4
- 7
- 8
- 5
- 6
- 7
- 4
- 5
- 6
- 4
- 5
- 19
- 4
- 4
- 6
- 7
- 6
- 5
- 4
- 7
- 8
- 4
- 4
- 4
- 6
- 4
- 6
- 27
- 10
- 13
- 7
- 60
- 9
- 4
- 5
- 6
- 5
- 4
- 4
- 6
- 5
- 9
- 9
- 4
- 10
- 5
- 12
- 9
- 7
- 5
- 4
- 14
- 4
- 17
- 4
- 11
- 7
- 6
- 4
- 8
- 4
- 7
- 7
- 10
- 5
- 6
- 4
- 31
- 10
- 14
- 12
- 15
- 4
- 22
- 4
- 9
- 10
- 4
- 5
- 5
- 4
- 4
- 4
- 7
- 8
- 4
- 6
- 14
- 5
- 4
- 4
- 5
- 6
- 11
- 4
- 7
- 7
- 4
- 7
- 17
- 11
- 15
- 4
- 4
- 4
- 4
- 9
- 12
- 7
- 4
- 10
- 4
- 4
- 4
- 4
- 5
- 7
- 6
- 7
- 5
- 4
- 4
- 8
- 4
- 9
- 8
- 10
- 13
- 6
- 4
- 4
- 10
- 4
- 6
- 7
- 4
- 4
- 14
- 7
- 6
- 8
- 9
- 5
- 5
- 7
- 6
- 5
- 6
- 5
- 19
- 6
- 9
- 5
- 6
- 10
- 5
- 9
- 8
- 6
- 24
- 16
- 85
- 19
- 6
- 12
- 5
- 16
- 6
- 7
- 8
- 6
- 6
- 5
- 6
- 11
- 7
- 14
- 8
- 5
- 14
- 7
- 8
- 9
- 8
- 5
- 13
- 6
- 23
- 5
- 7
- 6
- 7
- 10
- 5
- 7
- 5
- 7
- 6
- 7
- 24
- 6
- 9
- 12
- 10
- 12
- 10
- 5
- 10
- 6
- 5
- 5
- 8
- 21
- 5
- 13
- 6
- 7
- 5
- 5
- 5
- 5
- 5
- 9
- 8
- 30
- 5
- 7
- 8
- 6
- 9
- 11
- 7
- 8
- 7
- 12
- 5
- 6
- 11
- 5
- 6
- 6
- 7
- 14
- 5
- 10
- 6
- 15
- 9
- 8
- 11
- 8
- 7
- 7
- 7
- 21
- 13
- 9
- 43
- 5
- 6
- 8
- 7
- 11
- 5
- 19
- 6
- 7
- 10
- 9
- 10
- 12
- 6
- 8
- 5
- 7
- 8
- 5
- 6
- 6
- 5
- 6
- 5
- 13
- 5
- 11
- 6
- 6
- 10
- 6
- 5
- 5
- 9
- 13
- 5
- 17
- 5
- 21
- 9
- 6
- 6
- 8
- 7
- 5
- 13
- 10
- 5
- 6
- 11
- 14
- 7
- 29
- 6
- 9
- 5
- 6
- 11
- 7
- 6
- 10
- 7
- 14
- 8
- 6
- 11
- 6
- 10
- 8
- 5
- 5
- 5
- 10
- 24
- 7
- 5
- 6
- 14
- 5
- 6
- 5
- 17
- 6
- 10
- 7
- 6
- 11
- 19
- 7
- 6
- 11
- 5
- 5
- 11
- 5
- 12
- 26
- 9
- 46
- 16
- 11
- 86
- 6
- 16
- 7
- 12
- 5
- 16
- 11
- 86
- 5
- 5
- 6
- 30
- 11
- 86
- 7
- 12
- 25
- 5
- 13
- 11
- 19
- 20
- 5
- 5
- 8
- 9
- 86
- 7
- 6
- 8
- 6
- 8
- 9
- 8
- 9
- 5
- 7
- 5
- 5
- 9
- 8
- 6
- 5
- 5
- 7
- 5
- 5
- 6
- 6
- 59
- 5
- 8
- 8
- 5
- 7
- 11
- 7
- 11
- 14
- 7
- 7
- 6
- 17
- 10
- 7
- 13
- 19
- 5
- 9
- 5
- 13
- 17
- 7
- 8
- 5
- 10
- 13
- 5
- 13
- 7
- 6
- 10
- 11
- 7
- 26
- 6
- 9
- 8
- 6
- 7
- 10
- 22
- 9
- 18
- 6
- 13
- 13
- 5
- 7
- 11
- 11
- 28
- 5
- 13
- 10
- 20
- 8
- 9
- 9
- 12
- 9
- 24
- 9
- 9
- 16
- 21
- 6
- 5
- 10
- 6
- 10
- 6
- 14
- 5
- 5
- 6
- 8
- 11
- 18
- 16
- 6
- 5
- 86
- 7
- 5
- 13
- 6
- 5
- 8
- 7
- 6
- 7
- 8
- 5
- 15
- 9
- 34
- 5
- 7
- 22
- 5
- 6
- 15
- 5
- 6
- 5
- 13
- 8
- 8
- 8
- 15
- 7
- 6
- 11
- 22
- 6
- 6
- 8
- 12
- 13
- 6
- 7
- 6
- 8
- 5
- 9
- 6
- 6
- 5
- 6
- 6
- 15
- 9
- 5
- 9
- 7
- 8
- 5
- 20
- 6
- 5
- 10
- 5
- 7
- 9
- 7
- 61
- 6
- 10
- 5
- 6
- 28
- 6
- 27
- 8
- 5
- 8
- 10
- 9
- 9
- 7
- 35
- 14
- 14
- 7
- 12
- 13
- 5
- 10
- 6
- 5
- 13
- 6
- 6
- Verlag
-
- 2
- 19
- 23
- 5
- 2
- 4
- 19
- 18
- 482
- 5
- 1
- 2
- 3
- 1
- 2
- 2
- 4
- 85
- 1
- 1
- 1
- 2
- 3
- 4
- 12
- 1
- 1
- 1
- 1
- 5
- 4
- 1
- 1
- 7
- 2
- 11
- 1
- 59
- 1
- 2
- 43
- 1
- 1
- 80
- 1
- 1
- 1
- 14
- 1363
- 7
- 2
- 1120
- 2
- 1
- 1
- 1
- 2
- 2
- 10
- 1
- 1
- 11
- 11
- 6
- 6
- 14
- 37
- 7
- 34
- 21
- 1
- 1
- 7
- 1
- 2
- 6
- 17
- 152
- 76
- 13
- 11
- 3
- 27
- 1
- 4
- 1
- 7
- 1
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 36
- 6
- 11
- 1
- 7
- 3
- 1
- 6
- 1
- 1
- 23
- 4
- 2
- 1
- 1
- 8
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 6
- 2
- 1
- 5
- 1
- 2
- 53
- 66
- 1
- 13
- 1
- 2
- 4
- 2
- 13
- 68
- 3
- 1
- 10
- 26
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 3
- 30
- 1
- 9
- 12
- 11
- 1
- 1
- 1
- 1
- 4
- 10
- 2
- 2
- 3
- 18
- 2
- 4
- 3
- 1
- 2
- 19
- 4
- 2
- 3
- 6
- 2
- 1
- 1
- 1
- 7
- 1
- 5
- 3
- 2
- 2
- 17
- 3
- 1
- 6
- 12
- 14
- 2
- 2
- 2
- 2
- 5
- 3
- 17
- 2
- 1
- 2
- 1
- 1
- 2
- 7
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 8
- 1
- 9
- 55
- 5
- 28
- 121
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3163
- 1
- 2364
- 22
- 2482
- 13
- 4
- 5
- 932
- 900
- 296
- 453
- 1346
- 23
- 51
- 1
- 2
- 2
- 2
- 3
- 7
- 1
- 28
- 21
- 35
- 11
- 518
- 73
- 458
- 144
- 1
- 20
- 3
- 3
- 4
- 3
- 3
- 1
- 9
- 1
- 1
- 1
- 2
- 1
- 29
- 1
- 1
- 1
- 4
- 86
- 1
- 2
- 5
- 3
- 2
- 1
- 1
- 18
- 1
- 1
- 402
- 7
- 19
- 6
- 1
- 1
- 1
- 4
- 15
- 1
- 1
- 72
- 13
- 1
- Preis
-
- 453
- 2194
- 8149
- 8225
- Sprachen
-
- 17711
- 1318
- 7
- 3
- 3
- 1
- Verfügbarkeit
-
- 18723
- 298
- Eigenschaften
-
- 12
- 5
- Katalog
-
- 19021
- 3471
-
Sauveron / Markantonakis / Bilas Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems
First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007Erscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72353-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cham / Cai / Dorai Advances in Multimedia Modeling
13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007, Proceedings, Part IErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-69421-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Diniz / Marques / Cardoso Reconfigurable Computing: Architectures, Tools and Applications
Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71430-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weyns / Parunak / Michel Environments for Multi-Agent Systems III
Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71102-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Daydé / Palma / Correia Lopes High Performance Computing for Computational Science - VECPAR 2006
7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71350-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lukowicz / Tröster / Thiele Architecture of Computing Systems - ARCS 2007
20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71267-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
O'Boyle / Bodin / Cintra Transactions on High-Performance Embedded Architectures and Compilers I
1. Auflage 2007Verlag: SpringerISBN: 978-3-540-71527-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Giacobini / Minner / Brabazon Applications of Evolutionary Computing
EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71804-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Südholt / Consel Object-Oriented Technology.ECOOP 2006 Workshop Reader
ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final ReportsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71772-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gal / Lesk / Kantor Protecting Persons While Protecting the People
Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008. Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-10232-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Narasimhan / Lee Software Technologies for Embedded and Ubiquitous Systems
7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-10264-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Spyropoulos / Hummel Self-Organizing Systems
4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10864-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Deaton / Suyama DNA Computing and Molecular Programming
15th International Meeting on DNA Computing, DNA 15, Fayetteville, AR, USA, June 8-11, 2009. Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-10603-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Prakash Information Systems Security
5th International Conference, ICISS 2009 Kolkata, India, December 14-18, 2009 Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10771-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Malyshkin Parallel Computing Technologies
10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03274-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Geretshuber / Setola Critical Information Infrastructure Security
Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 20082009Verlag: SpringerISBN: 978-3-642-03551-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sun / Wermter Hybrid Neural Systems
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67305-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Suzuki / Hasegawa / Higashino Testing of Software and Communicating Systems
20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68514-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harju / Siris / Heijenk Wired/Wireless Internet Communications
6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68805-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bechhofer / Koubarakis / Hauswirth The Semantic Web: Research and Applications
5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68233-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Azvine / Nauck / Azarmi Intelligent Systems and Soft Computing
Prospects, Tools and Applications2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67837-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Malyshkin Parallel Computing Technologies
9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73939-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ferrer / Samarati Public Key Infrastructure
4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73407-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Salvendy / Smith Human Interface and the Management of Information. Interacting in Information Environments
Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73353-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schneider / Brandt Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74590-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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