Ergebnisse filtern
Fachgebiet
Medium
  • 7816
Erscheinungsjahr
  • 210
  • 691
  • 715
  • 434
  • 296
  • 153
  • 170
  • 199
  • 183
  • 202
  • 208
  • 220
  • 187
  • 208
  • 207
  • 177
  • 173
  • 203
  • 167
  • 235
  • 219
  • 186
  • 277
  • 239
  • 210
  • 192
  • 132
  • 126
  • 99
  • 107
  • 103
  • 97
  • 88
  • 77
  • 60
  • 69
  • 45
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 3
  • 5
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 9
  • 6
  • 10
  • 8
  • 6
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 20
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 4
  • 14
  • 25
  • 36
  • 6
  • 3
  • 27
  • 7
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 11
  • 3
  • 16
  • 5
  • 4
  • 11
  • 39
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 16
  • 4
  • 4
  • 5
  • 7
  • 5
  • 6
  • 6
  • 4
  • 6
  • 6
  • 8
  • 7
  • 5
  • 5
  • 4
  • 4
  • 16
  • 4
  • 6
  • 7
  • 10
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 4
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 8
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 14
  • 4
  • 10
  • 4
  • 4
  • 15
  • 14
  • 6
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 7
  • 7
  • 10
  • 4
  • 4
  • 8
  • 8
  • 6
  • 11
  • 6
  • 4
  • 7
  • 4
  • 24
  • 11
  • 5
  • 10
  • 5
  • 11
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 5
  • 11
  • 41
  • 4
  • 12
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 5
  • 20
  • 38
  • 5
  • 4
  • 5
  • 9
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 12
  • 4
  • 4
  • 4
  • 5
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 10
  • 6
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 34
  • 38
  • 4
  • 9
  • 23
  • 7
  • 8
  • 15
  • 8
  • 5
  • 24
  • 12
  • 4
  • 5
  • 6
  • 15
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 6
  • 5
  • 6
  • 4
  • 6
  • 27
  • 4
  • 4
  • 13
  • 46
  • 8
  • 4
  • 15
  • 7
  • 6
  • 6
  • 4
  • 6
  • 15
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 9
  • 5
  • 5
  • 11
  • 15
  • 35
  • 5
  • 7
  • 19
  • 9
  • 17
  • 21
  • 67
  • 11
  • 4
  • 15
  • 4
  • 4
  • 4
  • 19
  • 4
  • 5
  • 5
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 22
  • 4
  • 6
  • 7
  • 16
  • 7
  • 4
  • 7
  • 19
  • 39
  • 8
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 7
  • 6
  • 4
  • 4
  • 68
  • 4
  • 5
  • 10
  • 4
  • 6
  • 6
  • 15
  • 5
  • 11
  • 5
  • 8
  • 4
  • 18
  • 5
  • 8
  • 6
  • 4
  • 4
  • 16
  • 4
  • 7
  • 4
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 8
  • 9
  • 4
  • 5
  • 4
  • 5
  • 6
  • 22
  • 4
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 8
  • 13
  • 21
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 5
  • 29
  • 4
  • 6
  • 9
  • 9
  • 4
  • 5
  • 10
  • 6
  • 5
  • 5
  • 14
  • 4
  • 20
  • 17
  • 4
  • 5
  • 10
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 22
  • 36
  • 4
  • 6
  • 5
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 5
  • 6
  • 4
  • 7
  • 7
  • 14
  • 4
  • 90
  • 12
  • 16
  • 4
  • 4
  • 10
  • 6
  • 4
  • 13
  • 12
  • 4
  • 5
  • 4
  • 5
  • 18
  • 20
  • 24
  • 6
  • 4
  • 62
  • 4
  • 19
  • 6
  • 9
  • 4
  • 12
  • 20
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 6
  • 18
  • 5
  • 11
  • 4
  • 6
  • 7
  • 4
  • 6
  • 19
  • 5
  • 32
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 10
  • 5
  • 4
  • 6
  • 6
  • 7
  • 6
  • 4
  • 11
  • 4
  • 6
  • 4
  • 4
  • 7
  • 8
  • 8
  • 13
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 4
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 9
  • 59
  • 4
  • 4
  • 7
  • 6
  • 4
  • 5
  • 6
  • 12
  • 39
  • 11
  • 5
  • 10
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 19
  • 5
  • 6
  • 18
  • 6
  • 4
  • 13
  • 7
  • 11
  • 15
  • 8
  • 14
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 6
  • 4
  • 15
  • 10
  • 11
  • 4
  • 11
  • 7
  • 11
  • 5
  • 4
  • 4
  • 8
  • 24
  • 9
  • 7
  • 6
  • 9
  • 6
  • 5
  • 10
  • 7
  • 9
  • 5
  • 8
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 9
  • 24
  • 6
  • 12
  • 4
  • 5
  • 19
  • 4
  • 4
  • 5
  • 91
  • 5
  • 6
  • 5
  • 6
  • 9
  • 10
  • 8
  • 8
  • 4
  • 7
  • 4
  • 5
  • 19
  • 8
  • 4
  • 91
  • 4
  • 39
  • 11
  • 11
  • 5
  • 89
  • 22
  • 14
  • 7
  • 4
  • 9
  • 11
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 7
  • 89
  • 5
  • 15
  • 20
  • 4
  • 10
  • 12
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 10
  • 15
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 4
  • 22
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 5
  • 8
  • 4
  • 9
  • 11
  • 34
  • 8
  • 4
  • 6
  • 6
  • 7
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 11
  • 5
  • 5
  • 7
  • 5
  • 29
  • 34
  • 4
  • 8
  • 7
  • 8
  • 22
  • 4
  • 6
  • 4
  • 8
  • 4
  • 14
  • 24
  • 20
  • 9
  • 13
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 8
  • 19
  • 12
  • 11
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 7
  • 12
  • 8
  • 12
  • 5
  • 7
  • 6
  • 4
  • 15
  • 4
  • 5
  • 6
  • 7
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 4
  • 4
  • 14
  • 6
  • 4
  • 4
  • 25
  • 5
  • 11
  • 4
  • 5
  • 13
  • 4
  • 5
  • 21
  • 6
  • 5
  • 5
  • 17
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 26
  • 7
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 6
  • 9
  • 4
  • 18
  • 5
  • 10
  • 4
  • 11
  • 6
  • 24
  • 4
  • 14
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 6
  • 5
  • 4
  • 18
  • 6
  • 6
  • 5
  • 18
  • 4
  • 11
  • 4
  • 5
  • 4
  • 5
  • 5
  • 19
  • 4
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 32
  • 7
  • 9
  • 5
  • 18
  • 19
  • 4
  • 6
  • 5
  • 10
  • 4
  • 6
  • 6
  • 4
  • 21
