|
|
5141.
|
Algorithms and Models for the Web Graph [electronic resource] : 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011. Proceedings / edited by Alan Frieze, Paul Horn, Paweł Prałat.
by Frieze, Alan | Horn, Paul | Prałat, Paweł | 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
|
|
|
5142.
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson.
by Calinescu, Radu | Jackson, Ethan | 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
|
|
|
5143.
|
Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers / edited by Paolo Frasconi, Francesca A. Lisi.
by Frasconi, Paolo | Lisi, Francesca A | 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
|
|
|
5144.
|
Ambient Assisted Living [electronic resource] : Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011. Proceedings / edited by José Bravo, Ramón Hervás, Vladimir Villarreal.
by Bravo, José | Hervás, Ramón | Villarreal, Vladimir | 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
|
|
|
5145.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings / edited by Tobias Achterberg, J. Christopher Beck.
by Achterberg, Tobias | Beck, J. Christopher | 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
|
|
|
5146.
|
Advances in Artificial Life. Darwin Meets von Neumann [electronic resource] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part II / edited by George Kampis, István Karsai, Eörs Szathmáry.
by Kampis, George | Karsai, István | Szathmáry, Eörs | 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
|
|
|
5147.
|
Computational Intelligence in Security for Information Systems [electronic resource] : 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011. Proceedings / edited by Álvaro Herrero, Emilio Corchado.
by Herrero, Álvaro | Corchado, Emilio | 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
|
|
|
5148.
|
New Challenges on Bioinspired Applications [electronic resource] : 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo.
by Ferrández, José Manuel | Álvarez Sánchez, José Ramón | Paz, Félix | Toledo, F. Javier | 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
|
|
|
5149.
|
Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega.
by Romanovsky, Alexander | Vardanega, Tullio | 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
|
|
|
5150.
|
Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg.
by Calude, Cristian S | Kari, Jarkko | Petre, Ion | Rozenberg, Grzegorz | 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
|
|
|
5151.
|
Foundations on Natural and Artificial Computation [electronic resource] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo.
by Ferrández, José Manuel | Álvarez Sánchez, José Ramón | Paz, Félix | Toledo, F. Javier | 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
|
|
|
5152.
|
Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / edited by Klaus Schmid.
by Schmid, Klaus | 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
|
|
|
5153.
|
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 | Ditmarsch, Hans | Manzano, María | Soler-Toscano, Fernando | 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
|
|
|
5154.
|
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 | Rauber, Andreas | Vries, Arjen P | 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
|
|
|
5155.
|
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 | Rouvoy, Romain | 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
|
|
|
5156.
|
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 | Huang, Xiong | 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
|
|
|
5157.
|
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 | Huang, Xiong | 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
|
|
|
5158.
|
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 | Schulte, Wolfram | 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
|
|
|
5159.
|
Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny.
by Bernardo, Marco | Issarny, Valérie | 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
|
|
|
5160.
|
Combinatorial Pattern Matching [electronic resource] : 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings / edited by Raffaele Giancarlo, Giovanni Manzini.
by Giancarlo, Raffaele | Manzini, Giovanni | 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
|
