|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
Handbook of Floating-Point Arithmetic [electronic resource] / by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres. by Muller, Jean-Michel [author.] | Brisebarre, Nicolas [author.] | de Dinechin, Florent [author.] | Jeannerod, Claude-Pierre [author.] | Lefèvre, Vincent [author.] | Melquiond, Guillaume [author.] | Revol, Nathalie [author.] | Stehlé, Damien [author.] | Torres, Serge [author.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
Recent Advances in Algorithmic Differentiation [electronic resource] / edited by Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther. by Forth, Shaun [editor.] | Hovland, Paul [editor.] | Phipps, Eric [editor.] | Utke, Jean [editor.] | Walther, Andrea [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Kai Koskimies (ed.). by Koskimies, Kai [edt] | International Conference on Compiler Construction, CC (7 : 28-03-1998 - 04-04-1998 : Lisbon, Portugal) | Joint European Conferences on Theory and Practice of Software, ETAPS (Lisbon, Portugal). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©1998Other title: CC'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
15.
|
|
|
|
16.
|
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.). 佐藤, 泰介. by Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyū Gakuen Toshi, Japan) | Middeldorp, Aart, 1963- | Satō, Taisuke. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
17.
|
Conceptual structures : from information to intelligence, 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010 : proceedings / Madalina Croitoru, Sébastein Ferré, Dickson Lukose (eds.). Ferréѓ, Sébastien. by ICCS 2010 (2010 : Kuching, Sarawak), Malaysia | Croitoru, Madalina | Ferré, Sébastien | Lukose, Dickson. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2010Other title: ICCS 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
18.
|
CONCUR 2011--concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / Joost-Pieter Katoen, Barbara König (eds.). by International Conference on Concurrency Theory (22nd : 2011 : Aachen, Germany) | Katoen, Joost-Pieter | König, Barbara (Professor of Information Engineering). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
19.
|
Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers / Sven-Bodo Scholz, Olaf Chitil (eds.). by International Symposium on Implementation and Application of Functional Languages (20th : 2008 : Hatfield, Hertfordshire, England) | Scholz, Sven-Bodo | Chitil, Olaf. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
20.
|
Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.). by ATVA (Symposium) (9th : 2011 : Taipei, Taiwan) | Bultan, Tevfik | Hsiung, Pao-Ann. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg ; New York : Springer, ©2011Other title: ATVA 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|