Ergebnisse filtern
Fachgebiet
Medium
  • 10688
  • 2651
Erscheinungsjahr
  • 245
  • 1017
  • 1043
  • 801
  • 627
  • 391
  • 410
  • 441
  • 418
  • 430
  • 419
  • 434
  • 421
  • 432
  • 447
  • 387
  • 377
  • 271
  • 247
  • 283
  • 292
  • 229
  • 476
  • 582
  • 264
  • 253
  • 179
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 6
  • 7
  • 10
  • 7
  • 13
  • 12
  • 9
  • 6
  • 5
  • 5
  • 9
  • 12
  • 11
  • 5
  • 20
  • 21
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 13
  • 6
  • 31
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 19
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 10
  • 6
  • 19
  • 7
  • 5
  • 8
  • 7
  • 5
  • 9
  • 5
  • 7
  • 6
  • 5
  • 7
  • 10
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 5
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 13
  • 7
  • 57
  • 5
  • 19
  • 13
  • 7
  • 12
  • 12
  • 9
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 7
  • 5
  • 12
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 16
  • 7
  • 8
  • 5
  • 5
  • 46
  • 15
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 9
  • 14
  • 13
  • 7
  • 7
  • 5
  • 16
  • 10
  • 9
  • 25
  • 5
  • 6
  • 15
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 11
  • 61
  • 7
  • 13
  • 11
  • 20
  • 20
  • 11
  • 9
  • 30
  • 9
  • 50
  • 11
  • 15
  • 12
  • 9
  • 11
  • 8
  • 17
  • 6
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 7
  • 12
  • 10
  • 16
  • 6
  • 6
  • 10
  • 7
  • 17
  • 12
  • 7
  • 7
  • 7
  • 8
  • 20
  • 13
  • 7
  • 16
  • 8
  • 8
  • 10
  • 6
  • 8
  • 17
  • 24
  • 8
  • 9
  • 6
  • 7
  • 9
  • 16
  • 25
  • 11
  • 9
  • 6
  • 11
  • 7
  • 7
  • 7
  • 9
  • 6
  • 11
  • 6
  • 19
  • 12
  • 7
  • 10
  • 12
  • 9
  • 53
  • 47
  • 7
  • 30
  • 6
  • 9
  • 21
  • 11
  • 28
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 31
  • 7
  • 18
  • 54
  • 14
  • 8
  • 7
  • 19
  • 10
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 12
  • 11
  • 12
  • 16
  • 17
  • 69
  • 40
  • 10
  • 31
  • 12
  • 22
  • 33
  • 6
  • 111
  • 7
  • 14
  • 10
  • 8
  • 22
  • 10
  • 9
  • 23
  • 16
  • 9
  • 11
  • 7
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 16
  • 7
  • 53
  • 6
  • 13
  • 10
  • 14
  • 24
  • 11
  • 9
  • 10
  • 25
  • 46
  • 11
  • 8
  • 12
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 9
  • 6
  • 6
  • 8
  • 12
  • 7
  • 91
  • 8
  • 14
  • 15
  • 8
  • 10
  • 8
  • 6
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 24
  • 7
  • 8
  • 14
  • 10
  • 6
  • 15
  • 6
  • 22
  • 17
  • 7
  • 6
  • 6
  • 10
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 8
  • 7
  • 9
  • 6
  • 12
  • 12
  • 16
  • 6
  • 10
  • 10
  • 9
  • 7
  • 6
  • 6
  • 38
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 31
  • 8
  • 10
  • 6
  • 18
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 33
  • 6
  • 15
  • 9
  • 6
  • 6
  • 9
  • 19
  • 6
  • 8
  • 18
  • 6
  • 27
  • 44
  • 22
  • 12
  • 8
  • 27
  • 7
  • 14
  • 10
  • 8
  • 31
  • 17
  • 35
  • 46
  • 7
  • 8
  • 10
  • 11
  • 9
  • 20
  • 11
  • 6
  • 17
  • 6
  • 10
  • 7
  • 8
  • 6
  • 9
  • 9
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 8
  • 12
  • 18
  • 6
  • 16
  • 6
  • 9
  • 7
  • 7
  • 10
  • 12
  • 15
  • 20
  • 7
  • 21
  • 6
  • 29
  • 6
  • 13
  • 8
  • 82
  • 10
  • 6
  • 23
  • 7
  • 9
  • 6
  • 16
  • 30
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 13
  • 19
  • 6
  • 19
  • 23
  • 20
  • 10
  • 23
  • 7
  • 7
  • 11
  • 9
  • 6
  • 12
  • 9
  • 14
  • 29
  • 8
  • 12
  • 7
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 6
  • 10
  • 10
  • 8
  • 9
  • 6
  • 12
  • 9
  • 28
  • 8
  • 6
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 13
  • 12
  • 8
  • 7
  • 8
  • 6
  • 20
  • 7
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 102
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 20
  • 8
  • 7
  • 6
  • 7
  • 10
  • 12
  • 58
  • 23
  • 22
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 12
  • 6
  • 8
  • 7
  • 10
  • 9
  • 9
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 13
  • 61
  • 8
  • 8
  • 8
  • 21
  • 10
  • 9
  • 24
  • 16
  • 6
  • 7
  • 6
  • 13
  • 7
  • 16
  • 19
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 8
  • 7
  • 26
  • 6
  • 14
  • 15
  • 19
  • 6
  • 6
  • 13
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 20
  • 9
  • 25
  • 9
  • 10
  • 14
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 6
  • 10
  • 7
  • 6
  • 7
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 8
  • 13
  • 31
  • 7
  • 17
  • 8
  • 11
  • 25
  • 7
  • 12
  • 8
  • 11
  • 6
  • 122
  • 9
  • 10
  • 7
  • 32
  • 9
  • 12
  • 23
  • 11
  • 9
  • 12
  • 15
  • 11
  • 28
  • 8
  • 123
  • 6
  • 62
  • 13
  • 12
  • 12
  • 120
  • 30
  • 6
  • 17
  • 9
  • 13
  • 8
  • 13
  • 15
  • 20
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 9
  • 120
  • 9
  • 15
  • 27
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 10
  • 7
  • 6
  • 13
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 11
  • 10
  • 11
  • 11
  • 13
  • 19
  • 38
  • 18
  • 9
  • 11
  • 10
  • 25
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 8
  • 9
  • 11
  • 6
  • 49
  • 9
  • 43
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 34
  • 6
  • 6
  • 7
  • 8
  • 15
  • 7
  • 29
  • 14
  • 18
  • 33
  • 71
  • 12
  • 20
  • 24
  • 10
  • 15
  • 8
  • 11
  • 20
  • 22
  • 17
  • 9
  • 12
  • 73
  • 25
  • 15
  • 10
  • 6
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 17
  • 10
  • 9
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 12
  • 42
  • 7
  • 11
  • 9
  • 7
  • 18
  • 9
  • 19
  • 23
  • 9
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 7
  • 35
  • 7
  • 17
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 9
  • 7
  • 10
  • 7
  • 15
  • 11
  • 10
  • 7
  • 20
  • 7
  • 15
  • 17
  • 7
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 6
  • 13
  • 10
  • 9
  • 20
  • 7
  • 9
  • 7
  • 8
  • 61
  • 14
  • 7
  • 7
  • 7
  • 29
  • 7
  • 7
  • 60
  • 22
  • 81
  • 6
  • 21
  • 6
  • 6
  • 12
  • 9
  • 9
  • 40
  • 9
  • 8
  • 23
  • 25
  • 21
  • 11
  • 13
  • 14
  • 15
  • 7
  • 28
