Ergebnisse filtern
Fachgebiet
Medium
  • 22
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 22
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
Verlag
  • 6
  • 12
  • 1
  • 3
Preis
  • 20
  • 2
Sprachen
  • 22
Verfügbarkeit
  • 22
Katalog
  • 22
  • 4

Mathematik | Informatik

22  Titel
Alle Filter löschen
    Börger / Grädel / Gurevich | Börger, E: Classical Decision Problem | Buch | Sack Fachmedien

    Börger / Grädel / Gurevich Börger, E: Classical Decision Problem

    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-42324-9
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fleischmann / Schmidt / Börger | Subject-Oriented Business Process Management | Buch | Sack Fachmedien

    Fleischmann / Schmidt / Börger Subject-Oriented Business Process Management

    2012
    Verlag: Springer
    ISBN: 978-3-642-44095-3
    Medium: Buch
    53,45 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fleischmann / Schmidt / Börger | Subject-Oriented Business Process Management | Buch | Sack Fachmedien

    Fleischmann / Schmidt / Börger Subject-Oriented Business Process Management

    2012
    Verlag: Springer
    ISBN: 978-3-642-32391-1
    Medium: Buch
    53,45 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raschke / Börger | Modeling Companion for Software Practitioners | Buch | Sack Fachmedien

    Raschke / Börger Modeling Companion for Software Practitioners

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-56639-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Jäger | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Richter / Jäger Computer Science Logic

    5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55789-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cisternino / Börger | Advances in Software Engineering | Buch | Sack Fachmedien

    Cisternino / Börger Advances in Software Engineering

    Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89761-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Schönfeld / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Schönfeld / Kleine Büning Computer Science Logic

    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Jäger / Richter | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Jäger / Richter Computer Science Logic

    6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56992-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abrial / Langmaack / Börger | Formal Methods for Industrial Applications | Buch | Sack Fachmedien

    Abrial / Langmaack / Börger Formal Methods for Industrial Applications

    Specifying and Programming the Steam Boiler Control
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61929-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stärk / Börger / Schmid | Java and the Java Virtual Machine | Buch | Sack Fachmedien

    Stärk / Börger / Schmid Java and the Java Virtual Machine

    Definition, Verification, Validation
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-63997-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Meinke / Gurevich | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Meinke / Gurevich Computer Science Logic

    7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58277-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Kleine Büning | CSL'88 | Buch | Sack Fachmedien

    Börger / Richter / Kleine Büning CSL'88

    2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Börger | Structures of Computing | Buch | Sack Fachmedien

    Gervasi / Börger Structures of Computing

    A Guide to Practice-Oriented Theory
    2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-54357-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Riccobene / Gargantini | Abstract State Machines 2003: Advances in Theory and Practice | Buch | Sack Fachmedien

    Börger / Riccobene / Gargantini Abstract State Machines 2003: Advances in Theory and Practice

    10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00624-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger | Architecture Design and Validation Methods | Buch | Sack Fachmedien

    Börger Architecture Design and Validation Methods

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-62976-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Boca / Butler | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Boca / Butler Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Stärk | Börger, E: Abstract State Machines | Buch | Sack Fachmedien

    Börger / Stärk Börger, E: Abstract State Machines

    2003
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-00702-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Kleine Büning | CSL '89 | Buch | Sack Fachmedien

    Börger / Richter / Kleine Büning CSL '89

    3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52753-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Kleine Büning | CSL '87 | Buch | Sack Fachmedien

    Börger / Richter / Kleine Büning CSL '87

    1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50241-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stärk / Schmid / Börger | Java and the Java Virtual Machine | Buch | Sack Fachmedien

    Stärk / Schmid / Börger Java and the Java Virtual Machine

    Definition, Verification, Validation
    2001
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-42088-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Stärk / Börger | Abstract State Machines | Buch | Sack Fachmedien

    Stärk / Börger Abstract State Machines

    A Method for High-Level System Design and Analysis
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62116-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger | Computation Theory and Logic | Buch | Sack Fachmedien

    Börger Computation Theory and Logic

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18170-5
    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