|
|
10981.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen Bosschere.
by Jhala, Ranjit [editor.] | Bosschere, 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
|
|
|
10982.
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró.
by Cortellessa, Vittorio [editor.] | Varró, Dániel [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
|
|
|
10983.
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning.
by Pfenning, Frank [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
|
|
|
10984.
|
Integrated Resource Strategic Planning and Power Demand-Side Management [electronic resource] / by Zhaoguang Hu, Xinyang Han, Quan Wen.
by Hu, Zhaoguang [author.] | Han, Xinyang [author.] | Wen, Quan [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
|
|
|
10985.
|
Financial Modeling [electronic resource] : A Backward Stochastic Differential Equations Perspective / by Stéphane Crépey.
by Crépey, Stéphane [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
|
|
|
10986.
|
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi.
by Garcia-Alfaro, Joaquin [editor.] | Cuppens, Frédéric [editor.] | Cuppens-Boulahia, Nora [editor.] | Miri, Ali [editor.] | Tawbi, Nadia [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
|
|
|
10987.
|
Advances in Biomedical Infrastructure 2013 [electronic resource] : Proceedings of International Symposium on Biomedical Data Infrastructure (BDI 2013) / edited by Amandeep S. Sidhu, Sarinder K Dhillon.
by Sidhu, Amandeep S [editor.] | Dhillon, Sarinder K [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
|
|
|
10988.
|
Design and Modeling of Mechanical Systems [electronic resource] : Proceedings of the Fifth International Conference Design and Modeling of Mechanical Systems, CMSM´2013, Djerba, Tunisia, March 25-27, 2013 / edited by Mohamed Haddar, Lotfi Romdhane, Jamel Louati, Abdelmajid Ben Amara.
by Haddar, Mohamed [editor.] | Romdhane, Lotfi [editor.] | Louati, Jamel [editor.] | Ben Amara, Abdelmajid [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
|
|
|
10989.
|
Approaches to Probabilistic Model Learning for Mobile Manipulation Robots [electronic resource] / by Jürgen Sturm.
by Sturm, Jürgen [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
|
|
|
10990.
|
ICT Innovations 2012 [electronic resource] : Secure and Intelligent Systems / edited by Smile Markovski, Marjan Gusev.
by Markovski, Smile [editor.] | Gusev, Marjan [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
|
|
|
10991.
|
Giant Magnetoresistance (GMR) Sensors [electronic resource] : From Basis to State-of-the-Art Applications / by Candid Reig, Susana Cardoso, Subhas Chandra Mukhopadhyay.
by Reig, Candid [author.] | Cardoso, Susana [author.] | Mukhopadhyay, Subhas Chandra [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
|
|
|
10992.
|
Computing Nature [electronic resource] : Turing Centenary Perspective / edited by Gordana Dodig-Crnkovic, Raffaela Giovagnoli.
by Dodig-Crnkovic, Gordana [editor.] | Giovagnoli, Raffaela [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
|
|
|
10993.
|
Biomedical Applications of Control Engineering [electronic resource] / by Selim S. Hacısalihzade.
by Hacısalihzade, Selim S [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
|
|
|
10994.
|
Policies and Research in Identity Management [electronic resource] : Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings / edited by Simone Fischer-Hübner, Elisabeth Leeuw, Chris Mitchell.
by Fischer-Hübner, Simone [editor.] | Leeuw, Elisabeth [editor.] | Mitchell, Chris [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
|
|
|
10995.
|
Smart Card Research and Advanced Applications [electronic resource] : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers / edited by Stefan Mangard.
by Mangard, 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, 2013Online access: Click here to access online Availability: No items available
|
|
|
10996.
|
Digital Enterprise Design and Management 2013 [electronic resource] : Proceedings of the First International Conference on Digital Enterprise Design and Management DED&M 2013 / edited by Pierre-Jean Benghozi, Daniel Krob, Frantz Rowe.
by Benghozi, Pierre-Jean [editor.] | Krob, Daniel [editor.] | Rowe, Frantz [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
|
|
|
10997.
|
Tools for High Performance Computing 2012 [electronic resource] / edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel.
by Cheptsov, Alexey [editor.] | Brinkmann, Steffen [editor.] | Gracia, José [editor.] | Resch, Michael M [editor.] | Nagel, Wolfgang E [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
|
|
|
10998.
|
Finite Element Analysis of the Collapse and Post-Collapse Behavior of Steel Pipes: Applications to the Oil Industry [electronic resource] / by Eduardo N Dvorkin, Rita G. Toscano.
by Dvorkin, Eduardo N [author.] | Toscano, Rita G [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
|
|
|
10999.
|
IEEE 802.15.4 and ZigBee as Enabling Technologies for Low-Power Wireless Systems with Quality-of-Service Constraints [electronic resource] / by Stefano Tennina, Anis Koubâa, Roberta Daidone, Mário Alves, Petr Jurčík, Ricardo Severino, Marco Tiloca, Jan-Hinrich Hauer, Nuno Pereira, Gianluca Dini, Mélanie Bouroche, Eduardo Tovar.
by Tennina, Stefano [author.] | Koubâa, Anis [author.] | Daidone, Roberta [author.] | Alves, Mário [author.] | Jurčík, Petr [author.] | Severino, Ricardo [author.] | Tiloca, Marco [author.] | Hauer, Jan-Hinrich [author.] | Pereira, Nuno [author.] | Dini, Gianluca [author.] | Bouroche, Mélanie [author.] | Tovar, Eduardo [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
|
|
|
11000.
|
The 9th International Conference on Computing and InformationTechnology (IC2IT2013) [electronic resource] : 9th-10th May 2013 King Mongkut's University of Technology North Bangkok / edited by Phayung Meesad, Herwig Unger, Sirapat Boonkrong.
by Meesad, Phayung [editor.] | Unger, Herwig [editor.] | Boonkrong, Sirapat [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
|
