Ergebnisse filtern
Fachgebiet
Medium
  • 10022
Erscheinungsjahr
  • 346
  • 843
  • 632
  • 482
  • 287
  • 283
  • 296
  • 303
  • 329
  • 304
  • 292
  • 290
  • 281
  • 300
  • 282
  • 274
  • 272
  • 239
  • 288
  • 260
  • 249
  • 372
  • 311
  • 263
  • 252
  • 184
  • 177
  • 130
  • 144
  • 138
  • 123
  • 111
  • 93
  • 73
  • 88
  • 57
  • 58
  • 44
  • 46
  • 33
  • 27
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 5
  • 5
  • 5
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 6
  • 7
  • 4
  • 6
  • 9
  • 4
  • 8
  • 4
  • 6
  • 4
  • 5
  • 5
  • 16
  • 5
  • 4
  • 6
  • 5
  • 5
  • 7
  • 8
  • 4
  • 7
  • 8
  • 5
  • 14
  • 4
  • 25
  • 36
  • 8
  • 39
  • 7
  • 10
  • 5
  • 6
  • 5
  • 4
  • 8
  • 6
  • 7
  • 7
  • 9
  • 5
  • 10
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 39
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 7
  • 6
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 12
  • 4
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 6
  • 6
  • 9
  • 7
  • 11
  • 8
  • 7
  • 4
  • 13
  • 4
  • 4
  • 6
  • 4
  • 15
  • 4
  • 4
  • 7
  • 6
  • 11
  • 4
  • 5
  • 5
  • 8
  • 5
  • 5
  • 6
  • 6
  • 22
  • 4
  • 4
  • 11
  • 6
  • 4
  • 6
  • 5
  • 6
  • 40
  • 4
  • 4
  • 5
  • 4
  • 24
  • 12
  • 7
  • 6
  • 7
  • 10
  • 4
  • 7
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 6
  • 10
  • 4
  • 4
  • 7
  • 5
  • 9
  • 7
  • 7
  • 4
  • 12
  • 7
  • 4
  • 14
  • 9
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 10
  • 4
  • 6
  • 39
  • 19
  • 10
  • 7
  • 4
  • 10
  • 5
  • 7
  • 6
  • 4
  • 5
  • 13
  • 9
  • 4
  • 10
  • 4
  • 8
  • 5
  • 5
  • 9
  • 6
  • 4
  • 7
  • 5
  • 4
  • 12
  • 4
  • 24
  • 4
  • 4
  • 8
  • 10
  • 4
  • 11
  • 4
  • 7
  • 4
  • 4
  • 9
  • 6
  • 8
  • 9
  • 5
  • 4
  • 5
  • 4
  • 5
  • 34
  • 10
  • 4
  • 41
  • 5
  • 8
  • 12
  • 13
  • 5
  • 13
  • 5
  • 9
  • 7
  • 19
  • 4
  • 4
  • 6
  • 15
  • 4
  • 7
  • 8
  • 4
  • 12
  • 5
  • 5
  • 8
  • 18
  • 5
  • 10
  • 9
  • 6
  • 4
  • 39
  • 4
  • 5
  • 4
  • 9
  • 7
  • 9
  • 4
  • 6
  • 5
  • 7
  • 12
  • 12
  • 7
  • 5
  • 9
  • 4
  • 4
  • 14
  • 8
  • 4
  • 11
  • 6
  • 5
  • 5
  • 4
  • 15
  • 11
  • 7
  • 9
  • 4
  • 4
  • 7
  • 5
  • 7
  • 9
  • 11
  • 5
  • 24
  • 6
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 6
  • 11
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 5
  • 4
  • 8
  • 10
  • 4
  • 48
  • 38
  • 4
  • 22
  • 5
  • 5
  • 13
  • 7
  • 6
  • 26
  • 12
  • 4
  • 4
  • 8
  • 22
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 12
  • 12
  • 46
  • 7
  • 7
  • 4
  • 14
  • 4
  • 6
  • 7
  • 10
  • 4
  • 4
  • 13
  • 4
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 6
  • 8
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 15
  • 20
  • 4
  • 4
  • 4
  • 4
  • 6
  • 5
  • 7
  • 7
  • 8
  • 11
  • 4
  • 5
  • 6
  • 6
  • 4
  • 16
  • 4
  • 4
  • 40
  • 23
  • 4
  • 7
  • 20
  • 6
  • 21
  • 5
  • 78
  • 7
  • 11
  • 6
  • 5
  • 16
  • 6
  • 6
  • 6
  • 11
  • 6
  • 7
  • 8
  • 5
  • 7
  • 13
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 5
  • 11
  • 4
  • 26
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 7
  • 5
  • 7
  • 21
  • 6
  • 6
  • 18
  • 39
  • 6
  • 15
  • 5
  • 9
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 14
  • 6
  • 4
  • 6
  • 9
  • 46
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 10
  • 4
  • 8
  • 18
  • 4
  • 9
  • 11
  • 6
  • 4
  • 10
  • 6
  • 4
  • 4
  • 6
  • 7
  • 4
  • 16
  • 8
  • 10
  • 13
  • 9
  • 13
  • 5
  • 4
  • 11
  • 4
  • 15
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 6
  • 5
  • 5
  • 5
  • 11
  • 5
  • 7
  • 14
  • 5
  • 5
  • 4
  • 10
  • 9
  • 6
  • 8
  • 5
  • 4
  • 18
  • 6
  • 12
  • 28
  • 4
  • 4
  • 5
  • 7
  • 6
  • 7
  • 13
  • 4
  • 8
  • 6
  • 4
  • 4
  • 5
  • 4
  • 15
  • 6
  • 4
  • 14
  • 14
  • 26
  • 10
  • 4
  • 4
  • 5
  • 17
  • 4
  • 7
  • 4
  • 6
  • 14
  • 7
  • 10
  • 29
  • 5
  • 10
  • 19
  • 4
  • 38
  • 4
  • 6
  • 10
  • 4
  • 11
  • 5
  • 12
  • 5
  • 4
  • 7
  • 7
  • 8
  • 5
  • 8
  • 4
  • 4
  • 4
  • 12
  • 4
  • 88
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 14
  • 6
  • 6
  • 14
  • 5
  • 10
  • 4
  • 6
  • 5
  • 4
  • 4
  • 10
  • 9
  • 12
  • 16
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 61
  • 11
  • 13
  • 7
  • 6
  • 6
  • 19
  • 4
  • 9
  • 8
  • 9
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 9
  • 14
  • 13
  • 16
  • 15
  • 4
  • 14
  • 10
  • 4
  • 4
  • 5
  • 6
  • 11
  • 5
  • 10
  • 8
  • 4
  • 26
  • 4
  • 4
  • 33
  • 24
  • 6
  • 5
  • 4
  • 4
  • 25
  • 8
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 13
  • 8
  • 4
  • 4
  • 9
  • 4
  • 18
  • 5
  • 5
  • 8
  • 7
  • 8
  • 8
  • 11
  • 6
  • 9
  • 37
  • 9
  • 8
  • 6
  • 9
  • 7
  • 18
  • 9
  • 7
  • 10
  • 9
  • 69
  • 8
  • 7
  • 7
  • 6
  • 8
  • 7
  • 5
  • 12
  • 36
  • 7
  • 5
  • 15
  • 7
  • 6
  • 12
  • 6
  • 9
  • 8
  • 5
  • 5
  • 5
  • 6
  • 12
  • 6
  • 5
  • 6
  • 6
  • 5
  • 9
  • 5
  • 10
  • 44
  • 5
  • 5
  • 5
  • 12
  • 5
  • 5
  • 7
  • 7
  • 13
  • 12
  • 14
  • 6
  • 14
  • 5
  • 19
  • 9
  • 9
  • 23
  • 5
  • 8
  • 6
  • 13
  • 6
  • 11
  • 6
  • 13
  • 6
  • 9
  • 14
  • 10
  • 6
  • 8
  • 5
  • 7
  • 24
  • 5
  • 9
  • 5
  • 9
  • 6
  • 8
  • 5
  • 12
  • 12
  • 7
  • 6
  • 10
  • 7
  • 14
  • 27
  • 13
  • 5
  • 7
  • 19
  • 7
  • 5
  • 9
  • 89
  • 6
  • 26
  • 6
  • 10
  • 10
  • 15
  • 11
  • 9
  • 8
  • 12
  • 6
  • 19
  • 92
  • 6
  • 53
  • 8
  • 89
  • 17
  • 5
  • 12
  • 6
  • 9
  • 15
  • 17
  • 6
  • 6
  • 5
  • 8
  • 6
  • 9
  • 89
  • 5
  • 5
  • 6
  • 6
  • 15
  • 10
  • 14
  • 8
  • 12
  • 16
  • 13
  • 5
  • 13
  • 5
  • 10
  • 5
  • 7
  • 10
  • 7
  • 13
  • 6
  • 9
  • 5
  • 6
  • 12
  • 5
  • 5
  • 19
  • 5
  • 5
  • 5
  • 14
  • 6
  • 6
  • 6
  • 15
  • 7
  • 43
  • 7
  • 7
  • 6
  • 18
  • 7
  • 5
  • 5
  • 10
  • 9
  • 10
  • 7
  • 5
  • 5
  • 5
  • 6
  • 10
  • 27
  • 9
  • 6
  • 42
  • 10
  • 8
  • 6
  • 5
  • 7
  • 8
  • 7
  • 7
  • 13
  • 5
  • 5
  • 15
  • 19
  • 5
  • 5
  • 8
  • 13
  • 14
  • 12
  • 19
  • 58
  • 12
  • 22
  • 9
  • 6
  • 5
  • 5
  • 5
  • 13
  • 18
  • 12
  • 7
  • 49
  • 24
  • 11
  • 9
  • 6
  • 11
  • 14
  • 9
  • 7
  • 12
  • 7
  • 6
  • 7
  • 14
  • 10
  • 7
  • 5
  • 15
  • 5
  • 89
  • 9
  • 7
  • 20
  • 7
  • 6
  • 5
  • 5
  • 6
  • 5
  • 5
  • 17
  • 8
  • 9
  • 6
  • 25
  • 11
  • 9
  • 11
  • 13
  • 15
  • 6
  • 8
  • 17
  • 6
  • 13
  • 20
  • 8
  • 6
  • 7
  • 7
  • 5
  • 5
  • 5
  • 8
  • 6
  • 21
  • 7
  • 11
  • 6
  • 6
  • 6
  • 6
  • 11
  • 8
  • 6
  • 5
  • 5
  • 5
  • 12
  • 5
  • 17
  • 14
  • 6
  • 15
  • 6
  • 5
  • 7
  • 8
  • 5
  • 8
  • 6
  • 6
  • 36
  • 10
  • 23
  • 6
  • 5
  • 43
  • 48
  • 5
  • 5
  • 8
  • 6
  • 15
  • 7
  • 23
  • 20
  • 17
  • 5
  • 11
  • 8
  • 7
  • 7
  • 17
