449 Ergebnisse - Seite |< 1 2 3 4 5 6 7 8 9 >| |
Einverständniserklärung zu Cookies, Daten- und Trackinginformationen
Wir verwenden Cookies, um Inhalte und Anzeigen zu personalisieren. Beim Besuch dieser Webseite werden Informationen gespeichert. Bei der Darstellung von Produkten werden Bilder von an anderen Webseiten geladen. Um das zu ermöglichen, ist es nötig, dass ihr Browser Verbindungen zu anderen Servern aufbaut und dorthin Daten überträgt. Die Verarbeitung der an Kostenscout.de gesendeten Daten erfolgt zur Leistungserbringung, zu statistischen sowie werbetechnischen Zwecken. Wenn Sie auf der Seite weitersurfen, stimmen Sie der Cookie-Nutzung und Datenverarbeitung zu. Datenschutzinformationen ansehen
Runtime Verification, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented ... Anbieter: discount24 DE New Frontiers in Artificial Intelligence, Kartoniert (TB)Preis vergleichenThis book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in K... Anbieter: discount24 DE Tests and Proofs, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 sho... Anbieter: discount24 DE Nature of Computation and Communication, Kartoniert (TB)Preis vergleichenThis book constitutes the post-conference proceedings of the Second International Conference on Nature of Computation and Communication, ICTCC 2016, held in March 2016 in Rach Gia, Vietnam. The 36 rev... Anbieter: discount24 DE Engineering Multi-Agent Systems, Kartoniert (TB)Preis vergleichenThis book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS... Anbieter: discount24 DE Formal Techniques for Distributed SystemsPreis vergleichenJoint 14th IFIP WG 6. 1 International Conference FMOODS 2012 and 32nd IFIP WG 6. 1 International Conference FORTE 2012 Stockholm Sweden June 13-16 2012 Proceedings. Auflage 2012 Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen7th International Symposium FTRTFT 2002 Co-sponsored by IFIP WG 2. 2 Oldenburg Germany September 9-12 2002. Proceedings. Auflage 2002 Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichenSecond International Workshop FTSCS 2013 Queenstown New Zealand October 29--30 2013. Revised Selected Papers. Auflage 2014 Anbieter: Hugendubel Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and ApplicationsPreis vergleichen6th International Symposium ISoLA 2014 Imperial Corfu Greece October 8-11 2014 Proceedings Part II. Auflage 2014 Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichenThird International Workshop FTSCS 2014 Luxembourg November 6-7 2014. Revised Selected Papers. Auflage 2015 Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen4th International Workshop FTSCS 2015 Paris France November 6-7 2015. Revised Selected Papers. 1st ed. 2016 Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen5th International Workshop FTSCS 2016 Tokyo Japan November 14 2016 Revised Selected Papers. 1st ed. 2017 Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2004Preis vergleichen24th IFIP WG 6. 1 International Conference Madrid Spain September 27-30 2004 Proceedings. Auflage 2004 Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen6th International Workshop FTSCS 2018 Gold Coast Australia November 16 2018 Revised Selected Papers. 1st ed. 2019 Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen7th International Workshop FTSCS 2019 Shenzhen China November 9 2019 Revised Selected Papers. 1st ed. 2020 Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2002Preis vergleichen22nd IFIP WG 6. 1 International Conference Houston Texas USA November 11-14 2002 Proceedings. Auflage 2002 Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2007Preis vergleichen27th IFIP WG 6. 1 International Conference Tallinn Estonia June 27-29 2007 Proceedings. Auflage 2007 Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichenProceedings of a Symposium Warwick UK September 22-23 1988. Auflage 1988: Mathai Joseph Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen4th International Symposium Uppsala Sweden September 9 - 13 1996 Proceedings. Auflage 1996: Bengt Jonsson/ Joachim Parrow Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen5th International Symposium FTRTFT‘98 Lyngby Denmark September 14-18 1998 Proceedings. Auflage 1998: Anders P. Ravn/ Hans Rischel Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen6th International Symposium FTRTFT 2000 Pune India September 20-22 2000 Proceedings. Auflage 2000 Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2003Preis vergleichen23rd IFIP WG 6. 1 International Conference Berlin Germany September 29 -- October 2 2003. Auflage 2003 Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems FORTE 2008Preis vergleichen28th IFIP WG 6. 1 International Conference Tokyo Japan June 10-13 2008 Proceedings. Auflage 2008 Anbieter: Hugendubel Formal Techniques for Distributed SystemsPreis vergleichenJoint 11th IFIP WG 6. 1 International Conference FMOODS 2009 and 29th IFIP WG 6. 1 International Conference FORTE 2009 Lisboa Portugal June 9-12 2009 Proceedings. Auflage 2009 Anbieter: Hugendubel Formal Techniques for Distributed SystemsPreis vergleichenJoint 11th IFIP WG 6. 1 International Conference FMOODS 2009 and 29th IFIP WG 6. 1 International Conference FORTE 2009 Lisboa Portugal June 9-12 2009 Proceedings. Auflage 2009 Anbieter: eBooks Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichenThird International Workshop FTSCS 2014 Luxembourg November 6-7 2014. Revised Selected Papers. Auflage 2015 Anbieter: eBooks Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichenSecond International Workshop FTSCS 2013 Queenstown New Zealand October 29--30 2013. Revised Selected Papers. Auflage 2014 Anbieter: eBooks Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2007Preis vergleichen27th IFIP WG 6. 1 International Conference Tallinn Estonia June 27-29 2007 Proceedings. Auflage 2007 Anbieter: eBooks Hugendubel Formal Techniques for Distributed SystemsPreis vergleichenJoint 13th IFIP WG 6. 1 International Conference FMOODS 2011 and 30th IFIP WG 6. 1 International Conference FORTE 2011 Reykjavik Island June 6-9 2011 Proceedings. Auflage 2011 Anbieter: eBooks Hugendubel Formal Techniques for Distributed SystemsPreis vergleichenJoint 14th IFIP WG 6. 1 International Conference FMOODS 2012 and 32nd IFIP WG 6. 1 International Conference FORTE 2012 Stockholm Sweden June 13-16 2012 Proceedings. Auflage 2012 Anbieter: eBooks Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2008Preis vergleichen28th IFIP WG 6. 1 International Conference Tokyo Japan June 10-13 2008 Proceedings. Auflage 2008 Anbieter: eBooks Hugendubel Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and ApplicationsPreis vergleichen6th International Symposium ISoLA 2014 Imperial Corfu Greece October 8-11 2014 Proceedings Part II. Auflage 2014 Anbieter: eBooks Hugendubel Formal Techniques for Distributed SystemsPreis vergleichenJoint 12th IFIP WG 6. 1 International Conference FMOODS 2010 and 30th IFIP WG 6. 1 International Conference FORTE 2010 Amsterdam The Netherlands June 7-9 2010 Proceedings. Auflage 2010 Anbieter: eBooks Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen4th International Workshop FTSCS 2015 Paris France November 6-7 2015. Revised Selected Papers. 1st ed. 2016 Anbieter: eBooks Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen5th International Workshop FTSCS 2016 Tokyo Japan November 14 2016 Revised Selected Papers. 1st ed. 2017 Anbieter: eBooks Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2002Preis vergleichen22nd IFIP WG 6. 1 International Conference Houston Texas USA November 11-14 2002 Proceedings. Auflage 2002 Anbieter: eBooks Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen6th International Symposium FTRTFT 2000 Pune India September 20-22 2000 Proceedings. Auflage 2000 Anbieter: eBooks Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2004Preis vergleichen24th IFIP WG 6. 1 International Conference Madrid Spain September 27-30 2004 Proceedings. Auflage 2004 Anbieter: eBooks Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen7th International Symposium FTRTFT 2002 Co-sponsored by IFIP WG 2. 2 Oldenburg Germany September 9-12 2002. Proceedings. Auflage 2002 Anbieter: eBooks Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2003Preis vergleichen23rd IFIP WG 6. 1 International Conference Berlin Germany September 29 -- October 2 2003. Auflage 2003 Anbieter: eBooks Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen6th International Workshop FTSCS 2018 Gold Coast Australia November 16 2018 Revised Selected Papers. 1st ed. 2019 Anbieter: eBooks Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen7th International Workshop FTSCS 2019 Shenzhen China November 9 2019 Revised Selected Papers. 1st ed. 2020 Anbieter: eBooks Hugendubel NASA Formal MethodsPreis vergleichenThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers toge... Anbieter: buecher DE NASA Formal MethodsPreis vergleichenThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers toge... Anbieter: buecher DE Neri Oxman: Material EcologyPreis vergleichenThe first survey on the interdisciplinary bio genius of Neri Oxman, pioneer of "material ecology" Throughout her 20-year career, Neri Oxman has invented not only new ideas for materials, bui... Anbieter: buecher DE Neri Oxman: Material EcologyPreis vergleichenThe first survey on the interdisciplinary bio genius of Neri Oxman, pioneer of "material ecology" Throughout her 20-year career, Neri Oxman has invented not only new ideas for materials, bui... Anbieter: buecher DE Emergent Programmatic Form-ationPreis vergleichenThe increasing use of computational techniques in architectural clearly exhibits the temptation to develop geometries of formal complexity. However, it is a bigger challenge and responsibility to emp... Anbieter: buecher DE Emergent Programmatic Form-ationPreis vergleichenThe increasing use of computational techniques in architectural clearly exhibits the temptation to develop geometries of formal complexity. However, it is a bigger challenge and responsibility to emp... Anbieter: buecher DE Platonic Legislations - David Lloyd Dusenbury, Kartoniert (TB)Preis vergleichenThis book discusses how Plato, one the fiercest legal critics in ancient Greece, became - in the longue durée - its most influential legislator. Making use of a vast scholarly literature, and offerin... Anbieter: discount24 DE Automata Theory and Formal LanguagesPreis vergleichenFundamental Notions Theorems and Techniques. 1st ed. 2022: Alberto Pettorossi Anbieter: Hugendubel
Die bei uns gelisteten Preise basieren auf Angaben der gelisteten Händler zum Zeitpunkt unserer Datenabfrage. Diese erfolgt einmal täglich. Von diesem Zeitpunkt bis jetzt können sich die Preise bei den einzelnen Händlern jedoch geändert haben. Bitte prüfen sie auf der Zielseite die endgültigen Preise.
Die Sortierung auf unserer Seite erfolgt nach dem besten Preis oder nach bester Relevanz für Suchbegriffe (je nach Auswahl).
Für manche Artikel bekommen wir beim Kauf über die verlinkte Seite eine Provision gezahlt. Ob es eine Provision gibt und wie hoch diese ausfällt, hat keinen Einfluß auf die Suchergebnisse oder deren Sortierung. Unser Preisvergleich listet nicht alle Onlineshops. Möglicherweise gibt es auf anderen bei uns nicht gelisteten Shops günstigere Preise oder eine andere Auswahl an Angeboten. Versandkosten sind in den angezeigten Preisen und der Sortierung nicht inkludiert. Livesuche | Über uns | Datenschutz | Shop eintragen | Impressum * - Angaben ohne Gewähr. Preise und Versandkosten können sich zwischenzeitlich geändert haben. Bitte prüfen sie vor dem Kauf auf der jeweiligen Seite, ob die Preise sowie Versandkosten noch aktuell sind. |
|