Kategorie główne

• Nauka

[2946912]

• Literatura piękna

[1852311]

więcej...

Kategorie szczegółowe BISAC

Baier, Christel

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Validation of Stochastic Systems: A Guide to Current Research	CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006	Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe
Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held as Part of the European Joint Conference	Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th In	Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa