Results
|
|
161.
|
|
|
|
162.
|
|
|
|
163.
|
|
|
|
164.
|
|
|
|
165.
|
|
|
|
166.
|
Computer Engineering and Technology [electronic resource] : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang. by
- Xu, Weixia [editor.]
- Xiao, Liquan [editor.]
- Lu, Pingjing [editor.]
- Li, Jinwen [editor.]
- Zhang, Chengyi [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 337
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.
|
|
|
167.
|
|
|
|
168.
|
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.
|
|
|
169.
|
|
|
|
170.
|
|
|
|
171.
|
|
|
|
172.
|
|
|
|
173.
|
|
|
|
174.
|
MARINE 2011, IV International Conference on Computational Methods in Marine Engineering [electronic resource] : Selected Papers / edited by Luís Eça, Eugenio Oñate, Julio García-Espinosa, Trond Kvamsdal, Pål Bergan. by
- Eça, Luís [editor.]
- Oñate, Eugenio [editor.]
- García-Espinosa, Julio [editor.]
- Kvamsdal, Trond [editor.]
- Bergan, Pål [editor.]
- SpringerLink (Online service)
Series: Computational Methods in Applied Sciences ; 29
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.
|
|
|
175.
|
|
|
|
176.
|
|
|
|
177.
|
Forest entomology : a global perspective / by William M. Ciesla. by
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Chichester, West Sussex ; Hoboken, NJ : Wiley-Blackwell, 2011
Dissertation note: Insects are the most abundant and diverse organisms that inhabit our planet and are found in all the world's forest ecosystems. Many feed and/or breed on parts of trees. Some perform important functions, such as pollination or break-down of dead vegetation. Others weaken, deform or kill trees, and compete with humans for the many goods and services that trees and forests provide. Forest entomology: a global perspective examines forest insects in a global context and reviews their dynamics, interactions with humans and methods for monitoring and management of species that damage forests. Also provided are 235 profiles of forest insects, worldwide. A series of tables provides sumaries of the distribution and hosts of many more species. Included are those that damage forests, others that are simply curiosities and some that are beneficial. This book is designed as a reference for students, practicing foresters and forest health specialists, especially for those who work internationally or are concerned with species that have the potential to expand their ranges via international trade, travel or environmental changes.
Availability: No items available.
|
|
|
178.
|
|
|
|
179.
|
|
|
|
180.
|
|
