Ergebnisse filtern
Fachgebiet
Medium
  • 3183
  • 491
  • 5
  • 5
Erscheinungsjahr
  • 1
  • 4
  • 131
  • 256
  • 260
  • 247
  • 219
  • 234
  • 245
  • 212
  • 177
  • 135
  • 131
  • 68
  • 60
  • 41
  • 104
  • 105
  • 115
  • 71
  • 55
  • 48
  • 58
  • 72
  • 64
  • 60
  • 60
  • 44
  • 33
  • 60
  • 38
  • 22
  • 28
  • 16
  • 18
  • 16
  • 18
  • 17
  • 19
  • 15
  • 13
  • 13
  • 15
  • 6
  • 8
  • 9
  • 9
  • 5
  • 3
  • 4
  • 3
  • 1
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 4
  • 2
  • 6
  • 7
  • 3
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 17
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 7
  • 6
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 6
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 16
  • 3
  • 4
  • 4
  • 5
  • 12
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
Verlag
  • 2
  • 1
  • 1
  • 834
  • 11
  • 1
  • 14
  • 1
  • 2
  • 1
  • 1
  • 10
  • 7
  • 1
  • 2
  • 49
  • 70
  • 1
  • 2
  • 1
  • 3
  • 91
  • 489
  • 1
  • 1
  • 2
  • 1
  • 14
  • 61
  • 1
  • 1
  • 13
  • 12
  • 2
  • 3
  • 1
  • 1
  • 3
  • 3
  • 2
  • 48
  • 2
  • 2
  • 1
  • 13
  • 16
  • 2
  • 2
  • 2
  • 4
  • 4
  • 6
  • 1
  • 2
  • 8
  • 1
  • 12
  • 14
  • 1
  • 8
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 5
  • 9
  • 100
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 295
  • 1
  • 376
  • 202
  • 3
  • 68
  • 21
  • 14
  • 5
  • 62
  • 5
  • 3
  • 33
  • 1
  • 1
  • 1
  • 1
  • 17
  • 22
  • 167
  • 50
  • 22
  • 1
  • 1
  • 8
  • 1
  • 1
  • 9
  • 2
  • 5
  • 1
  • 2
  • 2
  • 115
  • 1
  • 1
  • 1
  • 76
  • 6
  • 20
  • 3
  • 23
  • 1
  • 1
  • 6
Preis
  • 130
  • 1314
  • 1615
  • 625
Sprachen
  • 3022
  • 660
  • 6
Verfügbarkeit
  • 3589
  • 95
Eigenschaften
  • 7
Katalog
  • 3684
  • 130
3.684  Titel
    Harrison / Aagaard | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Harrison / Aagaard Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67863-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi | CONCUR 2000 - Concurrency Theory | Buch | Sack Fachmedien

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weck / Gutknecht | Modular Programming Languages | Buch | Sack Fachmedien

    Weck / Gutknecht Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maibaum / Cuellar | FM 2008: Formal Methods | Buch | Sack Fachmedien

    Maibaum / Cuellar FM 2008: Formal Methods

    15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Paun | New Trends in Formal Languages | Buch | Sack Fachmedien

    Salomaa / Paun New Trends in Formal Languages

    Control, Cooperation, and Combinatorics
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62844-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dam | Analysis and Verification of Multiple-Agent Languages | Buch | Sack Fachmedien

    Dam Analysis and Verification of Multiple-Agent Languages

    5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62503-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohori / Leroy | Types in Compilation | Buch | Sack Fachmedien

    Ohori / Leroy Types in Compilation

    Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64925-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50845-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycielski / Salomaa / Rozenberg | Structures in Logic and Computer Science | Buch | Sack Fachmedien

    Mycielski / Salomaa / Rozenberg Structures in Logic and Computer Science

    A Selection of Essays in Honor of A. Ehrenfeucht
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63246-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veith / Grumberg | 25 Years of Model Checking | Buch | Sack Fachmedien

    Veith / Grumberg 25 Years of Model Checking

    History, Achievements, Perspectives
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitek | ECOOP 2008 - Object-Oriented Programming | Buch | Sack Fachmedien

    Vitek ECOOP 2008 - Object-Oriented Programming

    22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70591-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Malik | Computer Aided Verification | Buch | Sack Fachmedien

    Gupta / Malik Computer Aided Verification

    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-70543-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Chiba / Südholt / Leavens | Transactions on Modularity and Composition I | Buch | Sack Fachmedien

    Chiba / Südholt / Leavens Transactions on Modularity and Composition I

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46968-3
    Medium: Buch
    82,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yevtushenko / Yenigün / Cavalli | Testing Software and Systems | Buch | Sack Fachmedien

    Yevtushenko / Yenigün / Cavalli Testing Software and Systems

    29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67548-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Programming Languages and Systems | Buch | Sack Fachmedien

    Chang Programming Languages and Systems

    15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-71236-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lorenz | Reinforcement Learning From Scratch | Buch | Sack Fachmedien

    Lorenz Reinforcement Learning From Scratch

    Understanding Current Approaches - with Examples in Java and Greenfoot
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-09029-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kans / Charatan | Programming in Two Semesters | Buch | Sack Fachmedien

    Kans / Charatan Programming in Two Semesters

    Using Python and Java
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01328-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Introduction to Computation in Physical Sciences | Buch | Sack Fachmedien

    Wang Introduction to Computation in Physical Sciences

    Interactive Computing and Visualization with Python¿
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-17648-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinov | Data Science and Predictive Analytics | Buch | Sack Fachmedien

    Dinov Data Science and Predictive Analytics

    Biomedical and Health Applications using R
    2. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-17482-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertogna / Quiñones / Pinho | Reliable Software Technologies ¿ Ada-Europe 2016 | Buch | Sack Fachmedien

    Bertogna / Quiñones / Pinho Reliable Software Technologies ¿ Ada-Europe 2016

    21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39082-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Titolo / Cimatti | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Titolo / Cimatti Formal Methods for Industrial Critical Systems

    28th International Conference, FMICS 2023, Antwerp, Belgium, September 20¿22, 2023, Proceedings
    2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-43680-2
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones | Understanding Programming Languages | Buch | Sack Fachmedien

    Jones Understanding Programming Languages

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59256-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haslwanter | Hands-on Signal Analysis with Python | Buch | Sack Fachmedien

    Haslwanter Hands-on Signal Analysis with Python

    An Introduction
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57905-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elter | Programmieren lernen mit JavaScript | Buch | Sack Fachmedien

    Elter Programmieren lernen mit JavaScript

    Der kinderleichte Einstieg in die Programmierung. Mit vielen Übungen, Spielen und Beispielen
    3. aktualisierte Auflage 2022
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-8983-2
    Medium: Buch
    24,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

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