Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 4
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 10
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
Verlag
  • 7
  • 3
Preis
  • 7
  • 3
Sprachen
  • 10
Verfügbarkeit
  • 10
Katalog
  • 10
10  Treffer  für „Araki, Keijiro“
    Araki / Liu | Theoretical Aspects of Computing - ICTAC 2004 | Buch | Sack Fachmedien

    Araki / Liu Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Araki | Theoretical Aspects of Computing - ICTAC 2004 | eBook | Sack Fachmedien
    E-Book

    Liu / Araki Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    2005
    Verlag: Springer
    ISBN: 978-3-540-31862-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Araki / Gnesi / Mandrioli | FME 2003: Formal Methods | Buch | Sack Fachmedien

    Araki / Gnesi / Mandrioli FME 2003: Formal Methods

    International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40828-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Araki / Galloway / Taguchi | IFM'99 | Buch | Sack Fachmedien

    Araki / Galloway / Taguchi IFM'99

    Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
    1. Auflage. 1999
    Verlag: Springer
    ISBN: 978-1-85233-107-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Araki / Gnesi / Mandrioli | FME 2003: Formal Methods | eBook | Sack Fachmedien
    E-Book

    Araki / Gnesi / Mandrioli FME 2003: Formal Methods

    International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45236-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Maibaum / Araki | Formal Methods and Software Engineering | eBook | Sack Fachmedien
    E-Book

    Liu / Maibaum / Araki Formal Methods and Software Engineering

    10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-88194-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Goto / Yuasa / Araki | RIMS Symposium on Software Science and Engineering II | Buch | Sack Fachmedien

    Goto / Yuasa / Araki RIMS Symposium on Software Science and Engineering II

    Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16470-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Maibaum / Araki | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Liu / Maibaum / Araki Formal Methods and Software Engineering

    10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88193-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Araki / Galloway / Taguchi | IFM’99 | eBook | Sack Fachmedien
    E-Book

    Araki / Galloway / Taguchi IFM’99

    Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-0851-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Polychronopoulos / Amamiya / Joe | High Performance Computing | Buch | Sack Fachmedien

    Polychronopoulos / Amamiya / Joe High Performance Computing

    International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63766-0
    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