Ergebnisse filtern
Fachgebiet
Medium
  • 10634
  • 2736
Erscheinungsjahr
  • 151
  • 1016
  • 1070
  • 807
  • 663
  • 404
  • 421
  • 468
  • 437
  • 398
  • 453
  • 432
  • 420
  • 427
  • 420
  • 430
  • 403
  • 260
  • 234
  • 278
  • 285
  • 218
  • 470
  • 579
  • 255
  • 254
  • 181
  • 177
  • 146
  • 144
  • 136
  • 120
  • 107
  • 100
  • 75
  • 83
  • 61
  • 59
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 18
  • 12
  • 8
  • 13
  • 9
  • 15
  • 13
  • 5
Autoren
  • 5
  • 7
  • 5
  • 8
  • 9
  • 6
  • 11
  • 13
  • 12
  • 7
  • 12
  • 7
  • 5
  • 9
  • 14
  • 8
  • 5
  • 6
  • 18
  • 8
  • 23
  • 5
  • 11
  • 8
  • 6
  • 6
  • 9
  • 11
  • 5
  • 6
  • 6
  • 13
  • 44
  • 47
  • 5
  • 59
  • 8
  • 8
  • 5
  • 5
  • 6
  • 17
  • 19
  • 5
  • 10
  • 50
  • 11
  • 6
  • 8
  • 8
  • 7
  • 6
  • 12
  • 8
  • 6
  • 9
  • 6
  • 7
  • 6
  • 7
  • 8
  • 7
  • 13
  • 6
  • 20
  • 20
  • 12
  • 9
  • 12
  • 30
  • 13
  • 10
  • 6
  • 7
  • 53
  • 16
  • 26
  • 19
  • 8
  • 14
  • 6
  • 8
  • 7
  • 14
  • 8
  • 12
  • 7
  • 10
  • 11
  • 14
  • 6
  • 19
  • 9
  • 18
  • 10
  • 6
  • 6
  • 6
  • 8
  • 50
  • 24
  • 8
  • 9
  • 11
  • 10
  • 19
  • 8
  • 15
  • 6
  • 18
  • 6
  • 6
  • 14
  • 8
  • 9
  • 29
  • 18
  • 10
  • 9
  • 10
  • 14
  • 7
  • 7
  • 14
  • 8
  • 44
  • 15
  • 53
  • 15
  • 10
  • 24
  • 7
  • 19
  • 14
  • 8
  • 7
  • 26
  • 10
  • 45
  • 11
  • 17
  • 13
  • 7
  • 7
  • 6
  • 17
  • 6
  • 6
  • 17
  • 9
  • 7
  • 50
  • 8
  • 11
  • 14
  • 15
  • 6
  • 7
  • 7
  • 10
  • 14
  • 10
  • 9
  • 8
  • 7
  • 6
  • 19
  • 11
  • 9
  • 15
  • 6
  • 8
  • 12
  • 7
  • 8
  • 9
  • 22
  • 25
  • 8
  • 12
  • 10
  • 7
  • 12
  • 7
  • 15
  • 18
  • 29
  • 8
  • 9
  • 7
  • 9
  • 9
  • 14
  • 12
  • 10
  • 9
  • 7
  • 7
  • 10
  • 17
  • 12
  • 9
  • 14
  • 7
  • 53
  • 59
  • 10
  • 31
  • 8
  • 12
  • 6
  • 6
  • 15
  • 7
  • 35
  • 12
  • 8
  • 7
  • 8
  • 10
  • 22
  • 8
  • 8
  • 8
  • 6
  • 12
  • 7
  • 6
  • 33
  • 6
  • 15
  • 57
  • 8
  • 8
  • 6
  • 6
  • 20
  • 7
  • 11
  • 10
  • 12
  • 11
  • 14
  • 8
  • 8
  • 12
  • 9
  • 6
  • 6
  • 7
  • 6
  • 8
  • 19
  • 24
  • 10
  • 8
  • 11
  • 8
  • 7
  • 16
  • 8
  • 11
  • 9
  • 11
  • 21
  • 7
  • 24
  • 74
  • 7
  • 35
  • 7
  • 6
  • 28
  • 6
  • 19
  • 31
  • 123
  • 10
  • 15
  • 7
  • 8
  • 21
  • 12
  • 20
  • 15
  • 6
  • 8
  • 6
  • 12
  • 14
  • 7
  • 10
  • 18
  • 6
  • 13
  • 6
  • 7
  • 7
  • 7
  • 16
  • 6
  • 7
  • 52
  • 8
  • 7
  • 11
  • 6
  • 8
  • 8
  • 8
  • 8
  • 7
  • 9
  • 21
  • 13
  • 11
  • 9
  • 25
  • 50
  • 10
  • 9
  • 10
  • 20
  • 10
  • 15
  • 6
  • 6
  • 8
  • 9
  • 8
  • 6
  • 9
  • 27
  • 17
  • 9
  • 6
  • 7
  • 10
  • 15
  • 6
  • 90
  • 6
  • 10
  • 8
  • 6
  • 15
  • 8
  • 6
  • 8
  • 17
  • 16
  • 7
  • 7
  • 8
  • 31
  • 10
  • 19
  • 11
  • 6
  • 8
  • 13
  • 19
  • 8
  • 24
  • 10
  • 13
  • 13
  • 6
  • 6
  • 10
  • 15
  • 10
  • 12
  • 7
  • 6
  • 18
  • 6
  • 6
  • 11
  • 9
  • 10
  • 9
  • 10
  • 11
  • 16
  • 7
  • 11
  • 9
  • 11
  • 36
  • 6
  • 9
  • 6
  • 8
  • 6
  • 8
  • 25
  • 9
  • 20
  • 46
  • 6
  • 15
  • 17
  • 7
  • 7
  • 11
  • 44
  • 6
  • 13
  • 7
  • 10
  • 6
  • 6
  • 7
  • 21
  • 8
  • 19
  • 10
  • 20
  • 41
  • 6
  • 19
  • 9
  • 29
  • 9
  • 10
  • 17
  • 7
  • 6
  • 40
  • 8
  • 20
  • 40
  • 55
  • 7
  • 6
  • 10
  • 6
  • 18
  • 8
  • 17
  • 7
  • 6
  • 12
  • 9
  • 8
  • 6
  • 15
  • 11
  • 7
  • 6
  • 17
  • 6
  • 89
  • 21
  • 21
  • 16
  • 6
  • 6
  • 6
  • 22
  • 7
  • 6
  • 7
  • 9
  • 23
  • 9
  • 9
  • 8
  • 14
  • 18
  • 7
  • 14
  • 13
  • 10
  • 7
  • 11
  • 19
  • 17
  • 9
  • 24
  • 22
  • 12
  • 7
  • 6
  • 28
  • 7
  • 14
  • 76
  • 15
  • 9
  • 24
  • 6
  • 17
  • 24
  • 7
  • 13
  • 7
  • 15
  • 6
  • 7
  • 9
  • 15
  • 10
  • 7
  • 10
  • 32
  • 11
  • 7
  • 7
  • 15
  • 14
  • 7
  • 15
  • 6
  • 21
  • 16
  • 15
  • 14
  • 20
  • 6
  • 8
  • 11
  • 17
  • 12
  • 13
  • 35
  • 8
  • 10
  • 42
  • 34
  • 9
  • 6
  • 6
  • 8
  • 6
  • 7
  • 7
  • 8
  • 9
  • 8
  • 29
  • 9
  • 9
  • 13
  • 7
  • 13
  • 7
  • 12
  • 12
  • 7
  • 20
  • 8
  • 8
  • 7
  • 10
  • 8
  • 7
  • 7
  • 8
  • 16
  • 6
  • 12
  • 8
  • 48
  • 10
  • 8
  • 12
  • 6
  • 6
  • 10
  • 6
  • 10
  • 6
  • 9
  • 27
  • 6
  • 6
  • 11
  • 7
  • 7
  • 12
  • 10
  • 12
  • 112
  • 11
  • 7
  • 7
  • 11
  • 13
  • 6
  • 15
  • 12
  • 8
  • 12
  • 67
  • 21
  • 19
  • 9
  • 7
  • 10
  • 15
  • 8
  • 6
  • 7
  • 10
  • 12
  • 6
  • 9
  • 10
  • 9
  • 9
  • 7
  • 7
  • 8
  • 12
  • 7
  • 11
  • 7
  • 6
  • 8
  • 56
  • 7
  • 10
  • 17
  • 9
  • 9
  • 6
  • 10
  • 23
  • 19
  • 6
  • 7
  • 12
  • 6
  • 13
  • 8
  • 17
  • 21
  • 17
  • 19
  • 10
  • 7
  • 16
  • 10
  • 36
  • 15
  • 9
  • 6
  • 15
  • 11
  • 6
  • 8
  • 8
  • 6
  • 23
  • 19
  • 18
  • 8
  • 12
  • 7
  • 6
  • 9
  • 11
  • 6
  • 11
  • 16
  • 8
  • 17
  • 6
  • 7
  • 16
  • 7
  • 9
  • 29
  • 6
  • 9
  • 6
  • 12
  • 12
  • 16
  • 17
  • 13
  • 6
  • 10
  • 6
  • 6
  • 11
  • 18
  • 6
  • 10
  • 8
  • 9
  • 6
  • 7
  • 11
  • 23
  • 35
  • 19
  • 8
  • 8
  • 10
  • 22
  • 9
  • 10
  • 16
  • 10
  • 110
  • 8
  • 7
  • 8
  • 8
  • 8
  • 36
  • 14
  • 10
  • 9
  • 25
  • 12
  • 9
  • 7
  • 12
  • 13
  • 28
  • 6
  • 114
  • 6
  • 59
  • 13
  • 10
  • 6
  • 108
  • 25
  • 7
  • 19
  • 15
  • 6
  • 17
  • 6
  • 12
  • 11
  • 17
  • 19
  • 9
  • 7
  • 6
  • 7
  • 8
  • 6
  • 13
  • 109
  • 8
  • 6
  • 8
  • 12
  • 23
  • 10
  • 17
  • 11
  • 15
  • 20
  • 14
  • 10
  • 9
  • 6
  • 7
  • 6
  • 15
  • 9
  • 10
  • 29
  • 16
  • 9
  • 6
  • 7
  • 8
  • 10
  • 7
  • 6
  • 6
  • 18
  • 10
  • 32
  • 10
  • 8
  • 9
  • 12
  • 6
  • 10
  • 17
  • 9
  • 9
  • 9
  • 7
  • 6
  • 17
  • 8
  • 16
  • 56
  • 13
  • 8
  • 12
  • 12
  • 23
  • 7
  • 15
  • 6
  • 16
  • 13
  • 6
  • 7
  • 6
  • 6
  • 13
  • 16
  • 6
  • 47
  • 9
  • 64
  • 6
  • 16
  • 9
  • 18
  • 10
  • 15
  • 14
  • 6
  • 8
  • 7
  • 23
  • 6
  • 7
  • 20
  • 7
  • 16
  • 18
  • 30
  • 10
  • 7
  • 7
  • 18
  • 21
  • 17
  • 14
  • 30
  • 6
  • 79
  • 12
  • 18
  • 24
  • 11
  • 6
  • 11
  • 10
  • 11
  • 21
  • 22
  • 19
  • 6
  • 6
  • 6
  • 10
  • 75
  • 29
  • 16
  • 6
  • 13
  • 12
  • 9
  • 23
  • 14
  • 7
  • 17
  • 7
  • 6
  • 14
  • 17
  • 7
  • 7
  • 15
  • 8
  • 17
  • 16
  • 10
  • 13
  • 18
  • 108
  • 6
  • 11
  • 25
  • 6
  • 17
  • 7
  • 6
  • 11
  • 6
  • 9
  • 17
  • 14
  • 8
  • 6
  • 42
  • 11
  • 8
  • 12
  • 7
  • 13
  • 8
  • 15
  • 22
  • 7
  • 13
  • 24
  • 12
  • 9
  • 7
  • 18
  • 8
  • 23
  • 17
  • 10
  • 12
  • 8
  • 6
  • 12
  • 7
  • 8
  • 11
  • 25
  • 8
  • 15
  • 6
  • 12
  • 7
  • 7
  • 11
  • 9
  • 6
  • 14
  • 7
  • 12
  • 7
  • 15
  • 12
  • 24
  • 7
  • 9
  • 28
  • 8
  • 6
  • 10
  • 6
  • 34
  • 13
  • 6
  • 6
  • 19
  • 7
  • 25
  • 13
  • 12
  • 10
  • 24
  • 7
  • 9
  • 8
  • 60
  • 9
  • 7
  • 35
  • 6
  • 10
  • 7
  • 58
  • 18
  • 7
  • 80
  • 17
  • 10
  • 13
  • 6
  • 6
  • 6
  • 9
  • 40
  • 6
  • 29
  • 19
  • 21
  • 9
  • 8
  • 14
  • 14
  • 19
  • 21
  • 7
  • 6
  • 8
  • 7
  • 24
