| 436 Ergebnisse - Seite |< ‹ 1 2 3 4 5 › >| |
|
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
 Context-Aware Systems and Applications, and Nature of Computation and Communication, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2018, held in November 2018 in Viet Tri City, Vietnam. The 20 revised full papers prese... Anbieter: discount24 DE  Verification and Evaluation of Computer and Communication Systems, Kartoniert (TB)Preis vergleichenThis book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 201... Anbieter: discount24 DE  Nature of Computation and Communication, Kartoniert (TB)Preis vergleichenThis book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh C... Anbieter: discount24 DE  Formal Concept Analysis, Kartoniert (TB)Preis vergleichenThe discipline of formal concept analysis (FCA) is concerned with the form- ization of concepts and conceptual thinking. Built on the solid foundation of lattice and order theory, FCA is ?rst and fore... Anbieter: discount24 DE  Recent Trends in Algebraic Development Techniques, Kartoniert (TB)Preis vergleichenThis book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on Ju... Anbieter: discount24 DE  Formal Methods for Components and Objects, Kartoniert (TB)Preis vergleichenAll modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last t... Anbieter: discount24 DE  Verification, Model Checking, and Abstract Interpretation, Kartoniert (TB)Preis vergleichenThis volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11 13,2004,inconjunctionwithPOPL... Anbieter: discount24 DE  Fundamentals of Software Engineering, Kartoniert (TB)Preis vergleichenThis book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. T... Anbieter: discount24 DE  Integrated Formal Methods, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short pape... Anbieter: discount24 DE  Fundamentals of Software Engineering, Kartoniert (TB)Preis vergleichenThe present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009. FSEN 2009 was organized by the Scho... Anbieter: discount24 DE  Integrated Formal Methods, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short ... Anbieter: discount24 DE  Teaching Formal Methods, Kartoniert (TB)Preis vergleichenThis volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) associati... Anbieter: discount24 DE  Fundamentals of Software Engineering, Kartoniert (TB)Preis vergleichenThis book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 201... Anbieter: discount24 DE  Foundations of Biomedical Knowledge Representation, Kartoniert (TB)Preis vergleichenMedicineand health care are currently faced with a significant rise in theircomplexity. This is partly due to the progress made during the past threedecades in the fundamental biological understanding... Anbieter: discount24 DE  Critical Systems: Formal Methods and Automated Verification, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification ... Anbieter: discount24 DE  SpringerBriefs in Applied Sciences and Technology / Random Sets and Random Fuzzy Sets as Ill-Perceived Random Variables - Inés Couso, Didier Dubois, Luciano Sánchez, Kartoniert (TB)Preis vergleichenThis short book provides a unified view of the history and theory of random sets and fuzzy random variables, with special emphasis on its use for representing higher-order non-statistical uncertainty ... Anbieter: discount24 DE  Coordination Models and Languages, Kartoniert (TB)Preis vergleichenThis book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th In... Anbieter: discount24 DE  An Introduction to the Language of Mathematics - Frédéric Mynard, GebundenPreis vergleichenThis is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of... Anbieter: discount24 DE  Networked Systems, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short paper... Anbieter: discount24 DE  Formal Modeling and Analysis of Timed Systems, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 rev... Anbieter: discount24 DE  Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Kartoniert (TB)Preis vergleichenThis volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 pa... Anbieter: discount24 DE  Methods, Models and Tools for Fault Tolerance, Kartoniert (TB)Preis vergleichenThe growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high... Anbieter: discount24 DE  Verification and Evaluation of Computer and Communication Systems, Kartoniert (TB)Preis vergleichenThis book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concord... Anbieter: discount24 DE  Risks and Security of Internet and Systems, Kartoniert (TB)Preis vergleichenThis book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016. The 17 f... Anbieter: discount24 DE  New Frontiers in Artificial Intelligence, Kartoniert (TB)Preis vergleichenThis book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS 13, HAT-MASH, AI-Biz, JURISIN and SKL, held in Kanagawa, Japan, in November 1016. The 2... Anbieter: discount24 DE  Model Checking Software, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, a... Anbieter: discount24 DE  Runtime Verification, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented tog... Anbieter: discount24 DE  Formal to Practical Security, Kartoniert (TB)Preis vergleichenThe security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, priv... Anbieter: discount24 DE  Recent Trends in Algebraic Development Techniques, Kartoniert (TB)Preis vergleichenThis book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregy... Anbieter: discount24 DE  Text Analysis Pipelines - Henning Wachsmuth, Kartoniert (TB)Preis vergleichenThis monograph proposes a comprehensive and fully automatic approach to ing text analysis pipelines for arbitrary information needs that are optimal in terms of run-time efficiency and that robustly m... Anbieter: discount24 DE  Computer Aided Verification, Kartoniert (TB)Preis vergleichenThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 20... Anbieter: discount24 DE  Tests and Proofs, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2... Anbieter: discount24 DE  Computer Aided Verification, Kartoniert (TB)Preis vergleichenThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 20... Anbieter: discount24 DE  Tests and Proofs, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1... Anbieter: discount24 DE  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  Runtime Verification, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented tog... 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  Software Engineering and Formal Methods, Kartoniert (TB)Preis vergleichenThis book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 2... Anbieter: discount24 DE  Critical Systems: Formal Methods and Automated Verification, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification ... 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  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  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  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 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 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 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 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  Pid Passivity-Based Control of Nonlinear Systems with ApplicationsExplore the foundational and advanced subjects associated with proportional-integral-derivative controllers from leading authors in the field In PID Passivity-Based Control of Nonlinear Systems with A...Anbieter: Studibuch Shop 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  Touch of ClassPreis vergleichenFrom object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rew... Anbieter: Thalia DE
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. |
|