Results
|
5841.
|
|
|
5842.
|
|
|
5843.
|
|
|
5844.
|
|
|
5845.
|
|
|
5846.
|
Analysis and Synthesis of Logics [electronic resource]: How to Cut and Paste Reasoning Systems/ by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by
- Carnielli, Walter A. (Walter Alexandre)
- Coniglio, Marcelo
- Gabbay, Dov M
- Gouveia, Paula
- Sernadas, Cristina
- SpringerLink (Online service)
Series: Applied Logic Series ; 35
Source: Springer eBooks
; Format:
electronic
available online
Publication details: Dordrecht ;: Springer, 2008
Availability: No items available.
Found in Open Library:
|
|
5847.
|
Handbook of Continued Fractions for Special Functions [electronic resource]/ by Annie Cuyt, Vigdis Brevik Petersen, Brigitte Verdonk, Haakon Waadeland, William B. Jones. by
- Cuyt, Annie, 1956-
- Petersen, Vigdis Brevik
- Verdonk, Brigitte
- Waadeland, Haakon
- Jones, William B. (William Branham), 1931-
- SpringerLink (Online service)
Source: Springer eBooks
; Format:
electronic
available online
Publication details: Dordrecht ;: Springer Netherlands, 2008
Availability: No items available.
Found in Open Library:
|
|
5848.
|
|
|
5849.
|
|
|
5850.
|
|
|
5851.
|
|
|
5852.
|
|
|
5853.
|
|
|
5854.
|
|
|
5855.
|
|
|
5856.
|
|
|
5857.
|
|
|
5858.
|
|
|
5859.
|
|
|
5860.
|
Advances in Automatic Differentiation [electronic resource]/ edited by Christian H. Bischof, H. Martin Bücker, Paul Hovland, Uwe Naumann, Jean Utke. by
- Bischof, Christian H
- Bücker, H. Martin
- Hovland, Paul
- Naumann, Uwe, 1969-
- Utke, Jean
- SpringerLink (Online service)
Series: Lecture Notes in Computational Science and Engineering ; 64
Source: Springer eBooks
; Format:
electronic
available online
Publication details: Berlin, Heidelberg: Springer Berlin Heidelberg, 2008
Availability: No items available.
Found in Open Library:
|