Εμφανίζονται 21 - 40 Αποτελέσματα από 409 για την αναζήτηση 'Tools and Algorithms for the Construction and Analysis of Systems', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
26
Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part...”
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
28
Tools and algorithms for the construction and analysis of systems 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, april 4-8, 2004 : proceedings /
“... of the system - velopment process, including speci?cation, design, implementation, analysis and improvement...”
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
29
Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, proceedings /
ανά TACAS 2006, Hermanns, Holger., Palsberg, Jens.
Έκδοση 2006.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Vienna, Austria in March/April...”
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
32
Tools and algorithms for the construction and analysis of systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012, proceedings /
“... for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory...”
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
33
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
“... Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place...”
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
40
Systems biology integrative biology and simulation tools /
ανά Prokop, Aleš., Csukás, Béla.
Έκδοση 2013.
“... is a significant task of systems biology. SB aims to develop and use efficient algorithms, data...”
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης