|
|
|
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes.
by Barnes, John [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
|
|
|
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann.
by Beek, Maurice H. ter [editor.] | Lohmann, Niels [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
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos.
by Nicosia, Giuseppe [editor.] | Pardalos, Panos [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
|
|
|
|
Break-Glass [electronic resource] : Handling Exceptional Situations in Access Control / by Helmut Petritsch.
by Petritsch, Helmut [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer and Information Science [electronic resource] / edited by Roger Lee.
by Lee, Roger [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
|
|
|
|
Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, V�aster�as, Sweden, September 15-16, 2014. Proceedings / edited by Beno�it Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju.
by Combemale, Beno�it [editor.] | Pearce, David J [editor.] | Barais, Olivier [editor.] | Vinju, Jurgen J [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
|
|
|
|
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt L�owe.
by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | L�owe, Benedikt [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
|
|
|
|
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Pe�na.
by Loidl, Hans-Wolfgang [editor.] | Pe�na, Ricardo [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
|
|
|
|
Using Microsoft Dynamics AX 2012 [electronic resource] : Updated for Version R3 / by Andreas Luszczak.
by Luszczak, Andreas [author.] | SpringerLink (Online service). Edition: 4th ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Proceedings of the 2012 International Conference on Cybernetics and Informatics [electronic resource] / edited by Shaobo Zhong.
by Zhong, Shaobo [editor.] | 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
|
|
|
|
Network and System Security [electronic resource] : 10th International Conference, NSS 2016, Taipei, Taiwan, September 28-30, 2016, Proceedings / edited by Jiageng Chen, Vincenzo Piuri, Chunhua Su, Moti Yung.
by Chen, Jiageng [editor.] | Piuri, Vincenzo [editor.] | Su, Chunhua [editor.] | Yung, Moti [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
|
|
|
|
Communication and Control for Networked Complex Systems [electronic resource] / by Chen Peng, Dong Yue, Qing-Long Han.
by Peng, Chen [author.] | Yue, Dong [author.] | Han, Qing-Long [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Human Aspects of IT for the Aged Population. Design for Aging [electronic resource] : Second International Conference, ITAP 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / edited by Jia Zhou, Gavriel Salvendy.
by Zhou, Jia [editor.] | Salvendy, Gavriel [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
|
|
|
|
Theory of Cryptography [electronic resource] : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings / edited by Amit Sahai.
by Sahai, Amit [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
|
|
|
|
Transactions on Aspect-Oriented Software Development XI [electronic resource] / edited by Shigeru Chiba, �Eric Tanter, Eric Bodden, Shahar Maoz, J�org Kienzle.
by Chiba, Shigeru [editor.] | Tanter, �Eric [editor.] | Bodden, Eric [editor.] | Maoz, Shahar [editor.] | Kienzle, J�org [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
|
|
|
|
Working Around Disruptions of Network Infrastructures [electronic resource] : Mobile Ad-Hoc Systems for Resilient Communication in Disasters / by Amro Al-Akkad.
by Al-Akkad, Amro [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [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
|
|
|
|
Resilient Wireless Sensor Networks [electronic resource] : The Case of Network Coding / by Osameh Al-Kofahi, Ahmed E. Kamal.
by Al-Kofahi, Osameh [author.] | Kamal, Ahmed E [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.
by Groves, Lindsay [editor.] | Sun, Jing [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
|
|
|
|
Pattern Recognition and Machine Intelligence [electronic resource] : 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings / edited by Pradipta Maji, Ashish Ghosh, M. Narasimha Murty, Kuntal Ghosh, Sankar K. Pal.
by Maji, Pradipta [editor.] | Ghosh, Ashish [editor.] | Murty, M. Narasimha [editor.] | Ghosh, Kuntal [editor.] | Pal, Sankar 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
|
