Ergebnisse filtern
Fachgebiet
Medium
  • 13
  • 11
Erscheinungsjahr
  • 2
  • 5
  • 1
  • 2
  • 2
  • 4
  • 4
  • 4
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 24
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
Verlag
  • 19
  • 5
Preis
  • 1
  • 16
  • 7
Sprachen
  • 24
Verfügbarkeit
  • 24
Katalog
  • 24
24  Treffer  für „Cavalcanti, Ana“
    Cavalcanti / Dams | FM 2009: Formal Methods | Buch | Sack Fachmedien

    Cavalcanti / Dams FM 2009: Formal Methods

    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-05088-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dams | FM 2009: Formal Methods | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Dams FM 2009: Formal Methods

    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-05089-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Baxter | The Practice of Formal Methods | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Baxter The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-66676-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Baxter | The Practice of Formal Methods | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Baxter The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part II
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-66673-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    139,09 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beyer / Cavalcanti | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Beyer / Cavalcanti Fundamental Approaches to Software Engineering

    27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breitman / Cavalcanti | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Breitman / Cavalcanti Formal Methods and Software Engineering

    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10372-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Baxter | The Practice of Formal Methods | Buch | Sack Fachmedien

    Cavalcanti / Baxter The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-66672-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Baxter | The Practice of Formal Methods | Buch | Sack Fachmedien

    Cavalcanti / Baxter The Practice of Formal Methods

    Essays in Honour of Cliff Jones, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-66675-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breitman / Cavalcanti | Formal Methods and Software Engineering | eBook | Sack Fachmedien
    E-Book

    Breitman / Cavalcanti Formal Methods and Software Engineering

    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10373-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Petrucci / Seceleanu / Cavalcanti | Critical Systems: Formal Methods and Automated Verification | eBook | Sack Fachmedien
    E-Book

    Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67113-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Petrucci / Seceleanu / Cavalcanti | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67112-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Foster / Richardson | Towards Autonomous Robotic Systems | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Foster / Richardson Towards Autonomous Robotic Systems

    26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-01486-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Sampaio / Woodcock | Refinement Techniques in Software Engineering | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    2006
    Verlag: Springer
    ISBN: 978-3-540-46254-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barkaoui / Cavalcanti / Cerone | Theoretical Aspects of Computing - ICTAC 2006 | eBook | Sack Fachmedien
    E-Book

    Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-48816-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Foster / Richardson | Towards Autonomous Robotic Systems | Buch | Sack Fachmedien

    Cavalcanti / Foster / Richardson Towards Autonomous Robotic Systems

    26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01485-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Barkaoui / Cavalcanti / Cerone | Theoretical Aspects of Computing - ICTAC 2006 | Buch | Sack Fachmedien

    Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48815-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Sampaio / Woodcock | Refinement Techniques in Software Engineering | Buch | Sack Fachmedien

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borba / Cavalcanti / Sampaio | Testing Techniques in Software Engineering | Buch | Sack Fachmedien

    Borba / Cavalcanti / Sampaio Testing Techniques in Software Engineering

    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14334-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borba / Cavalcanti / Sampaio | Testing Techniques in Software Engineering | eBook | Sack Fachmedien
    E-Book

    Borba / Cavalcanti / Sampaio Testing Techniques in Software Engineering

    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    2010
    Verlag: Springer
    ISBN: 978-3-642-14335-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Deharbe / Gaudel | Theoretical Aspects of Computing | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14808-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Deharbe / Gaudel | Theoretical Aspects of Computing | Buch | Sack Fachmedien

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14807-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dongol / Hierons | Software Engineering for Robotics | Buch | Sack Fachmedien

    Cavalcanti / Dongol / Hierons Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-66493-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dongol / Hierons | Software Engineering for Robotics | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Dongol / Hierons Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66494-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Dongol / Hierons | Software Engineering for Robotics | Buch | Sack Fachmedien

    Cavalcanti / Dongol / Hierons Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-66496-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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