Verlag
  • 2
  • 11562
  • 40
  • 1537
  • 1
  • 14
  • 2
  • 3
  • 133
  • 1
  • 1
  • 43
Preis
  • 47
  • 494
  • 10527
  • 2271
Sprachen
  • 13331
  • 19
  • 15
Verfügbarkeit
  • 13321
  • 18
Eigenschaften
  • 28
Katalog
  • 13339
  • 550
13.339  Treffer  für „Lecture Notes in Computer Science“
    Lorig / Norling | Multi-Agent-Based Simulation XXIII | Buch | Sack Fachmedien

    Lorig / Norling Multi-Agent-Based Simulation XXIII

    23rd International Workshop, MABS 2022, Virtual Event, May 8-9, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-22946-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asada / Kitano | RoboCup-98: Robot Soccer World Cup II | Buch | Sack Fachmedien

    Asada / Kitano RoboCup-98: Robot Soccer World Cup II

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66320-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mendis / Rauchwerger | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Mendis / Rauchwerger Languages and Compilers for Parallel Computing

    35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-31444-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Fiems / Horváth | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Horváth Analytical and Stochastic Modeling Techniques and Applications

    16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02204-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson / Vene | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Johnson / Vene Algebraic Methodology and Software Technology

    11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35633-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal Modelling and Simulation for Autonomous Systems

    4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-76071-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Squillero / Sim | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Squillero / Sim Applications of Evolutionary Computation

    20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-55848-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mladenov / Koprinkova-Hristova / Palm | Artificial Neural Networks and Machine Learning -- ICANN 2013 | Buch | Sack Fachmedien

    Mladenov / Koprinkova-Hristova / Palm Artificial Neural Networks and Machine Learning -- ICANN 2013

    23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40727-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amaral | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Amaral Languages and Compilers for Parallel Computing

    21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89739-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakano / Sagonas | Functional and Logic Programming | Buch | Sack Fachmedien

    Nakano / Sagonas Functional and Logic Programming

    15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59024-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das | Distributed Computing - IWDC 2003 | Buch | Sack Fachmedien

    Das Distributed Computing - IWDC 2003

    5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20745-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimuro / Antunes | Multi-Agent Based Simulation XVIII | Buch | Sack Fachmedien

    Dimuro / Antunes Multi-Agent Based Simulation XVIII

    International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91586-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garrigós / Murillo Rodríguez / Wimmer | Web Engineering | Buch | Sack Fachmedien

    Garrigós / Murillo Rodríguez / Wimmer Web Engineering

    23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34443-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowles / Søndergaard | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Bowles / Søndergaard Logic-Based Program Synthesis and Transformation

    34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71293-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Stepwise Refinement of Distributed Systems | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Stepwise Refinement of Distributed Systems

    Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52559-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Löffler / Klann | Mobile Response | Buch | Sack Fachmedien

    Löffler / Klann Mobile Response

    Second International Workshop on Mobile Information Technology for Emergency Responce 2008, Bonn, Germany, May 29-30, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00439-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lio / Nicosia / Stibor | Artificial Immune Systems | Buch | Sack Fachmedien

    Lio / Nicosia / Stibor Artificial Immune Systems

    10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22370-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broccia / Cerone | From Data to Models and Back | Buch | Sack Fachmedien

    Broccia / Cerone From Data to Models and Back

    11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-87216-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusácek / Klusácek / Julita | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Klusácek / Klusácek / Julita Job Scheduling Strategies for Parallel Processing

    25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-22697-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Du / Wu / Xu | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Du / Wu / Xu Theory and Applications of Models of Computation

    17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-20349-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kanhere / Patil / Sural | Information Systems Security | Buch | Sack Fachmedien

    Kanhere / Patil / Sural Information Systems Security

    16th International Conference, ICISS 2020, Jammu, India, December 16-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-65609-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helleseth / Sarwate / Song | Sequences and Their Applications - SETA 2004 | Buch | Sack Fachmedien

    Helleseth / Sarwate / Song Sequences and Their Applications - SETA 2004

    Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26084-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Uehara | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Das / Uehara WALCOM: Algorithms and Computation

    Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00201-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Nuno Oliveira | Teaching Formal Methods | Buch | Sack Fachmedien

    Gibbons / Nuno Oliveira Teaching Formal Methods

    Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04911-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Groote | CONCUR '91 | Buch | Sack Fachmedien

    Baeten / Groote CONCUR '91

    2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54430-2
    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