|
|
|
Formal Techniques for Safety-Critical Systems [electronic resource] : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba �Olveczky.
by Artho, Cyrille [editor.] | �Olveczky, Peter Csaba [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
|
|
|
|
Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / edited by Jos�e Manuel Ferr�andez Vicente, Jos�e Ram�on �Alvarez-S�anchez, F�elix de la Paz L�opez, Fco. Javier Toledo-Moreo, Hojjat Adeli.
by Ferr�andez Vicente, Jos�e Manuel [editor.] | �Alvarez-S�anchez, Jos�e Ram�on [editor.] | de la Paz L�opez, F�elix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [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
|
|
|
|
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability [electronic resource] : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers / edited by Theodor Wyeld, Paul Calder, Haifeng Shen.
by Wyeld, Theodor [editor.] | Calder, Paul [editor.] | Shen, Haifeng [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
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings / edited by Anthony Bonato, Fan Chung Graham, Pawe� Pra�at.
by Bonato, Anthony [editor.] | Graham, Fan Chung [editor.] | Pra�at, Pawe� [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
|
|
|
|
Algorithms and Discrete Applied Mathematics [electronic resource] : First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / edited by Sumit Ganguly, Ramesh Krishnamurti.
by Ganguly, Sumit [editor.] | Krishnamurti, Ramesh [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
|
|
|
|
Directed Algebraic Topology and Concurrency [electronic resource] / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen.
by Fajstrup, Lisbeth [author.] | Goubault, Eric [author.] | Haucourt, Emmanuel [author.] | Mimram, Samuel [author.] | Raussen, Martin [author.] | 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
|
|
|
|
Guide to DataFlow Supercomputing [electronic resource] : Basic Concepts, Case Studies, and a Detailed Example / by Veljko Milutinović, Jakob Salom, Nemanja Trifunovic, Roberto Giorgi.
by Milutinović, Veljko [author.] | Salom, Jakob [author.] | Trifunovic, Nemanja [author.] | Giorgi, Roberto [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
|
|
|
|
UML @ Classroom [electronic resource] : An Introduction to Object-Oriented Modeling / by Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel.
by Seidl, Martina [author.] | Scholz, Marion [author.] | Huemer, Christian [author.] | Kappel, Gerti [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
|
|
|
|
S-BPM ONE - Application Studies and Work in Progress [electronic resource] : 6th International Conference, S-BPM ONE 2014, Eichst�att, Germany, April 22-23, 2014. Proceedings / edited by Cornelia Zehbold.
by Zehbold, Cornelia [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
|
|
|
|
High-Performance Computing on the Intel� Xeon Phi™ [electronic resource] : How to Fully Exploit MIC Architectures / by Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, Yajuan Wang.
by Wang, Endong [author.] | Zhang, Qing [author.] | Shen, Bo [author.] | Zhang, Guangyong [author.] | Lu, Xiaowei [author.] | Wu, Qing [author.] | Wang, Yajuan [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
|
|
|
|
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by St�ephane Demri, Deepak Kapur, Christoph Weidenbach.
by Demri, St�ephane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [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
|
|
|
|
User Modeling, Adaptation, and Personalization [electronic resource] : 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings / edited by Vania Dimitrova, Tsvi Kuflik, David Chin, Francesco Ricci, Peter Dolog, Geert-Jan Houben.
by Dimitrova, Vania [editor.] | Kuflik, Tsvi [editor.] | Chin, David [editor.] | Ricci, Francesco [editor.] | Dolog, Peter [editor.] | Houben, Geert-Jan [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
|
|
|
|
Decision Support Systems III - Impact of Decision Support Systems for Global Environments [electronic resource] : Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers / edited by F�atima Dargam, Jorge E. Hern�andez, Pascale Zarat�e, Shaofeng Liu, Rita Ribeiro, Boris Delibašić, Jason Papathanasiou.
by Dargam, F�atima [editor.] | Hern�andez, Jorge E [editor.] | Zarat�e, Pascale [editor.] | Liu, Shaofeng [editor.] | Ribeiro, Rita [editor.] | Delibašić, Boris [editor.] | Papathanasiou, Jason [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
|
|
|
|
Software Engineering Education for a Global E-Service Economy [electronic resource] : State of the Art, Trends and Developments / edited by Gianmario Motta, Bing Wu.
by Motta, Gianmario [editor.] | Wu, Bing [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
|
|
|
|
Fusion in Computer Vision [electronic resource] : Understanding Complex Visual Content / edited by Bogdan Ionescu, Jenny Benois-Pineau, Tomas Piatrik, Georges Qu�enot.
by Ionescu, Bogdan [editor.] | Benois-Pineau, Jenny [editor.] | Piatrik, Tomas [editor.] | Qu�enot, Georges [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
|
|
|
|
AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Stephen Cranefield, Abhaya Nayak.
by Cranefield, Stephen [editor.] | Nayak, Abhaya [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
|
|
|
|
Intelligent Information Processing VIII [electronic resource] : 9th IFIP TC 12 International Conference, IIP 2016, Melbourne, VIC, Australia, November 18-21, 2016, Proceedings / edited by Zhongzhi Shi, Sunil Vadera, Gang Li.
by Shi, Zhongzhi [editor.] | Vadera, Sunil [editor.] | Li, Gang [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 and Principled Methods for the Design of Metaheuristics [electronic resource] / edited by Yossi Borenstein, Alberto Moraglio.
by Borenstein, Yossi [editor.] | Moraglio, Alberto [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
|
|
|
|
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk.
by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric Van [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
|
|
|
|
String Processing and Information Retrieval [electronic resource] : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings / edited by Oren Kurland, Moshe Lewenstein, Ely Porat.
by Kurland, Oren [editor.] | Lewenstein, Moshe [editor.] | Porat, Ely [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
|
