|
|
12781.
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride.
by Altenkirch, Thorsten | McBride, Conor | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12782.
|
Euro-Par 2007 Parallel Processing [electronic resource] : 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings / edited by Anne-Marie Kermarrec, Luc Bougé, Thierry Priol.
by Kermarrec, Anne-Marie | Bougé, Luc | Priol, Thierry | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12783.
|
Database and Expert Systems Applications [electronic resource] : 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Roland Wagner, Norman Revell, Günther Pernul.
by Wagner, Roland | Revell, Norman | Pernul, Günther | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12784.
|
IV Latin American Congress on Biomedical Engineering 2007, Bioengineering Solutions for Latin America Health [electronic resource] : September 24th–28th, 2007 Margarita Island, Venezuela / edited by Carmen Müller-Karger, Sara Wong, Alexandra Cruz.
by Müller-Karger, Carmen | Wong, Sara | Cruz, Alexandra | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12785.
|
Computational Science and Its Applications – ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova.
by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12786.
|
Adaptive Cooperation between Driver and Assistant System [electronic resource] : Improving Road Safety / by Frédéric Holzmann.
by Holzmann, Frédéric | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12787.
|
Computational Science and Its Applications – ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova.
by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12788.
|
Coordination: Neural, Behavioral and Social Dynamics [electronic resource] / edited by Armin Fuchs, Viktor K. Jirsa.
by Fuchs, Armin | Jirsa, Viktor K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12789.
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007 / edited by Vladimír Mařík, Valeriy Vyatkin, Armando W. Colombo.
by Mařík, Vladimír | Vyatkin, Valeriy | Colombo, Armando W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12790.
|
Computational Science and Its Applications – ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova.
by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12791.
|
Services Science [electronic resource] : Fundamentals, Challenges and Future Developments / edited by Bernd Stauss, Kai Engelmann, Anja Kremer, Achim Luhn.
by Stauss, Bernd | Engelmann, Kai | Kremer, Anja | Luhn, Achim | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12792.
|
Efficient Management of Wastewater [electronic resource] : Its Treatment and Reuse in Water-Scarce Countries / edited by Ismail Al Baz, Ralf Otterpohl, Claudia Wendland.
by Baz, Ismail Al | Otterpohl, Ralf | Wendland, Claudia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12793.
|
Independent Component Analysis and Signal Separation [electronic resource] : 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings / edited by Mike E. Davies, Christopher J. James, Samer A. Abdallah, Mark D Plumbley.
by Davies, Mike E | James, Christopher J | Abdallah, Samer A | Plumbley, Mark D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12794.
|
Monte Carlo and Quasi-Monte Carlo Methods 2006 [electronic resource] / edited by Alexander Keller, Stefan Heinrich, Harald Niederreiter.
by Keller, Alexander | Heinrich, Stefan | Niederreiter, Harald | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12795.
|
Procedures in International Law [electronic resource] / by Gernot Biehler.
by Biehler, Gernot | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12796.
|
Computer Science – Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings / edited by Volker Diekert, Mikhail V. Volkov, Andrei Voronkov.
by Diekert, Volker | Volkov, Mikhail V | Voronkov, Andrei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
12797.
|
Supply Chain Management and Advanced Planning [electronic resource] : Concepts, Models, Software, and Case Studies / edited by Hartmut Stadtler, Christoph Kilger.
by Stadtler, Hartmut | Kilger, Christoph | SpringerLink (Online service). Edition: 4th Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12798.
|
Dilute III-V Nitride Semiconductors and Material Systems [electronic resource] : Physics and Technology / edited by Ayşe Erol.
by Erol, Ayşe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12799.
|
Solanaceae and Convolvulaceae: Secondary Metabolites [electronic resource] : Biosynthesis, Chemotaxonomy, Biological and Economic Significance (A Handbook) / by Eckart Eich.
by Eich, Eckart | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
12800.
|
Secondary Metabolites in Soil Ecology [electronic resource] / edited by Petr Karlovsky.
by Karlovsky, Petr | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
