|
|
2161.
|
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.
by Dawar, Anuj | Veith, Helmut | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2162.
|
Distributed, Parallel and Biologically Inspired Systems [electronic resource] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf.
by Hinchey, Mike | Kleinjohann, Bernd | Kleinjohann, Lisa | Lindsay, Peter A | Rammig, Franz J | Timmis, Jon | Wolf, Marilyn | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2163.
|
Theoretical Computer Science [electronic resource] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone.
by Calude, Cristian S | Sassone, Vladimiro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2164.
|
Security and Privacy – Silver Linings in the Cloud [electronic resource] : 25th IFIP TC-11 International Information Security Conference, SEC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Kai Rannenberg, Vijay Varadharajan, Christian Weber.
by Rannenberg, Kai | Varadharajan, Vijay | Weber, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2165.
|
Introduction to Reliable and Secure Distributed Programming [electronic resource] / by Christian Cachin, Rachid Guerraoui, Luís Rodrigues.
by Cachin, Christian | Guerraoui, Rachid | Rodrigues, Luís | 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
|
|
|
2166.
|
Computer Algebra in Scientific Computing [electronic resource] : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P | Koepf, Wolfram | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2167.
|
Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia.
by D’Ambra, Pasqua | Guarracino, Mario | Talia, Domenico | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2168.
|
Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia.
by D’Ambra, Pasqua | Guarracino, Mario | Talia, Domenico | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2169.
|
Algorithms in Bioinformatics [electronic resource] : 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings / edited by Vincent Moulton, Mona Singh.
by Moulton, Vincent | Singh, Mona | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2170.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger.
by Chatterjee, Krishnendu | Henzinger, Thomas A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2171.
|
Security and Cryptography for Networks [electronic resource] : 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. Proceedings / edited by Juan A. Garay, Roberto Prisco.
by Garay, Juan A | Prisco, Roberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2172.
|
Algorithms Unplugged [electronic resource] / edited by Berthold Vöcking, Helmut Alt, Martin Dietzfelbinger, Rüdiger Reischuk, Christian Scheideler, Heribert Vollmer, Dorothea Wagner.
by Vöcking, Berthold | Alt, Helmut | Dietzfelbinger, Martin | Reischuk, Rüdiger | Scheideler, Christian | Vollmer, Heribert | Wagner, Dorothea | 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
|
|
|
2173.
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska.
by Eekelen, Marko | Shkaravska, Olha | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2174.
|
Spectral and High Order Methods for Partial Differential Equations [electronic resource] : Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway / edited by Jan S. Hesthaven, Einar M. Rønquist.
by Hesthaven, Jan S | Rønquist, Einar M | 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
|
|
|
2175.
|
Reachability Problems [electronic resource] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / edited by Antonín Kučera, Igor Potapov.
by Kučera, Antonín | Potapov, Igor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2176.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings / edited by Maria Serna, Ronen Shaltiel, Klaus Jansen, José Rolim.
by Serna, Maria | Shaltiel, Ronen | Jansen, Klaus | Rolim, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2177.
|
Intelligent Data Engineering and Automated Learning – IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings / edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia-Osorio, Hujun Yin.
by Fyfe, Colin | Tino, Peter | Charles, Darryl | Garcia-Osorio, Cesar | Yin, Hujun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2178.
|
Principles and Practice of Constraint Programming – CP 2010 [electronic resource] : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings / edited by David Cohen.
by Cohen, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2179.
|
Multiple Access Communications [electronic resource] : Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings / edited by Alexey Vinel, Boris Bellalta, Claudio Sacchi, Andrey Lyakhov, Miklós Telek, Miquel Oliver.
by Vinel, Alexey | Bellalta, Boris | Sacchi, Claudio | Lyakhov, Andrey | Telek, Miklós | Oliver, Miquel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2180.
|
Swarm Intelligence [electronic resource] : 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings / edited by Marco Dorigo, Mauro Birattari, Gianni A. Caro, René Doursat, Andries P. Engelbrecht, Dario Floreano, Luca Maria Gambardella, Roderich Groß, Erol Şahin, Hiroki Sayama, Thomas Stützle.
by Dorigo, Marco | Birattari, Mauro | Caro, Gianni A | Doursat, René | Engelbrecht, Andries P | Floreano, Dario | Gambardella, Luca Maria | Groß, Roderich | Şahin, Erol | Sayama, Hiroki | Stützle, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