Verlag
  • 2
  • 7768
  • 3
  • 5
  • 1
  • 1
  • 1
  • 3
  • 1
  • 31
Preis
  • 27
  • 239
  • 5893
  • 1657
Sprachen
  • 7811
  • 15
  • 12
Verfügbarkeit
  • 7808
  • 8
Eigenschaften
  • 6
Katalog
  • 7816
  • 332
7.816  Treffer  für „Lecture Notes in Computer Science“
    Simon | LATIN '92 | Buch | Sack Fachmedien

    Simon LATIN '92

    1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55284-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Göbel / Ma / Baalsrud Hauge | Serious Games | Buch | Sack Fachmedien

    Göbel / Ma / Baalsrud Hauge Serious Games

    First Joint International Conference, JCSG 2015, Huddersfield, UK, June 3-4, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19125-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vallecillo / Gray / Pierantonio | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Vallecillo / Gray / Pierantonio Theory and Practice of Model Transformations

    First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69926-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banâtre / Fradet / Giavitto | Unconventional Programming Paradigms | Buch | Sack Fachmedien

    Banâtre / Fradet / Giavitto Unconventional Programming Paradigms

    International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27884-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barneva / Brimkov / Tavares | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Barneva / Brimkov / Tavares Combinatorial Image Analysis

    19th International Workshop, IWCIA 2018, Porto, Portugal, November 22-24, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-05287-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McIntosh-Smith / Klemm / de Supinski | OpenMP: Advanced Task-Based, Device and Compiler Programming | Buch | Sack Fachmedien

    McIntosh-Smith / Klemm / de Supinski OpenMP: Advanced Task-Based, Device and Compiler Programming

    19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40743-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Huisman / Kordon | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Beyer / Huisman / Kordon Tools and Algorithms for the Construction and Analysis of Systems

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17501-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dobnikar / Lotric / Šter | Adaptive and Natural Computing Algorithms | Buch | Sack Fachmedien

    Dobnikar / Lotric / Šter Adaptive and Natural Computing Algorithms

    10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20266-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Métais / Meziane / Horacek | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Métais / Meziane / Horacek Natural Language Processing and Information Systems

    26th International Conference on Applications of Natural Language to Information Systems, NLDB 2021, Saarbrücken, Germany, June 23-25, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-80598-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ma / Li | Digital Forensics and Watermarking | Buch | Sack Fachmedien

    Ma / Li Digital Forensics and Watermarking

    22nd International Workshop, IWDW 2023, Jinan, China, November 25-26, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-981-97-2584-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finocchi / Georgiadis | Algorithms and Complexity | Buch | Sack Fachmedien

    Finocchi / Georgiadis Algorithms and Complexity

    14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92931-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Krishnaswamy / Pfeifer / Raz | Real-Time Mobile Multimedia Services | Buch | Sack Fachmedien

    Krishnaswamy / Pfeifer / Raz Real-Time Mobile Multimedia Services

    10th IFIP/IEEE International Conference on Management, of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75868-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischer / Homma | Cryptographic Hardware and Embedded Systems - CHES 2017 | Buch | Sack Fachmedien

    Fischer / Homma Cryptographic Hardware and Embedded Systems - CHES 2017

    19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66786-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andreev / Balandin / Koucheryavy | Internet of Things, Smart Spaces, and Next Generation Networking | Buch | Sack Fachmedien

    Andreev / Balandin / Koucheryavy Internet of Things, Smart Spaces, and Next Generation Networking

    12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32685-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Kopecek / Pala | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Sojka / Kopecek / Pala Text, Speech and Dialogue

    5th International Conference, TSD 2002, Brno, Czech Republic September 9-12, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44129-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beecks / Borutta / Kröger | Similarity Search and Applications | Buch | Sack Fachmedien

    Beecks / Borutta / Kröger Similarity Search and Applications

    10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68473-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joseph / Despotovic / Gianluca | Agents and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Joseph / Despotovic / Gianluca Agents and Peer-to-Peer Computing

    5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79704-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lucchesi / Moura | LATIN'98: Theoretical Informatics | Buch | Sack Fachmedien

    Lucchesi / Moura LATIN'98: Theoretical Informatics

    Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64275-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vaidya / Li | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Vaidya / Li Algorithms and Architectures for Parallel Processing

    18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-05062-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cassez / Raskin | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Cassez / Raskin Automated Technology for Verification and Analysis

    12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alboul / Damian / Aitken | Towards Autonomous Robotic Systems | Buch | Sack Fachmedien

    Alboul / Damian / Aitken Towards Autonomous Robotic Systems

    17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40378-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankaranarayanan / Sankaranarayanan / Trivedi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82699-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuno / Liu / Yin | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Matsuno / Liu / Yin Intelligent Robotics and Applications

    18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952097-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Pettorossi Logic Based Program Synthesis and Transformation

    11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43915-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koucheryavy / Kumar / Muthanna | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Koucheryavy / Kumar / Muthanna Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    25th International Conference, NEW2AN 2025, and 18th Conference, ruSMART 2025, Abu Dhabi, United Arab Emirates, November 10-12, 2025, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-19977-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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