Verlag
  • 1998
  • 3452
  • 2553
  • 1
  • 282
  • 1696
  • 1
  • 39
Preis
  • 47
  • 340
  • 7679
  • 1956
Sprachen
  • 10016
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10010
  • 12
Katalog
  • 10022
  • 549
10.022  Treffer  für „Lecture Notes in Computer Science“
    Manes | Category Theory Applied to Computation and Control | Buch | Sack Fachmedien

    Manes Category Theory Applied to Computation and Control

    Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
    1975
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-07142-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Affenzeller / Winkler / Kononova | Parallel Problem Solving from Nature - PPSN XVIII | Buch | Sack Fachmedien

    Affenzeller / Winkler / Kononova Parallel Problem Solving from Nature - PPSN XVIII

    18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-70070-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudolph / Feitelson | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Rudolph / Feitelson Job Scheduling Strategies for Parallel Processing

    IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60153-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Phung-Duc / Wittevrongel / Kasahara | Queueing Theory and Network Applications | Buch | Sack Fachmedien

    Phung-Duc / Wittevrongel / Kasahara Queueing Theory and Network Applications

    14th International Conference, QTNA 2019, Ghent, Belgium, August 27-29, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27180-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Meshcheryakov / Savage | Interactive Collaborative Robotics | Buch | Sack Fachmedien

    Ronzhin / Meshcheryakov / Savage Interactive Collaborative Robotics

    9th International Conference, ICR 2024, Mexico City, Mexico, October 14-18, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71359-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lupanov / Kasim-Zade / Chaskin | Stochastic Algorithms: Foundations and Applications | Buch | Sack Fachmedien

    Lupanov / Kasim-Zade / Chaskin Stochastic Algorithms: Foundations and Applications

    Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29498-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | Buch | Sack Fachmedien

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19717-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Diaz | Formalization of Programming Concepts | Buch | Sack Fachmedien

    Ramos / Diaz Formalization of Programming Concepts

    International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10699-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dini / Neuman De Souza / Lorenz | Service Assurance with Partial and Intermittent Resources | Buch | Sack Fachmedien

    Dini / Neuman De Souza / Lorenz Service Assurance with Partial and Intermittent Resources

    First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22567-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Martín-Vide / Magdalena | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Dediu / Martín-Vide / Magdalena Theory and Practice of Natural Computing

    Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26840-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meghini / Beierle | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Meghini / Beierle Foundations of Information and Knowledge Systems

    8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04938-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nalon / Schmidt | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Nalon / Schmidt Automated Reasoning with Analytic Tableaux and Related Methods

    26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66901-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hao / Lutton / Snyers | Artificial Evolution | Buch | Sack Fachmedien

    Hao / Lutton / Snyers Artificial Evolution

    Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64169-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Soares / Rosenzweig | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Soares / Rosenzweig Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-61355-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke / Zeugmann / Shinohara | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Jantke / Zeugmann / Shinohara Algorithmic Learning Theory

    6th International Workshop, ALT '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60454-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Tamine / Wagner | Transactions on Large-Scale Data- and Knowledge-Centered Systems XL | Buch | Sack Fachmedien

    Hameurlain / Tamine / Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XL

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58663-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Liu / Zhan | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Xu / Liu / Zhan Advanced Parallel Processing Technologies

    7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76836-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Umbach / Staton | Language, Logic, and Computation | Buch | Sack Fachmedien

    Silva / Umbach / Staton Language, Logic, and Computation

    12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-59564-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gay / Nejati | Search-Based Software Engineering | Buch | Sack Fachmedien

    Gay / Nejati Search-Based Software Engineering

    11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27454-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Kordon / Ren | Challenges and Opportunity with Big Data | Buch | Sack Fachmedien

    Zhang / Kordon / Ren Challenges and Opportunity with Big Data

    19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61993-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nayak | Automated Modeling of Physical Systems | Buch | Sack Fachmedien

    Nayak Automated Modeling of Physical Systems

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60641-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drossopoulou | Programming Languages and Systems | Buch | Sack Fachmedien

    Drossopoulou Programming Languages and Systems

    17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78738-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jongmans / Arbab | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Jongmans / Arbab Formal Aspects of Component Software

    16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-40913-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Ditmarsch / Lang / Ju | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    van Ditmarsch / Lang / Ju Logic, Rationality, and Interaction

    Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24129-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nivelle | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    De Nivelle Automated Reasoning with Analytic Tableaux and Related Methods

    24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24311-5
    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