gefundene Verfasser Isola, T

Margaria-Steffen, Tiziana 1964-
ISoLA Limassol
ISoLA Online
Jones, Isola 1949-
Bailey, Norman 1933-2021
Alle anzeigen »
ISoLA Kerkira
ISoLA Rhodos
Kollo, René 1937-
Krenn, Werner 1943-
Martin, Janis 1939-2014

Treffer 1 - 20 von 40 für Suche 'Isola, T', Suchdauer: 2,07s Treffer weiter einschränken
  1. 1
    Foundations of computer vision

    Foundations of computer vision von Torralba, Antonio, Isola, Phillip, Freeman, William T.

    Veröffentlicht 2024
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Java fundamentals a fast-paced and pragmatic introduction to one of the world's most popular programming languages

    Java fundamentals a fast-paced and pragmatic introduction to one of the world's most popular programming languages von Alankus, Gazihan, Brito, Rogério Theodoro de, Fazal, Basheer Ahamed, Isola, Vinicius, Obare, Miles

    Veröffentlicht 2019
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Leveraging applications of formal methods, verification and validation verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part II

    Leveraging applications of formal methods, verification and validation verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, p...

    Veröffentlicht 2019
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Buchcover
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Leveraging applications of formal methods, verification and validation engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part II

    Leveraging applications of formal methods, verification and validation engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020...

    Veröffentlicht 2020
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Leveraging applications of formal methods, verification and validation verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part I

    Leveraging applications of formal methods, verification and validation verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...

    Veröffentlicht 2020
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Leveraging applications of formal methods, verification and validation applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part III

    Leveraging applications of formal methods, verification and validation applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

    Veröffentlicht 2020
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Leveraging applications of formal methods, verification and validation modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part I

    Leveraging applications of formal methods, verification and validation modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part...

    Veröffentlicht 2018
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Leveraging applications of formal methods, verification and validation industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part IV

    Leveraging applications of formal methods, verification and validation industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceed...

    Veröffentlicht 2018
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Leveraging applications of formal methods, verification and validation distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part III

    Leveraging applications of formal methods, verification and validation distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceed...

    Veröffentlicht 2018
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Advances in Mechanics of Materials for Environmental and Civil Engineering

    Advances in Mechanics of Materials for Environmental and Civil Engineering

    Veröffentlicht 2023

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  11. 11
    International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) [held in Paphos (Cyprus) October - November 2004]

    International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) [held in Paphos (Cyprus) October - November 2004]

    Veröffentlicht 2008
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2020
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings

    Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings

    Veröffentlicht 2018
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings

    Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings

    Veröffentlicht 2018
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Leveraging applications of formal methods, verification and validation 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings

    Leveraging applications of formal methods, verification and validation 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings

    Veröffentlicht 2016
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2020
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2020
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: