Ergebnisse filtern
Fachgebiet
Medium
  • 4594
Erscheinungsjahr
  • 159
  • 554
  • 565
  • 310
  • 145
  • 89
  • 92
  • 126
  • 125
  • 123
  • 126
  • 119
  • 107
  • 129
  • 125
  • 117
  • 117
  • 105
  • 76
  • 117
  • 119
  • 97
  • 132
  • 111
  • 103
  • 100
  • 68
  • 60
  • 47
  • 43
  • 47
  • 44
  • 42
  • 38
  • 26
  • 29
  • 18
  • 17
  • 11
  • 10
  • 4
  • 2
Autoren
  • 6
  • 3
  • 3
  • 3
  • 4
  • 6
  • 10
  • 8
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 16
  • 20
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 14
  • 9
  • 33
  • 6
  • 3
  • 8
  • 7
  • 4
  • 4
  • 3
  • 7
  • 3
  • 8
  • 3
  • 5
  • 3
  • 3
  • 3
  • 39
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 9
  • 4
  • 3
  • 3
  • 13
  • 7
  • 3
  • 6
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 7
  • 6
  • 3
  • 5
  • 5
  • 4
  • 3
  • 12
  • 3
  • 5
  • 9
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 5
  • 6
  • 5
  • 10
  • 5
  • 6
  • 39
  • 3
  • 3
  • 3
  • 5
  • 14
  • 3
  • 3
  • 7
  • 3
  • 9
  • 7
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 14
  • 14
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 39
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 16
  • 7
  • 6
  • 8
  • 4
  • 3
  • 7
  • 7
  • 11
  • 6
  • 4
  • 7
  • 4
  • 24
  • 3
  • 3
  • 11
  • 3
  • 3
  • 5
  • 10
  • 3
  • 3
  • 11
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 33
  • 5
  • 3
  • 10
  • 40
  • 3
  • 12
  • 6
  • 3
  • 7
  • 4
  • 3
  • 5
  • 20
  • 38
  • 5
  • 4
  • 5
  • 3
  • 9
  • 15
  • 6
  • 4
  • 4
  • 7
  • 5
  • 12
  • 4
  • 4
  • 8
  • 5
  • 7
  • 4
  • 4
  • 4
  • 39
  • 5
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 12
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 6
  • 6
  • 3
  • 10
  • 5
  • 6
  • 4
  • 8
  • 4
  • 6
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 10
  • 10
  • 8
  • 6
  • 4
  • 3
  • 6
  • 24
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 5
  • 5
  • 3
  • 5
  • 4
  • 9
  • 16
  • 11
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 8
  • 6
  • 16
  • 4
  • 9
  • 15
  • 7
  • 8
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 6
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 27
  • 4
  • 4
  • 3
  • 3
  • 46
  • 3
  • 3
  • 4
  • 4
  • 4
  • 16
  • 3
  • 3
  • 4
  • 7
  • 3
  • 8
  • 3
  • 4
  • 3
  • 7
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 7
  • 10
  • 7
  • 3
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 12
  • 4
  • 3
  • 5
  • 4
  • 32
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 8
  • 16
  • 21
  • 37
  • 3
  • 4
  • 12
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 16
  • 3
  • 4
  • 3
  • 6
  • 16
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 5
  • 13
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 23
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 5
  • 7
  • 9
  • 6
  • 3
  • 9
  • 16
  • 39
  • 5
  • 3
  • 3
  • 4
  • 8
  • 3
  • 17
  • 6
  • 11
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 9
  • 4
  • 16
  • 6
  • 4
  • 6
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 68
  • 5
  • 3
  • 3
  • 6
  • 5
  • 10
  • 3
  • 5
  • 8
  • 8
  • 5
  • 4
  • 3
  • 4
  • 16
  • 5
  • 3
  • 12
  • 3
  • 3
  • 9
  • 3
  • 3
  • 5
  • 4
  • 9
  • 5
  • 3
  • 8
  • 5
  • 3
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 5
  • 3
  • 6
  • 6
  • 14
  • 3
  • 13
  • 4
  • 7
  • 6
  • 4
  • 5
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 14
  • 3
  • 3
  • 6
  • 6
  • 9
  • 4
  • 4
  • 9
  • 4
  • 5
  • 6
  • 3
  • 8
  • 4
  • 4
  • 4
  • 19
  • 6
  • 6
  • 5
  • 8
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 10
  • 20
  • 4
  • 4
  • 6
  • 7
  • 16
  • 4
  • 4
  • 4
  • 5
  • 5
  • 8
  • 29
  • 4
  • 8
  • 4
  • 10
  • 5
  • 4
  • 5
  • 4
  • 5
  • 5
  • 7
  • 14
  • 20
  • 17
  • 5
  • 5
  • 18
  • 4
  • 4
  • 5
  • 7
  • 5
  • 5
  • 6
  • 12
  • 4
  • 5
  • 5
  • 21
  • 17
  • 6
  • 6
  • 4
  • 8
  • 4
  • 4
  • 4
  • 12
  • 5
  • 4
  • 5
  • 7
  • 6
  • 6
  • 4
  • 4
  • 4
  • 15
  • 4
  • 4
  • 87
  • 13
  • 4
  • 11
  • 5
  • 4
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 18
  • 20
  • 18
  • 4
  • 5
  • 6
  • 5
  • 59
  • 5
  • 19
  • 7
  • 9
  • 4
  • 14
  • 20
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 23
  • 6
  • 5
  • 5
  • 11
  • 13
  • 4
  • 4
  • 13
  • 14
  • 12
  • 18
  • 11
  • 7
  • 16
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 6
  • 7
  • 6
  • 4
  • 4
  • 7
  • 8
  • 8
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 37
  • 4
  • 5
  • 6
  • 36
  • 11
  • 10
  • 6
  • 10
  • 4
  • 5
  • 4
  • 4
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 39
  • 5
  • 5
  • 5
  • 6
  • 18
  • 5
  • 4
  • 13
  • 6
  • 10
  • 15
  • 8
  • 13
  • 4
  • 17
  • 4
  • 11
  • 4
  • 4
  • 4
  • 14
  • 10
  • 4
  • 11
  • 11
  • 4
  • 7
  • 24
  • 9
  • 5
  • 10
  • 9
  • 4
  • 4
  • 6
  • 6
  • 4
  • 4
  • 6
  • 9
  • 6
  • 18
  • 4
  • 4
  • 88
  • 5
  • 9
  • 8
  • 6
  • 5
  • 7
  • 88
  • 4
  • 11
  • 5
  • 86
  • 22
  • 5
  • 9
  • 4
  • 4
  • 4
  • 4
  • 7
  • 86
  • 15
  • 20
  • 4
  • 10
  • 8
  • 11
  • 7
  • 11
  • 9
  • 4
  • 4
  • 7
  • 15
  • 6
  • 4
  • 4
  • 4
  • 8
  • 20
  • 4
  • 4
  • 14
  • 4
  • 5
  • 9
  • 11
  • 9
  • 4
  • 6
  • 6
  • 7
  • 9
  • 4
  • 5
  • 10
  • 5
  • 5
  • 12
  • 9
  • 5
  • 4
  • 22
  • 4
  • 4
  • 8
  • 12
  • 23
  • 6
  • 10
  • 20
  • 21
  • 10
  • 11
  • 9
  • 19
  • 7
  • 6
  • 28
  • 24
  • 12
  • 6
  • 4
  • 4
  • 7
  • 12
  • 8
  • 12
  • 5
  • 7
  • 15
  • 5
  • 86
  • 5
  • 7
  • 15
  • 5
  • 5
  • 4
  • 13
  • 23
  • 5
  • 11
  • 5
  • 13
  • 4
  • 5
  • 21
  • 5
  • 5
  • 6
  • 6
  • 6
  • 7
  • 6
  • 4
  • 7
  • 10
  • 5
  • 6
  • 6
  • 5
  • 4
  • 5
  • 9
  • 4
  • 18
  • 5
  • 4
  • 21
  • 12
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 6
  • 4
  • 18
  • 6
  • 11
  • 5
  • 5
  • 43
  • 4
  • 14
  • 16
  • 18
  • 4
  • 4
  • 6
  • 4
  • 4
  • 32
  • 9
  • 5
  • 19
  • 10
  • 4
  • 5
  • 4
  • 6
  • 4
  • 21
