Ergebnisse filtern
Fachgebiet
Medium
  • 10689
Erscheinungsjahr
  • 330
  • 793
  • 838
  • 616
  • 484
  • 282
  • 306
  • 303
  • 312
  • 269
  • 321
  • 303
  • 300
  • 316
  • 286
  • 271
  • 291
  • 261
  • 212
  • 262
  • 278
  • 227
  • 360
  • 302
  • 255
  • 255
  • 177
  • 179
  • 133
  • 136
  • 134
  • 116
  • 106
  • 93
  • 73
  • 87
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 9
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 9
  • 9
  • 6
  • 4
  • 4
  • 7
  • 17
  • 5
  • 15
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 6
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 4
  • 32
  • 36
  • 4
  • 41
  • 4
  • 5
  • 6
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 16
  • 13
  • 4
  • 4
  • 4
  • 4
  • 7
  • 39
  • 10
  • 6
  • 4
  • 6
  • 5
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 10
  • 4
  • 6
  • 16
  • 10
  • 9
  • 6
  • 5
  • 5
  • 4
  • 6
  • 6
  • 9
  • 6
  • 4
  • 7
  • 9
  • 10
  • 11
  • 7
  • 6
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 18
  • 5
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 11
  • 7
  • 8
  • 4
  • 26
  • 5
  • 4
  • 4
  • 9
  • 4
  • 5
  • 10
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 8
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 9
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 12
  • 5
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 6
  • 4
  • 5
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 12
  • 9
  • 5
  • 16
  • 4
  • 8
  • 5
  • 4
  • 7
  • 4
  • 4
  • 7
  • 10
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 7
  • 5
  • 15
  • 4
  • 7
  • 7
  • 5
  • 13
  • 5
  • 6
  • 14
  • 4
  • 8
  • 24
  • 4
  • 5
  • 11
  • 6
  • 4
  • 8
  • 8
  • 6
  • 4
  • 6
  • 5
  • 4
  • 8
  • 34
  • 4
  • 12
  • 41
  • 13
  • 8
  • 18
  • 15
  • 11
  • 5
  • 20
  • 9
  • 35
  • 4
  • 9
  • 14
  • 12
  • 4
  • 4
  • 12
  • 4
  • 6
  • 12
  • 10
  • 8
  • 5
  • 4
  • 39
  • 4
  • 5
  • 4
  • 10
  • 6
  • 11
  • 4
  • 4
  • 4
  • 4
  • 7
  • 10
  • 13
  • 6
  • 5
  • 6
  • 4
  • 4
  • 16
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 7
  • 4
  • 6
  • 9
  • 15
  • 23
  • 6
  • 7
  • 5
  • 6
  • 6
  • 4
  • 8
  • 6
  • 6
  • 11
  • 12
  • 4
  • 24
  • 6
  • 7
  • 6
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 4
  • 4
  • 5
  • 48
  • 40
  • 11
  • 23
  • 8
  • 15
  • 6
  • 32
  • 13
  • 5
  • 18
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 5
  • 25
  • 4
  • 14
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 5
  • 11
  • 6
  • 4
  • 5
  • 6
  • 6
  • 8
  • 8
  • 5
  • 4
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 10
  • 4
  • 4
  • 4
  • 12
  • 8
  • 5
  • 4
  • 10
  • 4
  • 18
  • 59
  • 33
  • 7
  • 22
  • 5
  • 17
  • 23
  • 98
  • 4
  • 11
  • 6
  • 4
  • 4
  • 8
  • 16
  • 4
  • 11
  • 6
  • 6
  • 18
  • 12
  • 8
  • 5
  • 5
  • 13
  • 7
  • 5
  • 6
  • 7
  • 13
  • 5
  • 5
  • 42
  • 6
  • 8
  • 10
  • 6
  • 5
  • 10
  • 12
  • 6
  • 8
  • 10
  • 21
  • 39
  • 5
  • 17
  • 8
  • 17
  • 15
  • 10
  • 7
  • 65
  • 7
  • 6
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 9
  • 18
  • 11
  • 7
  • 5
  • 6
  • 6
  • 10
  • 6
  • 18
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 9
  • 5
  • 12
  • 6
  • 5
  • 5
  • 6
  • 10
  • 7
  • 8
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 35
  • 12
  • 8
  • 25
  • 6
  • 15
  • 33
  • 6
  • 8
  • 9
  • 15
  • 7
  • 5
  • 33
  • 6
  • 6
  • 10
  • 5
  • 9
  • 5
  • 7
  • 16
  • 6
  • 6
  • 11
  • 5
  • 17
  • 31
  • 20
  • 8
  • 8
  • 6
  • 6
  • 15
  • 23
  • 5
  • 13
  • 27
  • 43
  • 10
  • 5
  • 5
  • 5
  • 10
  • 5
  • 11
  • 5
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 18
  • 7
  • 12
  • 6
  • 6
  • 8
  • 13
  • 5
  • 7
  • 7
  • 5
  • 12
  • 11
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 58
  • 17
  • 6
  • 8
  • 11
  • 22
  • 5
  • 9
  • 5
  • 6
  • 8
  • 8
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 14
  • 13
  • 14
  • 15
  • 11
  • 10
  • 17
  • 5
  • 11
  • 9
  • 5
  • 27
  • 6
  • 34
  • 28
  • 7
  • 6
  • 6
  • 8
  • 6
  • 18
  • 6
  • 7
  • 5
  • 10
  • 14
  • 8
  • 5
  • 6
  • 10
  • 19
  • 8
  • 6
  • 6
  • 6
  • 5
  • 5
  • 8
  • 12
  • 6
  • 5
  • 32
  • 13
  • 8
  • 8
  • 5
  • 6
  • 20
  • 7
  • 9
  • 11
  • 5
  • 7
  • 10
  • 5
  • 89
  • 7
  • 6
  • 7
  • 5
  • 9
  • 11
  • 5
  • 5
  • 5
  • 11
  • 11
  • 40
  • 8
  • 5
  • 20
  • 8
  • 5
  • 6
  • 10
  • 6
  • 10
  • 5
  • 7
  • 6
  • 11
  • 5
  • 7
  • 8
  • 7
  • 9
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 6
  • 10
  • 43
  • 6
  • 21
  • 6
  • 7
  • 17
  • 14
  • 5
  • 9
  • 7
  • 6
  • 13
  • 13
  • 17
  • 15
  • 6
  • 11
  • 5
  • 5
  • 9
  • 27
  • 12
  • 11
  • 9
  • 6
  • 20
  • 6
  • 11
  • 6
  • 13
  • 12
  • 7
  • 6
  • 6
  • 16
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 12
  • 12
  • 8
  • 6
  • 7
  • 13
  • 7
  • 5
  • 7
  • 9
  • 31
  • 6
  • 13
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 11
  • 5
  • 6
  • 24
  • 16
  • 8
  • 17
  • 12
  • 8
  • 9
  • 11
  • 10
  • 20
  • 8
  • 93
  • 6
  • 50
  • 11
  • 11
  • 6
  • 6
  • 89
  • 19
  • 5
  • 14
  • 11
  • 10
  • 9
  • 20
  • 13
  • 6
  • 6
  • 9
  • 5
  • 8
  • 5
  • 5
  • 90
  • 5
  • 6
  • 19
  • 8
  • 8
  • 12
  • 12
  • 16
  • 5
  • 13
  • 9
  • 7
  • 11
  • 5
  • 8
  • 7
  • 22
  • 17
  • 8
  • 5
  • 5
  • 5
  • 13
  • 8
  • 25
  • 8
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 6
  • 7
  • 9
  • 6
  • 15
  • 17
  • 22
  • 29
  • 5
  • 6
  • 20
  • 9
  • 6
  • 7
  • 11
  • 12
  • 16
  • 8
  • 5
  • 7
  • 12
  • 8
  • 38
  • 8
  • 48
  • 12
  • 6
  • 13
  • 11
  • 11
  • 9
  • 22
  • 8
  • 17
  • 7
  • 17
  • 15
  • 21
  • 6
  • 5
  • 7
  • 5
  • 24
  • 7
  • 25
  • 59
  • 10
  • 15
  • 17
  • 8
  • 9
  • 7
  • 19
  • 20
  • 12
  • 7
  • 5
  • 10
  • 59
  • 24
  • 12
  • 6
  • 12
  • 14
  • 6
  • 7
  • 12
  • 17
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 8
  • 13
  • 10
  • 89
  • 10
  • 16
  • 5
  • 16
  • 6
  • 5
  • 15
  • 12
  • 7
  • 32
  • 5
  • 11
  • 7
  • 7
  • 11
  • 5
  • 6
  • 13
  • 19
  • 7
  • 11
  • 6
  • 19
  • 6
  • 5
  • 7
  • 13
  • 22
  • 13
  • 13
  • 6
  • 6
  • 7
  • 5
  • 8
  • 5
  • 6
  • 7
  • 25
  • 8
  • 16
  • 10
  • 6
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 14
  • 13
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 5
  • 12
  • 6
  • 8
  • 7
  • 26
  • 12
  • 14
  • 8
  • 20
  • 11
  • 5
  • 9
  • 5
  • 12
  • 18
  • 7
  • 6
  • 6
  • 40
  • 8
  • 8
  • 5
  • 5
  • 23
  • 6
  • 7
  • 43
  • 13
  • 63
  • 5
  • 6
  • 17
  • 5
  • 12
  • 11
  • 6
  • 32
  • 7
  • 7
  • 23
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 10
  • 9
  • 5
  • 22
