|
|
16681.
|
Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano.
by Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, María [editor.] | Soler-Toscano, Fernando [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16682.
|
Multidisciplinary Information Retrieval [electronic resource] : Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings / edited by Allan Hanbury, Andreas Rauber, Arjen P. Vries.
by Hanbury, Allan [editor.] | Rauber, Andreas [editor.] | Vries, Arjen P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16683.
|
The Global Administrative Law of Science [electronic resource] / by Matthias Ruffert, Sebastian Steinecke.
by Ruffert, Matthias [author.] | Steinecke, Sebastian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16684.
|
Researching the Future in Information Systems [electronic resource] : IFIP WG 8.2 Working Conference, Turku, Finland, June 6-8, 2011. Proceedings / edited by Mike Chiasson, Ola Henfridsson, Helena Karsten, Janice I. DeGross.
by Chiasson, Mike [editor.] | Henfridsson, Ola [editor.] | Karsten, Helena [editor.] | DeGross, Janice I [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16685.
|
Computers,Networks, Systems, and Industrial Engineering 2011 [electronic resource] / edited by Roger Lee.
by Lee, Roger [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16686.
|
Computer and Information Science 2011 [electronic resource] / edited by Roger Lee.
by Lee, Roger [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16687.
|
Advanced Microsystems for Automotive Applications 2011 [electronic resource] : Smart Systems for Electric, Safe and Networked Mobility / edited by Gereon Meyer, Jürgen Valldorf.
by Meyer, Gereon [editor.] | Valldorf, Jürgen [editor.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16688.
|
Advances in Distributed Agent-Based Retrieval Tools [electronic resource] / edited by Vincenzo Pallotta, Alessandro Soro, Eloisa Vargiu.
by Pallotta, Vincenzo [editor.] | Soro, Alessandro [editor.] | Vargiu, Eloisa [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16689.
|
Distributed Applications and Interoperable Systems [electronic resource] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Pascal Felber, Romain Rouvoy.
by Felber, Pascal [editor.] | Rouvoy, Romain [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16690.
|
Random Finite Sets for Robot Mapping and SLAM [electronic resource] : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo.
by Mullane, John [author.] | Vo, Ba-Ngu [author.] | Adams, Martin [author.] | Vo, Ba-Tuong [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16691.
|
Dependable Computer Systems [electronic resource] / edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak.
by Zamojski, Wojciech [editor.] | Kacprzyk, Janusz [editor.] | Mazurkiewicz, Jacek [editor.] | Sugier, Jarosław [editor.] | Walkowiak, Tomasz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16692.
|
Progress in Parasitology [electronic resource] / edited by Heinz Mehlhorn.
by Mehlhorn, Heinz [editor.] | SpringerLink (Online service). Edition: First.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16693.
|
Harmonic Functions and Potentials on Finite or Infinite Networks [electronic resource] / by Victor Anandam.
by Anandam, Victor [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16694.
|
Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I / edited by Gang Shen, Xiong Huang.
by Shen, Gang [editor.] | Huang, Xiong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16695.
|
Detoxification of Heavy Metals [electronic resource] / edited by Irena Sherameti, Ajit Varma.
by Sherameti, Irena [editor.] | Varma, Ajit [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
16696.
|
Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II / edited by Gang Shen, Xiong Huang.
by Shen, Gang [editor.] | Huang, Xiong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16697.
|
Future Challenges in Security and Privacy for Academia and Industry [electronic resource] : 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings / edited by Jan Camenisch, Simone Fischer-Hübner, Yuko Murayama, Armand Portmann, Carlos Rieder.
by Camenisch, Jan [editor.] | Fischer-Hübner, Simone [editor.] | Murayama, Yuko [editor.] | Portmann, Armand [editor.] | Rieder, Carlos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16698.
|
Intelligent Systems: Approximation by Artificial Neural Networks [electronic resource] / by George A. Anastassiou.
by Anastassiou, George A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16699.
|
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte.
by Butler, Michael [editor.] | Schulte, Wolfram [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16700.
|
Mobile Networks and Management [electronic resource] : Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers / edited by Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou.
by Pentikousis, Kostas [editor.] | Agüero, Ramón [editor.] | García-Arranz, Marta [editor.] | Papavassiliou, Symeon [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|