Results
|
1.
|
|
|
2.
|
|
|
3.
|
Understanding Probability / Henk Tijms. by
Edition: 3rd ed.
Material type: Text; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Availability: No items available.
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
- Blazy, Sandrine [editor.]
- Paulin-Mohring, Christine [editor.]
- Pichardie, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8.
|
|
|
9.
|
Linear continuous-time systems / Lyubomir T. Gruyitch. by - Gruĭich, L. T. (Li͡ubomir Tikhomira) [author.]
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Boca Raton : CRC Press, [2017]Copyright date: ©2017
Availability: No items available.
|
|
10.
|
|