Ergebnisse filtern
Fachgebiet
Medium
  • 10611
  • 5243
Erscheinungsjahr
  • 137
  • 1016
  • 1062
  • 786
  • 661
  • 412
  • 404
  • 452
  • 447
  • 427
  • 436
  • 423
  • 417
  • 425
  • 450
  • 460
  • 419
  • 534
  • 486
  • 595
  • 553
  • 518
  • 722
  • 1367
  • 257
  • 262
  • 181
  • 175
  • 143
  • 144
  • 142
  • 125
  • 111
  • 98
  • 73
  • 85
  • 60
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 12
  • 9
  • 6
  • 6
  • 11
  • 6
  • 8
  • 9
  • 8
  • 14
  • 6
  • 14
  • 10
  • 10
  • 21
  • 6
  • 31
  • 10
  • 6
  • 10
  • 9
  • 8
  • 11
  • 9
  • 13
  • 30
  • 39
  • 9
  • 63
  • 10
  • 7
  • 6
  • 10
  • 18
  • 19
  • 12
  • 6
  • 8
  • 12
  • 50
  • 11
  • 6
  • 8
  • 7
  • 11
  • 9
  • 7
  • 9
  • 8
  • 6
  • 6
  • 14
  • 10
  • 6
  • 15
  • 7
  • 9
  • 6
  • 7
  • 15
  • 10
  • 9
  • 13
  • 9
  • 28
  • 7
  • 13
  • 17
  • 12
  • 7
  • 7
  • 16
  • 11
  • 9
  • 33
  • 13
  • 6
  • 7
  • 11
  • 6
  • 45
  • 6
  • 6
  • 29
  • 24
  • 6
  • 14
  • 10
  • 11
  • 6
  • 7
  • 9
  • 10
  • 15
  • 6
  • 12
  • 11
  • 6
  • 9
  • 21
  • 8
  • 6
  • 17
  • 9
  • 21
  • 8
  • 18
  • 8
  • 6
  • 10
  • 7
  • 12
  • 50
  • 22
  • 12
  • 10
  • 7
  • 13
  • 13
  • 13
  • 8
  • 8
  • 20
  • 8
  • 16
  • 6
  • 7
  • 12
  • 11
  • 11
  • 18
  • 12
  • 6
  • 14
  • 6
  • 27
  • 11
  • 22
  • 6
  • 18
  • 6
  • 9
  • 6
  • 9
  • 7
  • 14
  • 13
  • 7
  • 8
  • 11
  • 37
  • 16
  • 47
  • 16
  • 11
  • 28
  • 24
  • 9
  • 11
  • 25
  • 10
  • 52
  • 11
  • 16
  • 15
  • 8
  • 6
  • 7
  • 7
  • 12
  • 6
  • 10
  • 23
  • 6
  • 11
  • 12
  • 7
  • 50
  • 7
  • 9
  • 11
  • 11
  • 8
  • 21
  • 6
  • 7
  • 8
  • 6
  • 12
  • 7
  • 10
  • 14
  • 10
  • 18
  • 6
  • 9
  • 7
  • 6
  • 15
  • 8
  • 8
  • 16
  • 7
  • 6
  • 9
  • 12
  • 9
  • 9
  • 7
  • 7
  • 7
  • 7
  • 7
  • 20
  • 9
  • 29
  • 13
  • 18
  • 6
  • 6
  • 12
  • 6
  • 6
  • 16
  • 18
  • 27
  • 7
  • 14
  • 7
  • 11
  • 6
  • 13
  • 11
  • 6
  • 6
  • 7
  • 6
  • 14
  • 6
  • 10
  • 6
  • 16
  • 7
  • 8
  • 10
  • 19
  • 14
  • 8
  • 13
  • 9
  • 7
  • 59
  • 63
  • 8
  • 30
  • 11
  • 13
  • 6
  • 17
  • 6
  • 9
  • 35
  • 20
  • 7
  • 13
  • 27
  • 12
  • 6
  • 8
  • 13
  • 13
  • 12
  • 6
  • 6
  • 7
  • 33
  • 19
  • 55
  • 8
  • 10
  • 19
  • 12
  • 8
  • 6
  • 6
  • 10
  • 6
  • 22
  • 7
  • 18
  • 7
  • 6
  • 7
  • 7
  • 7
  • 10
  • 6
  • 8
  • 7
  • 7
  • 8
  • 10
  • 26
  • 21
  • 6
  • 8
  • 6
  • 6
  • 12
  • 11
  • 10
  • 6
  • 15
  • 11
  • 6
  • 7
  • 8
  • 13
  • 8
  • 21
  • 7
  • 21
  • 76
  • 8
  • 6
  • 29
  • 10
  • 35
  • 10
  • 23
  • 34
  • 136
  • 7
  • 6
  • 14
  • 15
  • 10
  • 8
  • 21
  • 16
  • 6
  • 8
  • 7
  • 6
  • 25
  • 14
  • 7
  • 13
  • 6
  • 6
  • 6
  • 12
  • 6
  • 14
  • 10
  • 6
  • 18
  • 22
  • 6
  • 7
  • 7
  • 7
  • 9
  • 8
  • 6
  • 7
  • 11
  • 19
  • 7
  • 6
  • 6
  • 52
  • 12
  • 11
  • 8
  • 7
  • 10
  • 8
  • 6
  • 22
  • 15
  • 10
  • 14
  • 21
  • 50
  • 6
  • 9
  • 12
  • 19
  • 10
  • 15
  • 6
  • 7
  • 10
  • 12
  • 7
  • 9
  • 7
  • 9
  • 6
  • 6
  • 8
  • 16
  • 20
  • 9
  • 6
  • 11
  • 9
  • 10
  • 10
  • 7
  • 9
  • 6
  • 93
  • 6
  • 6
  • 7
  • 10
  • 7
  • 6
  • 7
  • 6
  • 9
  • 10
  • 7
  • 8
  • 12
  • 20
  • 9
  • 15
  • 10
  • 6
  • 14
  • 11
  • 24
  • 12
  • 6
  • 13
  • 6
  • 11
  • 6
  • 6
  • 9
  • 6
  • 6
  • 13
  • 22
  • 8
  • 16
  • 14
  • 13
  • 7
  • 13
  • 6
  • 13
  • 7
  • 17
  • 6
  • 6
  • 14
  • 8
  • 7
  • 18
  • 8
  • 6
  • 12
  • 9
  • 7
  • 9
  • 13
  • 18
  • 6
  • 11
  • 14
  • 15
  • 10
  • 10
  • 6
  • 36
  • 8
  • 8
  • 8
  • 8
  • 7
  • 29
  • 6
  • 9
  • 24
  • 44
  • 9
  • 7
  • 10
  • 6
  • 13
  • 20
  • 8
  • 12
  • 6
  • 44
  • 14
  • 6
  • 8
  • 16
  • 6
  • 8
  • 11
  • 6
  • 21
  • 10
  • 14
  • 21
  • 13
  • 21
  • 41
  • 9
  • 19
  • 17
  • 28
  • 8
  • 11
  • 16
  • 6
  • 14
  • 12
  • 13
  • 37
  • 26
  • 46
  • 6
  • 50
  • 7
  • 7
  • 8
  • 6
  • 17
  • 10
  • 7
  • 16
  • 7
  • 6
  • 12
  • 6
  • 9
  • 11
  • 7
  • 12
  • 11
  • 12
  • 7
  • 16
  • 88
  • 23
  • 24
  • 20
  • 8
  • 8
  • 26
  • 13
  • 9
  • 22
  • 9
  • 11
  • 8
  • 12
  • 11
  • 7
  • 11
  • 8
  • 9
  • 16
  • 24
  • 18
  • 21
  • 8
  • 24
  • 8
  • 10
  • 27
  • 7
  • 7
  • 17
  • 75
  • 14
  • 8
  • 23
  • 12
  • 15
  • 29
  • 7
  • 11
  • 10
  • 22
  • 8
  • 10
  • 7
  • 20
  • 15
  • 27
  • 7
  • 17
  • 23
  • 17
  • 21
  • 19
  • 20
  • 13
  • 20
  • 7
  • 8
  • 10
  • 13
  • 7
  • 19
  • 7
  • 13
  • 13
  • 36
  • 10
  • 36
  • 32
  • 9
  • 15
  • 8
  • 7
  • 8
  • 12
  • 7
  • 13
  • 33
  • 8
  • 7
  • 10
  • 7
  • 12
  • 7
  • 8
  • 7
  • 21
  • 9
  • 24
  • 13
  • 7
  • 10
  • 10
  • 11
  • 10
  • 8
  • 20
  • 10
  • 11
  • 10
  • 7
  • 58
  • 7
  • 13
  • 13
  • 12
  • 8
  • 11
  • 8
  • 8
  • 25
  • 7
  • 7
  • 14
  • 14
  • 13
  • 8
  • 9
  • 14
  • 9
  • 119
  • 15
  • 8
  • 10
  • 10
  • 17
  • 14
  • 18
  • 10
  • 10
  • 12
  • 14
  • 59
  • 15
  • 20
  • 10
  • 7
  • 10
  • 7
  • 14
  • 7
  • 11
  • 14
  • 7
  • 11
  • 7
  • 7
  • 10
  • 7
  • 7
  • 17
  • 20
  • 11
  • 11
  • 10
  • 9
  • 12
  • 11
  • 19
  • 51
  • 14
  • 7
  • 25
  • 14
  • 8
  • 9
  • 26
  • 23
  • 10
  • 10
  • 11
  • 7
  • 20
  • 20
  • 20
  • 21
  • 14
  • 9
  • 37
  • 24
  • 15
  • 15
  • 10
  • 10
  • 8
  • 30
  • 9
  • 19
  • 12
  • 30
  • 7
  • 13
  • 12
  • 7
  • 9
  • 19
  • 8
  • 9
  • 20
  • 19
  • 7
  • 15
  • 7
  • 7
  • 12
  • 27
  • 10
  • 13
  • 12
  • 21
  • 14
  • 21
  • 13
  • 13
  • 7
  • 21
  • 8
  • 7
  • 11
  • 7
  • 12
  • 8
  • 19
  • 29
  • 16
  • 8
  • 14
  • 8
  • 9
  • 24
  • 7
  • 7
  • 15
  • 110
  • 9
  • 9
  • 7
  • 8
  • 38
  • 16
  • 10
  • 12
  • 26
  • 20
  • 10
  • 8
  • 17
  • 12
  • 21
  • 7
  • 115
  • 78
  • 13
  • 8
  • 109
  • 27
  • 16
  • 10
  • 12
  • 14
  • 24
  • 24
  • 7
  • 8
  • 8
  • 11
  • 111
  • 8
  • 24
  • 12
  • 12
  • 12
  • 9
  • 22
  • 18
  • 16
  • 10
  • 8
  • 9
  • 11
  • 8
  • 27
  • 19
  • 10
  • 8
  • 15
  • 14
  • 8
  • 32
  • 12
  • 10
  • 7
  • 8
  • 14
  • 7
  • 26
  • 23
  • 61
  • 12
  • 9
  • 10
  • 20
  • 16
  • 9
  • 22
  • 8
  • 18
  • 8
  • 17
  • 15
  • 7
  • 47
  • 7
  • 59
  • 25
  • 9
  • 15
  • 14
  • 10
  • 25
  • 15
  • 10
  • 20
  • 25
  • 32
  • 7
  • 17
  • 41
  • 10
  • 18
  • 31
  • 87
  • 12
  • 24
  • 34
  • 7
  • 12
  • 7
  • 24
  • 27
  • 12
  • 67
  • 27
  • 14
  • 7
  • 14
  • 25
  • 14
  • 8
  • 10
  • 7
  • 9
  • 12
  • 7
  • 7
  • 14
  • 17
  • 13
  • 14
  • 10
  • 22
  • 18
  • 109
  • 9
  • 15
  • 9
  • 19
  • 8
  • 8
  • 30
  • 7
  • 7
  • 49
  • 9
  • 7
  • 12
  • 11
  • 10
  • 10
  • 15
  • 22
  • 7
  • 11
  • 15
  • 27
  • 10
  • 11
  • 27
  • 8
  • 10
  • 9
  • 10
  • 8
  • 34
  • 8
  • 17
  • 12
  • 10
  • 11
  • 11
  • 10
  • 21
  • 9
  • 10
  • 18
  • 7
  • 36
  • 22
  • 15
  • 35
  • 12
  • 9
  • 12
  • 12
  • 21
  • 10
  • 7
  • 8
  • 57
  • 11
  • 9
  • 7
  • 29
  • 9
  • 7
  • 58
  • 16
  • 87
  • 11
  • 23
  • 11
  • 13
  • 9
  • 40
  • 8
  • 31
  • 37
  • 24
  • 13
  • 17
  • 13
  • 7
  • 17
  • 10
  • 7
  • 28
Verlag
  • 9
  • 12502
  • 1615
  • 1554
  • 3
  • 38
  • 94
  • 1
  • 38
Preis
  • 50
  • 493
  • 12920
  • 2391
Sprachen
  • 15844
  • 22
  • 15
  • 1
Verfügbarkeit
  • 15834
  • 20
Eigenschaften
  • 9
Katalog
  • 15854
  • 583
15.854  Treffer  für „Lecture Notes in Computer Science“
    Huang / Chen / Li | Advanced Intelligent Computing Technology and Applications | eBook | Sack Fachmedien
    E-Book

    Huang / Chen / Li Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XIV
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-969908-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Huang / Pan / Chen | Advanced Intelligent Computing Technology and Applications | eBook | Sack Fachmedien
    E-Book

    Huang / Pan / Chen Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part VII
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-969875-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Borbinha / Prince Sales / Da Silva | Enterprise Design, Operations, and Computing | eBook | Sack Fachmedien
    E-Book

    Borbinha / Prince Sales / Da Silva Enterprise Design, Operations, and Computing

    28th International Conference, EDOC 2024, Vienna, Austria, September 10–13, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-031-78338-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lokoc / Lokoc / Skopal | MultiMedia Modeling | Buch | Sack Fachmedien

    Lokoc / Lokoc / Skopal MultiMedia Modeling

    27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-67831-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pan / Thiran / Halpin | Journal on Data Semantics XI | Buch | Sack Fachmedien

    Pan / Thiran / Halpin Journal on Data Semantics XI

    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92147-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veanes / Tretmans / Grieskamp | Testing of Software and Communicating Systems | Buch | Sack Fachmedien

    Veanes / Tretmans / Grieskamp Testing of Software and Communicating Systems

    19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73065-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Branke / Deb / Miettinen | Multiobjective Optimization | Buch | Sack Fachmedien

    Branke / Deb / Miettinen Multiobjective Optimization

    Interactive and Evolutionary Approaches
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-88907-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Renault / Boumerdassi / Bouzefrane | Mobile, Secure, and Programmable Networking | Buch | Sack Fachmedien

    Renault / Boumerdassi / Bouzefrane Mobile, Secure, and Programmable Networking

    4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-03100-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zhu / Du | Combinatorial Optimization and Applications | eBook | Sack Fachmedien
    E-Book

    Wang / Zhu / Du Combinatorial Optimization and Applications

    5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-22616-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rabl / Nambiar / Baru | Big Data Benchmarking | Buch | Sack Fachmedien

    Rabl / Nambiar / Baru Big Data Benchmarking

    6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49747-1
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almási / Cascaval / Wu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Almási / Cascaval / Wu Languages and Compilers for Parallel Computing

    19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72520-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Raedt / Frasconi / Kersting | Probabilistic Inductive Logic Programming | eBook | Sack Fachmedien
    E-Book

    De Raedt / Frasconi / Kersting Probabilistic Inductive Logic Programming

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78652-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Eder / Louren?o / Shehory | Hardware and Software: Verification and Testing | eBook | Sack Fachmedien
    E-Book

    Eder / Louren?o / Shehory Hardware and Software: Verification and Testing

    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-34188-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fred / De Marsico / Tabbone | Pattern Recognition Applications and Methods | eBook | Sack Fachmedien
    E-Book

    Fred / De Marsico / Tabbone Pattern Recognition Applications and Methods

    Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25530-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Koh / Dunstan / Silvera-Tawil | Cultural Robotics | eBook | Sack Fachmedien
    E-Book

    Koh / Dunstan / Silvera-Tawil Cultural Robotics

    First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42945-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aceto / Damgaard / Goldberg | Automata, Languages and Programming | eBook | Sack Fachmedien
    E-Book

    Aceto / Damgaard / Goldberg Automata, Languages and Programming

    35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70575-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gong / Luo / Chen | Web Information Systems and Mining | eBook | Sack Fachmedien
    E-Book

    Gong / Luo / Chen Web Information Systems and Mining

    International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-23982-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Ludwig / Toumani | Service-Oriented Computing | eBook | Sack Fachmedien
    E-Book

    Liu / Ludwig / Toumani Service-Oriented Computing

    10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-34321-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ortuño / Rojas | Bioinformatics and Biomedical Engineering | eBook | Sack Fachmedien
    E-Book

    Ortuño / Rojas Bioinformatics and Biomedical Engineering

    4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-31744-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chechik / Raskin | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Chechik / Raskin Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49674-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brorsson / Pinho | Reliable Software Technologies -- Ada-Europe 2012 | eBook | Sack Fachmedien
    E-Book

    Brorsson / Pinho Reliable Software Technologies -- Ada-Europe 2012

    17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-30598-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ferro / Luccio / Widmayer | Fun with Algorithms | eBook | Sack Fachmedien
    E-Book

    Ferro / Luccio / Widmayer Fun with Algorithms

    7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07890-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jatowt / Lim / Ding | Social Informatics | eBook | Sack Fachmedien
    E-Book

    Jatowt / Lim / Ding Social Informatics

    5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03260-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Abadi / Lluch Lafuente | Trustworthy Global Computing | eBook | Sack Fachmedien
    E-Book

    Abadi / Lluch Lafuente Trustworthy Global Computing

    8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-05119-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular