Suchergebnisse für ""Burcu Külahç o lu""




Ähnliche Artikel


Advances in Verification of Time Petri Nets and Timed Automata
116,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Wojciech Penczek
Agata Pólrola
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
A Temporal Logic Approach
2006
26. Juni 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11599357,978-3-540-32869-8

The use of Website as a Tool of E-Learning in Education
51,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Hessa Alkhanbashi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Implement Website To Help A-level Students Studying Computing Module
25. April 2011
Dictus Publishing

A Journey from Process Algebra via Timed Automata to Model Learning
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
1st ed. 2022
7. September 2022
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-15628-1

Formal Modeling and Analysis of Timed Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
1st ed. 2015
12. August 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-22974-4

Formal Modeling and Analysis of Timed Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
2008
5. September 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12519675,978-3-540-85777-8

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Yassine Lakhnech / Sergio Yovine (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Joint 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, 2004, Proceedings
2004
20. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11324249,978-3-540-23167-7

Formal Modeling and Analysis of Timed Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
2007
20. September 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12169450,978-3-540-75453-4

Formal Modeling and Analysis of Timed Systems
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
18th International Conference, FORMATS 2020, Vienna, Austria, September 1¿3, 2020, Proceedings
1st ed. 2020
17. August 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-57627-1

Towards a biological modelling tool recommending proper subnetworks
32,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Fabienne Lambusch
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Generating recommendations to extend biochemical reaction networks during modelling
11. Dezember 2017
AV Akademikerverlag

Table Extraction for Information Retrieval
36,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Amin Mirdamadi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A framework to evaluate and compare the table extraction tools and assess their application to the Information Retrieval
1. April 2019
AV Akademikerverlag



Ähnlichkeitssuche: Fact®Finder von OMIKRON