|
|
|
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc J�ez�equel, Bernhard Rumpe.
by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | J�ez�equel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | 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
|
|
|
|
Programming Languages with Applications to Biology and Security [electronic resource] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami.
by Bodei, Chiara [editor.] | Ferrari, Gianluigi [editor.] | Priami, Corrado [editor.] | 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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Za�idi.
by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Za�idi, Fatiha [editor.] | 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
|
|
|
|
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed.
by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | 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
|
|
|
|
Radio Frequency Identification [electronic resource] : 11th International Workshop, RFIDsec 2015, New York, NY, USA, June 23-24, 2015, Revised Selected Papers / edited by Stefan Mangard, Patrick Schaumont.
by Mangard, Stefan [editor.] | Schaumont, Patrick [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
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings / edited by Floriana Esposito, Olivier Pivert, Mohand-Said Hacid, Zbigniew W. R�as, Stefano Ferilli.
by Esposito, Floriana [editor.] | Pivert, Olivier [editor.] | Hacid, Mohand-Said [editor.] | R�as, Zbigniew W [editor.] | Ferilli, Stefano [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
|
|
|
|
Security and Privacy for Mobile Healthcare Networks [electronic resource] / by Kuan Zhang, Xuemin (Sherman) Shen.
by Zhang, Kuan [author.] | Shen, Xuemin (Sherman) [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
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, Poznań, Poland, September 14-18, 2015, Proceedings / edited by Sarantos Kapidakis, Cezary Mazurek, Marcin Werla.
by Kapidakis, Sarantos [editor.] | Mazurek, Cezary [editor.] | Werla, Marcin [editor.] | 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
|
|
|
|
Distributed Fusion Estimation for Sensor Networks with Communication Constraints [electronic resource] / by Wen-An Zhang, Bo Chen, Haiyu Song, Li Yu.
by Zhang, Wen-An [author.] | Chen, Bo [author.] | Song, Haiyu [author.] | Yu, Li [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Privacy-Preserving Machine Learning for Speech Processing [electronic resource] / by Manas A. Pathak.
by Pathak, Manas A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Inference and Control of Quality in Multimedia Services [electronic resource] / by Vlado Menkovski.
by Menkovski, Vlado [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
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings / edited by Simone Fischer-H�ubner, Costas Lambrinoudakis, Javier L�opez.
by Fischer-H�ubner, Simone [editor.] | Lambrinoudakis, Costas [editor.] | L�opez, Javier [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
|
|
|
|
Modeling and Evaluating Denial of Service Attacks for Wireless and Mobile Applications [electronic resource] / by Zhou Lu, Wenye Wang, Cliff Wang.
by Lu, Zhou [author.] | Wang, Wenye [author.] | Wang, Cliff [author.] | 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
|
|
|
|
VLSI-SoC: At the Crossroads of Emerging Trends [electronic resource] : 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers / edited by Alex Orailoglu, H. Fatih Ugurdag, Lu�is Miguel Silveira, Martin Margala, Ricardo Reis.
by Orailoglu, Alex [editor.] | Ugurdag, H. Fatih [editor.] | Silveira, Lu�is Miguel [editor.] | Margala, Martin [editor.] | Reis, Ricardo [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
|
|
|
|
Calculus for Cognitive Scientists [electronic resource] : Derivatives, Integrals and Models / by James K. Peterson.
by Peterson, James K [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Neural Networks with Discontinuous/Impact Activations [electronic resource] / by Marat Akhmet, Enes Y�lmaz.
by Akhmet, Marat [author.] | Y�lmaz, Enes [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Information and Communications Security [electronic resource] : 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers / edited by Lucas C. K. Hui, S. H. Qing, Elaine Shi, S. M. Yiu.
by Hui, Lucas C. K [editor.] | Qing, S. H [editor.] | Shi, Elaine [editor.] | Yiu, S. M [editor.] | 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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | 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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | 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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | 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
|