Verlag
  • 3
  • 10630
  • 3
  • 6
  • 1
  • 4
  • 6
  • 1
  • 35
Preis
  • 42
  • 376
  • 8154
  • 2117
Sprachen
  • 10684
  • 16
  • 13
Verfügbarkeit
  • 10677
  • 12
Eigenschaften
  • 6
Katalog
  • 10689
  • 569
10.689  Treffer  für „Lecture Notes in Computer Science“
    Johnsen / Petre | Integrated Formal Methods | Buch | Sack Fachmedien

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Ameur / Bellatreche / Papadopoulos | Model and Data Engineering | Buch | Sack Fachmedien

    Ait Ameur / Bellatreche / Papadopoulos Model and Data Engineering

    4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11586-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Youn | Information Security Applications | Buch | Sack Fachmedien

    Kim / Youn Information Security Applications

    24th International Conference, WISA 2023, Jeju Island, South Korea, August 23-25, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8023-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aalst / Best | Applications and Theory of Petri Nets 2003 | Buch | Sack Fachmedien

    Aalst / Best Applications and Theory of Petri Nets 2003

    24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40334-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothe | Algorithmic Decision Theory | Buch | Sack Fachmedien

    Rothe Algorithmic Decision Theory

    5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67503-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dunkelman | Fast Software Encryption | Buch | Sack Fachmedien

    Dunkelman Fast Software Encryption

    16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03316-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Main / Melton / Mislove | Mathematical Foundations of Programming Language Semantics | Buch | Sack Fachmedien

    Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics

    3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings
    Erscheinungsjahr 1988
    Verlag: Springer
    ISBN: 978-3-540-19020-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benatallah / Bestavros / Catania | Web Information Systems Engineering - WISE 2014 Workshops | Buch | Sack Fachmedien

    Benatallah / Bestavros / Catania Web Information Systems Engineering - WISE 2014 Workshops

    15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-20369-0
    Medium: Buch
    51,36 € (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
    Ur / Bin / Wolfsthal | Hardware and Software, Verification and Testing | Buch | Sack Fachmedien

    Ur / Bin / Wolfsthal Hardware and Software, Verification and Testing

    First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32604-5
    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
    Di Pietro / Herranz / Damiani | Data Privacy Management and Autonomous Spontaneous Security | Buch | Sack Fachmedien

    Di Pietro / Herranz / Damiani Data Privacy Management and Autonomous Spontaneous Security

    7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35889-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jähnichen | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Buch | Sack Fachmedien

    Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software

    Final Report
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60589-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mamatas / Matta / Papadimitriou | Wired/Wireless Internet Communications | Buch | Sack Fachmedien

    Mamatas / Matta / Papadimitriou Wired/Wireless Internet Communications

    14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33935-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokuyama | Algorithms and Computation | Buch | Sack Fachmedien

    Tokuyama Algorithms and Computation

    18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77118-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Auer / Bryl / Tramp | Linked Open Data -- Creating Knowledge Out of Interlinked Data | Buch | Sack Fachmedien

    Auer / Bryl / Tramp Linked Open Data -- Creating Knowledge Out of Interlinked Data

    Results of the LOD2 Project
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09845-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Vardi | Formal Techniques for Networked and Distributed Systems - FORTE 2002 | Buch | Sack Fachmedien

    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dhaenens / Jourdan / Marmion | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Dhaenens / Jourdan / Marmion Learning and Intelligent Optimization

    9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-19083-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bang / Ragnemalm | Persuasive Technology: Design for Health and Safety | Buch | Sack Fachmedien

    Bang / Ragnemalm Persuasive Technology: Design for Health and Safety

    7th International Conference on Persuasive Technology, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31036-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang / Chiari / Cao | Inclusive Smart Cities and Digital Health | Buch | Sack Fachmedien

    Chang / Chiari / Cao Inclusive Smart Cities and Digital Health

    14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39600-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer | A Survey of Verification Techniques for Parallel Programs | Buch | Sack Fachmedien

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harel | First-Order Dynamic Logic | Buch | Sack Fachmedien

    Harel First-Order Dynamic Logic

    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09237-7
    Medium: Buch
    10,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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