Verlag
  • 2
  • 11587
  • 40
  • 1572
  • 2
  • 25
  • 104
  • 1
  • 1
  • 36
Preis
  • 47
  • 469
  • 10589
  • 2265
Sprachen
  • 13362
  • 20
  • 15
Verfügbarkeit
  • 13342
  • 28
Eigenschaften
  • 9
Katalog
  • 13370
  • 566
13.370  Treffer  für „Lecture Notes in Computer Science“
    Rosen / Strohmeier | Reliable Software Technologies -- Ada-Europe 2003 | Buch | Sack Fachmedien

    Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003

    8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guo / Yang | Parallel and Distributed Processing and Applications | Buch | Sack Fachmedien

    Guo / Yang Parallel and Distributed Processing and Applications

    International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40523-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cardelli | ECOOP 2003 - Object-Oriented Programming | Buch | Sack Fachmedien

    Cardelli ECOOP 2003 - Object-Oriented Programming

    17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40531-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Suri | Mobile Agents | Buch | Sack Fachmedien

    Suri Mobile Agents

    6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00085-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Godefroid | Model Checking Software | Buch | Sack Fachmedien

    Godefroid Model Checking Software

    12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28195-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chekuri / Jansen / Rolim | Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Chekuri / Jansen / Rolim Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques

    8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28239-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kropatsch / Sablatnig / Hanbury | Pattern Recognition | Buch | Sack Fachmedien

    Kropatsch / Sablatnig / Hanbury Pattern Recognition

    27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28703-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / Assmann / Nierstrasz | Software Composition | Buch | Sack Fachmedien

    Gschwind / Assmann / Nierstrasz Software Composition

    4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28748-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Magedanz / Karmouch / Pierre | Mobility Aware Technologies and Applications | Buch | Sack Fachmedien

    Magedanz / Karmouch / Pierre Mobility Aware Technologies and Applications

    Second International Workshop, MATA 2005, Montreal, Canada, October 17 -- 19, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29410-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Systä | Scenarios: Models, Transformations and Tools | Buch | Sack Fachmedien

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoos / Mitchell | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Hoos / Mitchell Theory and Applications of Satisfiability Testing

    7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27829-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Emerson / Namjoshi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Emerson / Namjoshi Verification, Model Checking, and Abstract Interpretation

    7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-31139-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mizoguchi / Giunchiglia | The Semantic Web - ASWC 2006 | Buch | Sack Fachmedien

    Mizoguchi / Giunchiglia The Semantic Web - ASWC 2006

    First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38329-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Rough Sets V | Buch | Sack Fachmedien

    Transactions on Rough Sets V

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39382-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Ida / Wang | Artificial Intelligence and Symbolic Computation | Buch | Sack Fachmedien

    Calmet / Ida / Wang Artificial Intelligence and Symbolic Computation

    8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39728-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud / Shao | Certified Programs and Proofs | Buch | Sack Fachmedien

    Jouannaud / Shao Certified Programs and Proofs

    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25378-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winkler | Algebraic Informatics | Buch | Sack Fachmedien

    Winkler Algebraic Informatics

    4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21492-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabot / Visser | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Cabot / Visser Theory and Practice of Model Transformations

    4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21731-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barrett / Davies / Kahsai | NASA Formal Methods | Buch | Sack Fachmedien

    Barrett / Davies / Kahsai NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57287-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Peleska / Roscoe | Formal Methods | Buch | Sack Fachmedien

    Havelund / Peleska / Roscoe Formal Methods

    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-95581-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wen / Zomaya / Yang | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Wen / Zomaya / Yang Algorithms and Architectures for Parallel Processing

    19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-38990-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bekos / Chimani | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Bekos / Chimani Graph Drawing and Network Visualization

    31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49271-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongol / Troubitsyna | Integrated Formal Methods | Buch | Sack Fachmedien

    Dongol / Troubitsyna Integrated Formal Methods

    16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-63460-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / McIver / Oliveira | Formal Methods - The Next 30 Years | Buch | Sack Fachmedien

    ter Beek / McIver / Oliveira Formal Methods - The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30941-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garijo / Kirrane / Salatino | The Semantic Web – ISWC 2025 | Buch | Sack Fachmedien

    Garijo / Kirrane / Salatino The Semantic Web – ISWC 2025

    24th International Semantic Web Conference, Nara, Japan, November 2–6, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09529-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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