|
|
11121.
|
Aggregation Functions in Theory and in Practise [electronic resource] : Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013 / edited by Humberto Bustince, Javier Fernandez, Radko Mesiar, Tomasas Calvo.
by Bustince, Humberto [editor.] | Fernandez, Javier [editor.] | Mesiar, Radko [editor.] | Calvo, Tomasas [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11122.
|
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan.
by Bartocci, Ezio [editor.] | Ramakrishnan, C. R [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11123.
|
E-Voting and Identify [electronic resource] : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings / edited by James Heather, Steve Schneider, Vanessa Teague.
by Heather, James [editor.] | Schneider, Steve [editor.] | Teague, Vanessa [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11124.
|
Web Engineering [electronic resource] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings / edited by Florian Daniel, Peter Dolog, Qing Li.
by Daniel, Florian [editor.] | Dolog, Peter [editor.] | Li, Qing [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11125.
|
Robotics in Smart Manufacturing [electronic resource] : International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings / edited by Pedro Neto, António Paulo Moreira.
by Neto, Pedro [editor.] | Moreira, António Paulo [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11126.
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings / edited by Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert.
by Rieck, Konrad [editor.] | Stewin, Patrick [editor.] | Seifert, Jean-Pierre [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11127.
|
Asteroids [electronic resource] : Prospective Energy and Material Resources / edited by Viorel Badescu.
by Badescu, Viorel [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11128.
|
Ad-hoc, Mobile, and Wireless Network [electronic resource] : 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings / edited by Jacek Cichoń, Maciej Gȩbala, Marek Klonowski.
by Cichoń, Jacek [editor.] | Gȩbala, Maciej [editor.] | Klonowski, Marek [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11129.
|
RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / edited by Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn Zant.
by Chen, Xiaoping [editor.] | Stone, Peter [editor.] | Sucar, Luis Enrique [editor.] | Zant, Tijn [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11130.
|
Product-Focused Software Process Improvement [electronic resource] : 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings / edited by Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre.
by Heidrich, Jens [editor.] | Oivo, Markku [editor.] | Jedlitschka, Andreas [editor.] | Baldassarre, Maria Teresa [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11131.
|
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu.
by Liu, Shaoying [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11132.
|
Containment Technology [electronic resource] : Progress in the Pharmaceutical and Food Processing Industry / by Hans-Jürgen Bässler, Frank Lehmann.
by Bässler, Hans-Jürgen [author.] | Lehmann, Frank [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
11133.
|
Managing Complexity: Practical Considerations in the Development and Application of ABMs to Contemporary Policy Challenges [electronic resource] / edited by Mirsad Hadzikadic, Sean O’Brien, Moutaz Khouja.
by Hadzikadic, Mirsad [editor.] | O’Brien, Sean [editor.] | Khouja, Moutaz [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11134.
|
Automated Scheduling and Planning [electronic resource] : From Theory to Practice / edited by A. Sima Uyar, Ender Ozcan, Neil Urquhart.
by Uyar, A. Sima [editor.] | Ozcan, Ender [editor.] | Urquhart, Neil [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11135.
|
Software Business. From Physical Products to Software Services and Solutions [electronic resource] : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings / edited by Georg Herzwurm, Tiziana Margaria.
by Herzwurm, Georg [editor.] | Margaria, Tiziana [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11136.
|
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / edited by Alexander Dudin, Koen Turck.
by Dudin, Alexander [editor.] | Turck, Koen [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11137.
|
Big Data [electronic resource] : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / edited by Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart.
by Gottlob, Georg [editor.] | Grasso, Giovanni [editor.] | Olteanu, Dan [editor.] | Schallhart, 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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11138.
|
Inclusive Society: Health and Wellbeing in the Community, and Care at Home [electronic resource] : 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings / edited by Jit Biswas, Hisato Kobayashi, Lawrence Wong, Bessam Abdulrazak, Mounir Mokhtari.
by Biswas, Jit [editor.] | Kobayashi, Hisato [editor.] | Wong, Lawrence [editor.] | Abdulrazak, Bessam [editor.] | Mokhtari, Mounir [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
11139.
|
Model-Driven Dependability Assessment of Software Systems [electronic resource] / by Simona Bernardi, José Merseguer, Dorina Corina Petriu.
by Bernardi, Simona [author.] | Merseguer, José [author.] | Petriu, Dorina Corina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
11140.
|
Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang.
by Kühnberger, Kai-Uwe [editor.] | Rudolph, Sebastian [editor.] | Wang, Pei [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, 2013Online access: Click here to access online Availability: No items available
|