Verlag
  • 2
  • 4570
  • 3
  • 1
  • 1
  • 17
Preis
  • 1
  • 112
  • 3412
  • 1069
Sprachen
  • 4594
Verfügbarkeit
  • 4592
  • 2
Eigenschaften
  • 2
Katalog
  • 4594
  • 213
4.594  Treffer  für „Lecture Notes in Computer Science“
    Manandhar / Austin / Desai | Applied Computing | Buch | Sack Fachmedien

    Manandhar / Austin / Desai Applied Computing

    Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23659-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemaire / Malinowski / Bagnall | Advanced Analytics and Learning on Temporal Data | Buch | Sack Fachmedien

    Lemaire / Malinowski / Bagnall Advanced Analytics and Learning on Temporal Data

    4th ECML PKDD Workshop, AALTD 2019, Würzburg, Germany, September 20, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-39097-6
    Medium: Buch
    53,49 € (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 II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92934-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Senn / Sanguineti / Saudargiene | Artificial Neural Networks and Machine Learning - ICANN 2025 | Buch | Sack Fachmedien

    Senn / Sanguineti / Saudargiene Artificial Neural Networks and Machine Learning - ICANN 2025

    34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04548-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olenev / Evtushenko / Jacimovic | Optimization and Applications | Buch | Sack Fachmedien

    Olenev / Evtushenko / Jacimovic Optimization and Applications

    15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-79118-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Behnke / Sheh / Sariel | RoboCup 2016: Robot World Cup XX | Buch | Sack Fachmedien

    Behnke / Sheh / Sariel RoboCup 2016: Robot World Cup XX

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68791-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusch / Weiß | Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet | Buch | Sack Fachmedien

    Klusch / Weiß Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet

    Second International Workshop, CIA'98, Paris, France, July 4-7, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64676-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartz-Beielstein / Blesa / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Bartz-Beielstein / Blesa / Blum Hybrid Metaheuristics

    4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75513-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurková / Kurková / Manolopoulos | Artificial Neural Networks and Machine Learning - ICANN 2018 | Buch | Sack Fachmedien

    Kurková / Kurková / Manolopoulos Artificial Neural Networks and Machine Learning - ICANN 2018

    27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-01420-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bickmore / Marsella / Sidner | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Bickmore / Marsella / Sidner Intelligent Virtual Agents

    14th International Conference, IVA 2014, Boston, MA, USA, August 27-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09766-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garijo / Takeda / Kirrane | The Semantic Web - ISWC 2025 | Buch | Sack Fachmedien

    Garijo / Takeda / Kirrane The Semantic Web - ISWC 2025

    24th International Semantic Web Conference, Nara, Japan, November 2-6, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09526-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Etalle | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Etalle Logic Based Program Synthesis and Transformation

    14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26655-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doulkeridis / Vouros / Qu | Mobility Analytics for Spatio-Temporal and Social Data | Buch | Sack Fachmedien

    Doulkeridis / Vouros / Qu Mobility Analytics for Spatio-Temporal and Social Data

    First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73520-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lutz / Ranise | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Lutz / Ranise Frontiers of Combining Systems

    10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24245-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozzon / Cudré-Mauroux / Pautasso | Web Engineering | Buch | Sack Fachmedien

    Bozzon / Cudré-Mauroux / Pautasso Web Engineering

    16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-38790-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrucci / Sproston | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Petrucci / Sproston Formal Modeling and Analysis of Timed Systems

    21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42625-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Acosta / Cudré-Mauroux / Maleshkova | Semantic Systems. The Power of AI and Knowledge Graphs | Buch | Sack Fachmedien

    Acosta / Cudré-Mauroux / Maleshkova Semantic Systems. The Power of AI and Knowledge Graphs

    15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-33219-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Horák / Kopecek | Text, Speech, and Dialogue | Buch | Sack Fachmedien

    Sojka / Horák / Kopecek Text, Speech, and Dialogue

    21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00793-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruynooghe / Wirsing | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Bruynooghe / Wirsing Programming Language Implementation and Logic Programming

    4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55844-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomi | Evolutionary Robotics. From Intelligent Robotics to Artificial Life | Buch | Sack Fachmedien

    Gomi Evolutionary Robotics. From Intelligent Robotics to Artificial Life

    International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42737-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schaefer / Cotta / Kolodziej | Parallel Problem Solving from Nature, PPSN XI | Buch | Sack Fachmedien

    Schaefer / Cotta / Kolodziej Parallel Problem Solving from Nature, PPSN XI

    11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15870-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moura | Automated Deduction - CADE 26 | Buch | Sack Fachmedien

    de Moura Automated Deduction - CADE 26

    26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63045-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Lahav / Wolff | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Lahav / Wolff Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50520-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz / Lindenstrauss | Conditional and Typed Rewriting Systems | Buch | Sack Fachmedien

    Dershowitz / Lindenstrauss Conditional and Typed Rewriting Systems

    4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke | Analogical and Inductive Inference | Buch | Sack Fachmedien

    Jantke Analogical and Inductive Inference

    International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51734-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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