|
|
|
Formal Specification Level [electronic resource] : Concepts, Methods, and Algorithms / by Mathias Soeken, Rolf Drechsler.
by Soeken, Mathias [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Web-Age Information Management [electronic resource] : WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers / edited by Yueguo Chen, Wolf-Tilo Balke, Jianliang Xu, Wei Xu, Peiquan Jin, Xin Lin, Tiffany Tang, Eenjun Hwang.
by Chen, Yueguo [editor.] | Balke, Wolf-Tilo [editor.] | Xu, Jianliang [editor.] | Xu, Wei [editor.] | Jin, Peiquan [editor.] | Lin, Xin [editor.] | Tang, Tiffany [editor.] | Hwang, Eenjun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach.
by Voronkov, Andrei [editor.] | Weidenbach, Christoph [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
|
|
|
|
Latent Variable Analysis and Signal Separation [electronic resource] : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / edited by Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovsk�y, Petr Tichavsk�y.
by Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovsk�y, Zbyněk [editor.] | Tichavsk�y, Petr [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
by Giacobazzi, Roberto [editor.] | Berdine, Josh [editor.] | Mastroeni, Isabella [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
|
|
|
|
Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Sakae Yamamoto.
by Yamamoto, Sakae [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
|
|
|
|
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings / edited by Nathalie Mitton, Valeria Loscri, Alexandre Mouradian.
by Mitton, Nathalie [editor.] | Loscri, Valeria [editor.] | Mouradian, Alexandre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings / edited by Jo�ao C. Setubal, Nalvo F. Almeida.
by Setubal, Jo�ao C [editor.] | Almeida, Nalvo F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 12-15, 2016, Proceedings / edited by Jinyan Li, Xue Li, Shuliang Wang, Jianxin Li, Quan Z. Sheng.
by Li, Jinyan [editor.] | Li, Xue [editor.] | Wang, Shuliang [editor.] | Li, Jianxin [editor.] | Sheng, Quan Z [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Solar Sailing [electronic resource] / edited by Malcolm Macdonald.
by Macdonald, Malcolm [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Rigid Finite Element Method in Analysis of Dynamics of Offshore Structures [electronic resource] / by Edmund Wittbrodt, Marek Szczotka, Andrzej Maczyński, Stanis�aw Wojciech.
by Wittbrodt, Edmund [author.] | Szczotka, Marek [author.] | Maczyński, Andrzej [author.] | Wojciech, Stanis�aw [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / edited by Steven Schockaert, Pierre Senellart.
by Schockaert, Steven [editor.] | Senellart, Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Principles of Security and Trust [electronic resource] : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Riccardo Focardi, Andrew Myers.
by Focardi, Riccardo [editor.] | Myers, Andrew [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Advancements in System Modelling Applications [electronic resource] : Proceedings of National Systems Conference 2012 / edited by R Malathi, J Krishnan.
by Malathi, R [editor.] | Krishnan, J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: India : Springer India : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
People, Problems, and Proofs [electronic resource] : Essays from G�odel's Lost Letter: 2010 / by Richard J. Lipton, Kenneth W. Regan.
by Lipton, Richard J [author.] | Regan, Kenneth W [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
|
|
|
|
Shape Understanding System - Knowledge Implementation and Learning [electronic resource] / by Zbigniew Les, Magdalena Les.
by Les, Zbigniew [author.] | Les, Magdalena [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
|
|
|
|
Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan.
by Palamidessi, Catuscia [editor.] | Ryan, Mark D [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
|
|
|
|
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [electronic resource] : First International Workshop, Brainles 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers / edited by Alessandro Crimi, Bjoern Menze, Oskar Maier, Mauricio Reyes, Heinz Handels.
by Crimi, Alessandro [editor.] | Menze, Bjoern [editor.] | Maier, Oskar [editor.] | Reyes, Mauricio [editor.] | Handels, Heinz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Georgios Lioudakis, Nora Cuppens-Boulahia, Simon Foley, William M. Fitzgerald.
by Garcia-Alfaro, Joaquin [editor.] | Lioudakis, Georgios [editor.] | Cuppens-Boulahia, Nora [editor.] | Foley, Simon [editor.] | Fitzgerald, William M [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / edited by Joerg Doerr, Andreas L. Opdahl.
by Doerr, Joerg [editor.] | Opdahl, Andreas L [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
|
