Ergebnisse filtern
Fachgebiet
Medium
  • 7747
Erscheinungsjahr
  • 130
  • 689
  • 714
  • 434
  • 296
  • 156
  • 176
  • 198
  • 186
  • 205
  • 208
  • 221
  • 189
  • 207
  • 206
  • 172
  • 176
  • 204
  • 167
  • 230
  • 221
  • 186
  • 280
  • 240
  • 209
  • 193
  • 132
  • 127
  • 99
  • 108
  • 103
  • 96
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 30
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 5
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 3
  • 9
  • 8
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 21
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 4
  • 14
  • 25
  • 36
  • 6
  • 3
  • 27
  • 7
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 11
  • 3
  • 16
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 9
  • 4
  • 3
  • 4
  • 3
  • 14
  • 4
  • 4
  • 5
  • 6
  • 3
  • 3
  • 5
  • 6
  • 6
  • 3
  • 4
  • 6
  • 6
  • 7
  • 7
  • 5
  • 5
  • 4
  • 17
  • 4
  • 6
  • 7
  • 9
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 10
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 14
  • 4
  • 9
  • 4
  • 4
  • 15
  • 14
  • 5
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 6
  • 9
  • 10
  • 4
  • 8
  • 7
  • 6
  • 11
  • 4
  • 4
  • 7
  • 24
  • 11
  • 5
  • 10
  • 5
  • 11
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 4
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 11
  • 41
  • 4
  • 11
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 5
  • 19
  • 38
  • 5
  • 4
  • 5
  • 10
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 4
  • 6
  • 6
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 9
  • 6
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 5
  • 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
  • 8
  • 23
  • 7
  • 8
  • 4
  • 14
  • 8
  • 5
  • 24
  • 12
  • 4
  • 5
  • 6
  • 15
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 8
  • 6
  • 4
  • 6
  • 6
  • 27
  • 4
  • 4
  • 13
  • 46
  • 8
  • 4
  • 16
  • 7
  • 6
  • 6
  • 4
  • 7
  • 16
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 5
  • 5
  • 9
  • 15
  • 35
  • 5
  • 4
  • 20
  • 9
  • 17
  • 21
  • 67
  • 4
  • 11
  • 4
  • 14
  • 4
  • 4
  • 4
  • 19
  • 4
  • 5
  • 5
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 5
  • 22
  • 4
  • 6
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 9
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 6
  • 6
  • 4
  • 6
  • 67
  • 4
  • 5
  • 10
  • 5
  • 4
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 19
  • 5
  • 8
  • 6
  • 4
  • 4
  • 16
  • 7
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 6
  • 9
  • 4
  • 6
  • 6
  • 22
  • 4
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 8
  • 14
  • 21
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 6
  • 29
  • 4
  • 6
  • 9
  • 10
  • 4
  • 4
  • 10
  • 6
  • 5
  • 5
  • 14
  • 4
  • 20
  • 17
  • 4
  • 5
  • 9
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 22
  • 36
  • 7
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 8
  • 13
  • 4
  • 90
  • 12
  • 17
  • 4
  • 4
  • 10
  • 6
  • 11
  • 12
  • 4
  • 5
  • 4
  • 6
  • 18
  • 20
  • 22
  • 6
  • 4
  • 62
  • 5
  • 19
  • 9
  • 4
  • 12
  • 21
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 14
  • 12
  • 6
  • 18
  • 4
  • 11
  • 4
  • 7
  • 7
  • 4
  • 6
  • 18
  • 32
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 10
  • 5
  • 4
  • 6
  • 6
  • 8
  • 6
  • 4
  • 11
  • 6
  • 6
  • 4
  • 5
  • 7
  • 8
  • 8
  • 13
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 4
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 9
  • 59
  • 4
  • 4
  • 7
  • 6
  • 5
  • 6
  • 11
  • 36
  • 13
  • 5
  • 10
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 18
  • 5
  • 6
  • 18
  • 8
  • 4
  • 13
  • 7
  • 13
  • 15
  • 8
  • 14
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 4
  • 15
  • 10
  • 11
  • 4
  • 9
  • 7
  • 11
  • 5
  • 4
  • 4
  • 8
  • 24
  • 7
  • 7
  • 6
  • 9
  • 6
  • 5
  • 10
  • 7
  • 9
  • 7
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 9
  • 24
  • 12
  • 4
  • 5
  • 19
  • 4
  • 5
  • 91
  • 5
  • 6
  • 4
  • 5
  • 6
  • 9
  • 10
  • 9
  • 8
  • 4
  • 7
  • 4
  • 7
  • 19
  • 8
  • 4
  • 90
  • 4
  • 39
  • 11
  • 11
  • 89
  • 21
  • 14
  • 7
  • 4
  • 5
  • 9
  • 11
  • 6
  • 6
  • 4
  • 4
  • 4
  • 8
  • 89
  • 4
  • 5
  • 15
  • 20
  • 4
  • 8
  • 10
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 10
  • 15
  • 7
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 4
  • 22
  • 6
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 5
  • 8
  • 5
  • 9
  • 11
  • 40
  • 4
  • 6
  • 6
  • 6
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 11
  • 6
  • 5
  • 7
  • 5
  • 29
  • 34
  • 4
  • 8
  • 7
  • 8
  • 22
  • 4
  • 6
  • 8
  • 4
  • 14
  • 23
  • 22
  • 7
  • 12
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 14
  • 11
  • 4
  • 4
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 12
  • 9
  • 12
  • 5
  • 7
  • 6
  • 4
  • 15
  • 4
  • 5
  • 6
  • 4
  • 7
  • 89
  • 10
  • 7
  • 4
  • 15
  • 5
  • 5
  • 4
  • 4
  • 13
  • 6
  • 4
  • 24
  • 5
  • 11
  • 4
  • 5
  • 13
  • 5
  • 21
  • 6
  • 4
  • 5
  • 17
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 26
  • 6
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 6
  • 9
  • 4
  • 18
  • 5
  • 8
  • 4
  • 11
  • 6
  • 24
  • 4
  • 14
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 5
  • 5
  • 4
  • 18
  • 6
  • 6
  • 5
  • 17
  • 4
  • 10
  • 4
  • 6
  • 4
  • 5
  • 5
  • 21
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 32
  • 7
  • 9
  • 5
  • 18
  • 5
  • 19
  • 4
  • 6
  • 4
  • 10
  • 4
  • 6
  • 6
  • 4
  • 21
