|
|
|
Software Architecture in Action [electronic resource] : Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard / by Flavio Oquendo, Jair Leite, Tha�is Batista.
by Oquendo, Flavio [author.] | Leite, Jair [author.] | Batista, Tha�is [author.] | 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
|
|
|
|
Information Security and Privacy [electronic resource] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I / edited by Joseph K. Liu, Ron Steinfeld.
by Liu, Joseph K [editor.] | Steinfeld, Ron [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
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers / edited by Christos G. Panayiotou, Georgios Ellinas, Elias Kyriakides, Marios M. Polycarpou.
by Panayiotou, Christos G [editor.] | Ellinas, Georgios [editor.] | Kyriakides, Elias [editor.] | Polycarpou, Marios 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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Trusted Systems [electronic resource] : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / edited by Moti Yung, Liehuang Zhu, Yanjiang Yang.
by Yung, Moti [editor.] | Zhu, Liehuang [editor.] | Yang, Yanjiang [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
|
|
|
|
Knowledge Representation for Health Care [electronic resource] : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers / edited by Silvia Miksch, David Ria�no, Annette ten Teije.
by Miksch, Silvia [editor.] | Ria�no, David [editor.] | ten Teije, Annette [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
|
|
|
|
Specifying Big Data Benchmarks [electronic resource] : First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012, and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers / edited by Tilmann Rabl, Meikel Poess, Chaitanya Baru, Hans-Arno Jacobsen.
by Rabl, Tilmann [editor.] | Poess, Meikel [editor.] | Baru, Chaitanya [editor.] | Jacobsen, Hans-Arno [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
|
|
|
|
Research and Development in Intelligent Systems XXXI [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXII / edited by Max Bramer, Miltos Petridis.
by Bramer, Max [editor.] | Petridis, Miltos [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
|
|
|
|
Risk Management for Engineering Projects [electronic resource] : Procedures, Methods and Tools / by Nolberto Munier.
by Munier, Nolberto [author.] | 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
|
|
|
|
Motion and Operation Planning of Robotic Systems [electronic resource] : Background and Practical Approaches / edited by Giuseppe Carbone, Fernando Gomez-Bravo.
by Carbone, Giuseppe [editor.] | Gomez-Bravo, Fernando [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
|
|
|
|
Efficiency and Logistics [electronic resource] / edited by Uwe Clausen, Michael ten Hompel, Matthias Klumpp.
by Clausen, Uwe [editor.] | Hompel, Michael ten [editor.] | Klumpp, Matthias [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / edited by Adrian-Horia Dediu, Carlos Mart�in-Vide, Jos�e-Luis Sierra-Rodr�iguez, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | Sierra-Rodr�iguez, Jos�e-Luis [editor.] | Truthe, Bianca [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
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.
by Muscholl, Anca [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
|
|
|
|
Static Analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / edited by Markus M�uller-Olm, Helmut Seidl.
by M�uller-Olm, Markus [editor.] | Seidl, Helmut [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
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.
by Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [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
|
|
|
|
Information Systems Security [electronic resource] : 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings / edited by Sushil Jajoda, Chandan Mazumdar.
by Jajoda, Sushil [editor.] | Mazumdar, Chandan [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
|
|
|
|
Flinovia - Flow Induced Noise and Vibration Issues and Aspects [electronic resource] : A Focus on Measurement, Modeling, Simulation and Reproduction of the Flow Excitation and Flow Induced Response / edited by Elena Ciappi, Sergio De Rosa, Francesco Franco, Jean-Louis Guyader, Stephen A. Hambric.
by Ciappi, Elena [editor.] | De Rosa, Sergio [editor.] | Franco, Francesco [editor.] | Guyader, Jean-Louis [editor.] | Hambric, Stephen A [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
|
|
|
|
Advances in Intelligent Systems and Applications - Volume 1 [electronic resource] : Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12-14, 2012 / edited by Ruay-Shiung Chang, Lakhmi C. Jain, Sheng-Lung Peng.
by Chang, Ruay-Shiung [editor.] | Jain, Lakhmi C [editor.] | Peng, Sheng-Lung [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
|
|
|
|
Computational Design of Rolling Bearings [electronic resource] / by Hung Nguyen-Sch�afer.
by Nguyen-Sch�afer, Hung [author.] | 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
|
|
|
|
Automatic Processing of Natural-Language Electronic Texts with NooJ [electronic resource] : 9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised Selected Papers / edited by Tatsiana Okrut, Yuras Hetsevich, Max Silberztein, Hanna Stanislavenka.
by Okrut, Tatsiana [editor.] | Hetsevich, Yuras [editor.] | Silberztein, Max [editor.] | Stanislavenka, Hanna [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
|
|
|
|
Wireless Network Security [electronic resource] : Theories and Applications / by Lei Chen, Jiahuang Ji, Zihong Zhang.
by Chen, Lei [author.] | Ji, Jiahuang [author.] | Zhang, Zihong [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
|
