Results
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
Distance Geometry [electronic resource] : Theory, Methods, and Applications / edited by Antonio Mucherino, Carlile Lavor, Leo Liberti, Nelson Maculan. by
- Mucherino, Antonio [editor.]
- Lavor, Carlile [editor.]
- Liberti, Leo [editor.]
- Maculan, Nelson [editor.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / edited by Gregory Gutin, Stefan Szeider. by
- Gutin, Gregory [editor.]
- Szeider, Stefan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8246
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
- Artemov, Sergei [editor.]
- Nerode, Anil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
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.
|
|
|
31.
|
|
|
|
32.
|
|
|
|
33.
|
|
|
|
34.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by
- Galmiche, Didier [editor.]
- Larchey-Wendling, Dominique [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8123
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.
|
|
|
35.
|
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos. by
- Nicosia, Giuseppe [editor.]
- Pardalos, Panos [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7997
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.
|
|
|
36.
|
|
|
|
37.
|
Digital holography / Pascal Picart, Jun-chang Li. by
- Picart, Pascal
- Li, Junchang, 1945-
Series: ISTE
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: London : Hoboken, NJ : ISTE ; Wiley, 2012
Availability: No items available.
|
|
|
38.
|
|
|
|
39.
|
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
- Gupta, Ashutosh [editor.]
- Henzinger, Thomas A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.
|
|
|
40.
|
|