Verlag
  • 1
  • 7700
  • 3
  • 5
  • 1
  • 3
  • 1
  • 33
Preis
  • 27
  • 228
  • 5847
  • 1645
Sprachen
  • 7742
  • 16
  • 12
Verfügbarkeit
  • 7737
  • 10
Katalog
  • 7747
  • 329
7.747  Treffer  für „Lecture Notes in Computer Science“
    Zhu / Yu / Nadamoto | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Zhu / Yu / Nadamoto Database Systems for Advanced Applications

    30th International Conference, DASFAA 2025, Singapore, Singapore, May 26-29, 2025, Proceedings, Part VI
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-954157-7
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chau / Wang / Chen | Intelligence and Security Informatics | Buch | Sack Fachmedien

    Chau / Wang / Chen Intelligence and Security Informatics

    11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31862-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galil / Ukkonen | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Galil / Ukkonen Combinatorial Pattern Matching

    6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qiu | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Qiu Algorithms and Architectures for Parallel Processing

    20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60244-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Pinger / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glück / Kafle | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Glück / Kafle Logic-Based Program Synthesis and Transformation

    33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45783-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nürnberg | Metainformatics | Buch | Sack Fachmedien

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamashita / Minato | Reversible Computation | Buch | Sack Fachmedien

    Yamashita / Minato Reversible Computation

    6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08493-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hasegawa | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hasegawa Typed Lambda Calculi and Applications

    11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38945-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Nielsen | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Grabowski / Nielsen Formal Approaches to Software Testing

    4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Sun Formal Methods and Software Engineering

    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02449-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flener | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Flener Logic-Based Program Synthesis and Transformation

    8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65765-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kostitsyna / Orponen | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Kostitsyna / Orponen Unconventional Computation and Natural Computation

    19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87992-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dürrschnabel / López Rodríguez | Formal Concept Analysis | Buch | Sack Fachmedien

    Dürrschnabel / López Rodríguez Formal Concept Analysis

    17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35948-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Applebaum / Lin | Theory of Cryptography | Buch | Sack Fachmedien

    Applebaum / Lin Theory of Cryptography

    23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12295-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Ketter / Kaminka | Multiagent System Technologies | Buch | Sack Fachmedien

    Müller / Ketter / Kaminka Multiagent System Technologies

    13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27342-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kubota / Kiguchi / Liu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Kubota / Kiguchi / Liu Intelligent Robotics and Applications

    9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-43517-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gramlich | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Gramlich Frontiers of Combining Systems

    5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29051-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | The Logic of Software. A Tasting Menu of Formal Methods | Buch | Sack Fachmedien

    Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-08165-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naldi / Djemame / Altmann | Economics of Grids, Clouds, Systems, and Services | Buch | Sack Fachmedien

    Naldi / Djemame / Altmann Economics of Grids, Clouds, Systems, and Services

    20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81225-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Presutti / Blomqvist / Troncy | The Semantic Web: ESWC 2014 Satellite Events | Buch | Sack Fachmedien

    Presutti / Blomqvist / Troncy The Semantic Web: ESWC 2014 Satellite Events

    ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11954-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / Podelski | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems

    10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21299-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nieuwenhuis | Automated Deduction - CADE-20 | Buch | Sack Fachmedien

    Nieuwenhuis Automated Deduction - CADE-20

    20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28005-7
    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