313 Ergebnisse - Seite |< 1 2 3 4 >| |

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
Formal SpecificationPreis vergleichenTechniques and Applications. Softcover reprint of the original 1st ed. 1999: Nimal Nissanke Anbieter: 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: Hugendubel Formal Techniques for Distributed SystemsPreis vergleichenJoint IFIP WG 6. 1 International Conference FMOODS/FORTE 2013 Held as Part of the 8th International Federated Conference on Distributed Computing Techniques DisCoTec 2013 Florence Italy June 3-5 2013 ... 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 Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen34th IFIP WG 6. 1 International Conference FORTE 2014 Held as Part of the 9th International Federated Conference on Distributed Computing Techniques DisCoTec 2014 Berlin Germany June 3-5 2014 Proceedi... 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 Distributed Objects Components and SystemsPreis vergleichen35th IFIP WG 6. 1 International Conference FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques DisCoTec 2015 Grenoble France June 2-4 2015 Procee... 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 Distributed Objects Components and SystemsPreis vergleichen36th IFIP WG 6. 1 International Conference FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques DisCoTec 2016 Heraklion Crete Greece June 6-9 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 Distributed Objects Components and SystemsPreis vergleichen37th IFIP WG 6. 1 International Conference FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques DisCoTec 2017 Neuchâtel Switzerland June 19-22 20... 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 Distributed Objects Components and SystemsPreis vergleichen38th IFIP WG 6. 1 International Conference FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques DisCoTec 2018 Madrid Spain June 18-21 2018 Proceed... 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 Distributed Objects Components and SystemsPreis vergleichen41st IFIP WG 6. 1 International Conference FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Computing Techniques DisCoTec 2021 Valletta Malta June 1418 2021 Procee... Anbieter: Hugendubel Formal Techniques for Computer Systems and Business ProcessesPreis vergleichenEuropean Performance Engineering Workshop EPEW 2005 and International Workshop on Web Services and Formal Methods WS-FM 2005 Versailles France September 1-3 2005 Proceedings. Auflage 2005 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 SpecificationPreis vergleichen*Formal Specification* - Techniques and Applications. Softcover reprint of the original 1st ed. 1999 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Anbieter: Hugendubel Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and ApplicationsPreis vergleichen*Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and Applications* - 6th International Symposium ISoLA 2014 Imperial Corfu Greece October 8-11 2014 Procee... Anbieter: Hugendubel Formal SpecificationPreis vergleichen*Formal Specification* - Techniques and Applications. Auflage 1999 / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and ApplicationsPreis vergleichen*Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and Applications* - 6th International Symposium ISoLA 2014 Imperial Corfu Greece October 8-11 2014 Procee... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 4th International Workshop FTSCS 2015 Paris France November 6-7 2015. Revised Selected Papers. 1st ed. 2016 / Taschenbuch für 53.49 € / Aus dem Ber... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 4th International Workshop FTSCS 2015 Paris France November 6-7 2015. Revised Selected Papers. 1st ed. 2016 / pdf eBook für 53.49 € / Aus dem Berei... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 36th IFIP WG 6. 1 International Conference FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 36th IFIP WG 6. 1 International Conference FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 5th International Workshop FTSCS 2016 Tokyo Japan November 14 2016 Revised Selected Papers. 1st ed. 2017 / Taschenbuch für 53.49 € / Aus dem Bereic... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 37th IFIP WG 6. 1 International Conference FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems* - Joint International Conferences on Formal Modeling and Analysis of Timed Systems FORMATS 2004 and Formal Techniques in ... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2004Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2004* - 24th IFIP WG 6. 1 International Conference Madrid Spain September 27-30 2004 Proceedings. Auflage 2004 / Taschenbuch für 53.49... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 38th IFIP WG 6. 1 International Conference FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 37th IFIP WG 6. 1 International Conference FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 5th International Workshop FTSCS 2016 Tokyo Japan November 14 2016 Revised Selected Papers. 1st ed. 2017 / pdf eBook für 53.49 € / Aus dem Bereich:... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2002Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2002* - 22nd IFIP WG 6. 1 International Conference Houston Texas USA November 11-14 2002 Proceedings. Auflage 2002 / pdf eBook für 53.... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - 6th International Symposium FTRTFT 2000 Pune India September 20-22 2000 Proceedings. Auflage 2000 / pdf eBook für 53.49 € / Aus dem Ber... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2004Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2004* - 24th IFIP WG 6. 1 International Conference Madrid Spain September 27-30 2004 Proceedings. Auflage 2004 / pdf eBook für 53.49 â... Anbieter: Hugendubel Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems* - Joint International Conferences on Formal Modeling and Analysis of Timed Systems FORMATS 2004 and Formal Techniques in ... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - 7th International Symposium FTRTFT 2002 Co-sponsored by IFIP WG 2. 2 Oldenburg Germany September 9-12 2002. Proceedings. Auflage 2002 / pd... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2003Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2003* - 23rd IFIP WG 6. 1 International Conference Berlin Germany September 29 -- October 2 2003. Auflage 2003 / pdf eBook für 53.49 â... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 38th IFIP WG 6. 1 International Conference FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 6th International Workshop FTSCS 2018 Gold Coast Australia November 16 2018 Revised Selected Papers. 1st ed. 2019 / Taschenbuch für 53.49 € / Aus d... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 6th International Workshop FTSCS 2018 Gold Coast Australia November 16 2018 Revised Selected Papers. 1st ed. 2019 / pdf eBook für 53.49 € / Aus dem... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 7th International Workshop FTSCS 2019 Shenzhen China November 9 2019 Revised Selected Papers. 1st ed. 2020 / Taschenbuch für 53.49 € / Aus dem Bere... Anbieter: Hugendubel Formal Techniques for Safety-Critical SystemsPreis vergleichen*Formal Techniques for Safety-Critical Systems* - 7th International Workshop FTSCS 2019 Shenzhen China November 9 2019 Revised Selected Papers. 1st ed. 2020 / pdf eBook für 53.49 € / Aus dem Bereic... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 41st IFIP WG 6. 1 International Conference FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 41st IFIP WG 6. 1 International Conference FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Computer Systems and Business ProcessesPreis vergleichen*Formal Techniques for Computer Systems and Business Processes* - European Performance Engineering Workshop EPEW 2005 and International Workshop on Web Services and Formal Methods WS-FM 2005 Versaille... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2002Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2002* - 22nd IFIP WG 6. 1 International Conference Houston Texas USA November 11-14 2002 Proceedings. Auflage 2002 / Taschenbuch für 5... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2007Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2007* - 27th IFIP WG 6. 1 International Conference Tallinn Estonia June 27-29 2007 Proceedings. Auflage 2007 / Taschenbuch für 53.49 â... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - Proceedings of a Symposium Warwick UK September 22-23 1988. Auflage 1988 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - 4th International Symposium Uppsala Sweden September 9 - 13 1996 Proceedings. Auflage 1996 / Taschenbuch für 53.49 € / Aus dem Bereich:... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - 5th International Symposium FTRTFT‘98 Lyngby Denmark September 14-18 1998 Proceedings. Auflage 1998 / Taschenbuch für 53.49 € / A... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - 6th International Symposium FTRTFT 2000 Pune India September 20-22 2000 Proceedings. Auflage 2000 / Taschenbuch für 53.49 € / Aus dem B... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2003Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2003* - 23rd IFIP WG 6. 1 International Conference Berlin Germany September 29 -- October 2 2003. Auflage 2003 / Taschenbuch für 53.49... Anbieter: Hugendubel Formal Techniques for Networked and Distributed Systems FORTE 2008Preis vergleichen*Formal Techniques for Networked and Distributed Systems FORTE 2008* - 28th IFIP WG 6. 1 International Conference Tokyo Japan June 10-13 2008 Proceedings. Auflage 2008 / Taschenbuch für 53.49 € / A... Anbieter: Hugendubel Formal Techniques for Distributed SystemsPreis vergleichen*Formal Techniques for Distributed Systems* - Joint 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 Proc... 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 Distributed SystemsPreis vergleichenJoint IFIP WG 6. 1 International Conference FMOODS/FORTE 2013 Held as Part of the 8th International Federated Conference on Distributed Computing Techniques DisCoTec 2013 Florence Italy June 3-5 2013 ... Anbieter: eBooks Hugendubel Formal SpecificationPreis vergleichenTechniques and Applications. Auflage 1999: Nimal Nissanke Anbieter: eBooks Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen34th IFIP WG 6. 1 International Conference FORTE 2014 Held as Part of the 9th International Federated Conference on Distributed Computing Techniques DisCoTec 2014 Berlin Germany June 3-5 2014 Proceedi... Anbieter: eBooks Hugendubel Formal Techniques for Computer Systems and Business ProcessesPreis vergleichenEuropean Performance Engineering Workshop EPEW 2005 and International Workshop on Web Services and Formal Methods WS-FM 2005 Versailles France September 1-3 2005 Proceedings. Auflage 2005 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 Objects Components and SystemsPreis vergleichen35th IFIP WG 6. 1 International Conference FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques DisCoTec 2015 Grenoble France June 2-4 2015 Procee... 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 Distributed Objects Components and SystemsPreis vergleichen36th IFIP WG 6. 1 International Conference FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques DisCoTec 2016 Heraklion Crete Greece June 6-9 2016... Anbieter: eBooks Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen37th IFIP WG 6. 1 International Conference FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques DisCoTec 2017 Neuchâtel Switzerland June 19-22 20... 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 Modelling and Analysis of Timed and Fault-Tolerant SystemsPreis vergleichenJoint International Conferences on Formal Modeling and Analysis of Timed Systems FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems FTRTFT 2004 Grenoble France September 22-24 ... 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 Distributed Objects Components and SystemsPreis vergleichen38th IFIP WG 6. 1 International Conference FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques DisCoTec 2018 Madrid Spain June 18-21 2018 Proceed... 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 Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen41st IFIP WG 6. 1 International Conference FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Computing Techniques DisCoTec 2021 Valletta Malta June 14-18 2021 Proce... Anbieter: eBooks Hugendubel Neri Oxman: Mediated MatterPreis 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: Mediated MatterPreis 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 Automata Theory and Formal LanguagesPreis vergleichenFundamental Notions Theorems and Techniques. 1st ed. 2022: Alberto Pettorossi Anbieter: Hugendubel Automata Theory and Formal LanguagesPreis vergleichen*Automata Theory and Formal Languages* - Fundamental Notions Theorems and Techniques. 1st ed. 2022 / Taschenbuch für 58.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet 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. |
|