Ergebnisse filtern
Fachgebiet
Medium
  • 1628
Erscheinungsjahr
  • 40
  • 105
  • 39
  • 20
  • 20
  • 31
  • 24
  • 27
  • 36
  • 42
  • 36
  • 58
  • 32
  • 8
  • 13
  • 55
  • 66
  • 67
  • 35
  • 70
  • 115
  • 101
  • 89
  • 76
  • 59
  • 44
  • 40
  • 28
  • 35
  • 32
  • 28
  • 32
  • 20
  • 32
  • 15
  • 14
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 12
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 6
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 4
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 11
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 11
  • 16
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 19
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 11
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 11
  • 13
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 11
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 14
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 11
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 8
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 13
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 19
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 15
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 16
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 192
  • 1012
  • 260
  • 1
  • 7
  • 133
  • 23
Preis
  • 4
  • 63
  • 1330
  • 231
Sprachen
  • 1628
Verfügbarkeit
  • 1624
  • 4
Katalog
  • 1628
  • 123
1.628  Treffer  für „Lecture Notes in Computer Science“
    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
    Schauer / Jazayeri | Software Engineering - ESEC-FSE '97 | Buch | Sack Fachmedien

    Schauer / Jazayeri Software Engineering - ESEC-FSE '97

    6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63531-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Astesiano Fundamental Approaches to Software Engineering

    First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64303-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Botella / Schäfer | Software Engineering - ESEC '95 | Buch | Sack Fachmedien

    Botella / Schäfer Software Engineering - ESEC '95

    5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60406-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen / Broy | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Buch | Sack Fachmedien

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

    Final Report
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60589-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papazoglou | OOER '95 Object-Oriented and Entity-Relationship Modeling | Buch | Sack Fachmedien

    Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling

    14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60672-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Möller | Mathematics of Program Construction | Buch | Sack Fachmedien

    Möller Mathematics of Program Construction

    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60117-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dörr | Efficient Graph Rewriting and Its Implementation | Buch | Sack Fachmedien

    Dörr Efficient Graph Rewriting and Its Implementation

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60055-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat / Alagar | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Nivat / Alagar Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Damgaard / Walukiewicz | Automata, Languages and Programming | Buch | Sack Fachmedien

    Aceto / Damgaard / Walukiewicz Automata, Languages and Programming

    35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70582-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palanque / Graham | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Palanque / Graham Interactive Systems. Design, Specification, and Verification

    15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70568-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romijn / van de Pol / Smith | Integrated Formal Methods | Buch | Sack Fachmedien

    Romijn / van de Pol / Smith Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30492-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prasanna / Bougé | High Performance Computing - HiPC 2004 | Buch | Sack Fachmedien

    Prasanna / Bougé High Performance Computing - HiPC 2004

    11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24129-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boute / Dean | Teaching Formal Methods | Buch | Sack Fachmedien

    Boute / Dean Teaching Formal Methods

    CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23611-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caballero / Athanasopoulos / Bodden | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Caballero / Athanasopoulos / Bodden Engineering Secure Software and Systems

    8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30805-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabot / Torlone / De Virgilio | Web Engineering | Buch | Sack Fachmedien

    Cabot / Torlone / De Virgilio Web Engineering

    17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-60130-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Stolen / Mauw | Graphical Models for Security | Buch | Sack Fachmedien

    Liu / Stolen / Mauw Graphical Models for Security

    4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74859-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Igarashi / Hanus | Functional and Logic Programming | Buch | Sack Fachmedien

    Igarashi / Hanus Functional and Logic Programming

    16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10¿12, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-99460-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Braga | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Ölveczky / Braga Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28933-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbosa / Markopoulos / Valtolina | End-User Development | Buch | Sack Fachmedien

    Barbosa / Markopoulos / Valtolina End-User Development

    6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-58734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering | Buch | Sack Fachmedien

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

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-19755-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Practice | Buch | Sack Fachmedien

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

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part IV
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-19761-1
    Medium: Buch
    69,54 € (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
    Palumbo / Diniz / Keramidas | Applied Reconfigurable Computing. Architectures, Tools, and Applications | Buch | Sack Fachmedien

    Palumbo / Diniz / Keramidas Applied Reconfigurable Computing. Architectures, Tools, and Applications

    19th International Symposium, ARC 2023, Cottbus, Germany, September 27¿29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-42920-0
    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