|
|
2581.
|
Computer Security – ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli.
by Foresti, Sara [editor.] | Yung, Moti [editor.] | Martinelli, Fabio [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2582.
|
Software Engineering for Resilient Systems [electronic resource] : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings / edited by Paris Avgeriou.
by Avgeriou, Paris [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2583.
|
Programming Languages [electronic resource] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Francisco Heron Carvalho Junior, Luis Soares Barbosa.
by Carvalho Junior, Francisco Heron [editor.] | Barbosa, Luis Soares [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2584.
|
Web Reasoning and Rule Systems [electronic resource] : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings / edited by Markus Krötzsch, Umberto Straccia.
by Krötzsch, Markus [editor.] | Straccia, Umberto [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2585.
|
Computer Information Systems and Industrial Management [electronic resource] : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings / edited by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń.
by Cortesi, Agostino [editor.] | Chaki, Nabendu [editor.] | Saeed, Khalid [editor.] | Wierzchoń, Sławomir [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2586.
|
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann.
by Gheyi, Rohit [editor.] | Naumann, David [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2587.
|
Information and Software Technologies [electronic resource] : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings / edited by Tomas Skersys, Rimantas Butleris, Rita Butkiene.
by Skersys, Tomas [editor.] | Butleris, Rimantas [editor.] | Butkiene, Rita [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2588.
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin.
by Kahl, Wolfram [editor.] | Griffin, Timothy G [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2589.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković.
by Jurdziński, Marcin [editor.] | Ničković, Dejan [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2590.
|
Information Security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings / edited by Dieter Gollmann, Felix C. Freiling.
by Gollmann, Dieter [editor.] | Freiling, Felix C [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2591.
|
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund.
by Chakraborty, Supratik [editor.] | Mukund, Madhavan [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2592.
|
Service-Oriented and Cloud Computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings / edited by Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro.
by Paoli, Flavio [editor.] | Pimentel, Ernesto [editor.] | Zavattaro, Gianluigi [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2593.
|
Open Source Systems: Long-Term Sustainability [electronic resource] : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings / edited by Imed Hammouda, Björn Lundell, Tommi Mikkonen, Walt Scacchi.
by Hammouda, Imed [editor.] | Lundell, Björn [editor.] | Mikkonen, Tommi [editor.] | Scacchi, Walt [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2594.
|
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu.
by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2595.
|
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu.
by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2596.
|
Reachability Problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / edited by Alain Finkel, Jérôme Leroux, Igor Potapov.
by Finkel, Alain [editor.] | Leroux, Jérôme [editor.] | Potapov, Igor [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2597.
|
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu.
by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2598.
|
Recent Advances in the Message Passing Interface [electronic resource] : 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings / edited by Jesper Larsson Träff, Siegfried Benkner, Jack J. Dongarra.
by Träff, Jesper Larsson [editor.] | Benkner, Siegfried [editor.] | Dongarra, Jack J [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2599.
|
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking [electronic resource] : International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers / edited by Stefano Chessa, Stefan Knauth.
by Chessa, Stefano [editor.] | Knauth, Stefan [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2600.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / edited by Andréa W. Richa, Christian Scheideler.
by Richa, Andréa W [editor.] | Scheideler, Christian [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, 2012Online access: Click here to access online Availability: No items available
|
