|
|
|
Computers Helping People with Special Needs [electronic resource] : 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II / edited by Klaus Miesenberger, Deborah Fels, Dominique Archambault, Petr Peň�az, Wolfgang Zagler.
by Miesenberger, Klaus [editor.] | Fels, Deborah [editor.] | Archambault, Dominique [editor.] | Peň�az, Petr [editor.] | Zagler, Wolfgang [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
|
|
|
|
S-BPM ONE - Scientific Research [electronic resource] : 6th International Conference, S-BPM ONE 2014, Eichst�att, Germany, April 22-23, 2014. Proceedings / edited by Alexandros Nanopoulos, Werner Schmidt.
by Nanopoulos, Alexandros [editor.] | Schmidt, Werner [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
|
|
|
|
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.
by Gurfinkel, Arie [editor.] | Seshia, Sanjit A [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Fr�ed�eric Lang, Francesco Flammini.
by Lang, Fr�ed�eric [editor.] | Flammini, Francesco [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
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.
by Liu, Shaoying [editor.] | Duan, Zhenhua [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
|
|
|
|
Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / edited by Bhaskar Krishnamachari, Amy L. Murphy, Niki Trigoni.
by Krishnamachari, Bhaskar [editor.] | Murphy, Amy L [editor.] | Trigoni, Niki [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
|
|
|
|
Green in Software Engineering [electronic resource] / edited by Coral Calero, Mario Piattini.
by Calero, Coral [editor.] | Piattini, Mario [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
|
|
|
|
Innovative Technologies in Urban Mapping [electronic resource] : Built Space and Mental Space / edited by Antonella Contin, Paolo Paolini, Rossella Salerno.
by Contin, Antonella [editor.] | Paolini, Paolo [editor.] | Salerno, Rossella [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 with Python [electronic resource] / by T R Padmanabhan.
by Padmanabhan, T R [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
|
|
|
|
Social Media Processing [electronic resource] : 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings / edited by Xichun Zhang, Maosong Sun, Zhenyu Wang, Xuanjing Huang.
by Zhang, Xichun [editor.] | Sun, Maosong [editor.] | Wang, Zhenyu [editor.] | Huang, Xuanjing [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings / edited by Claire Le Goues, Shin Yoo.
by Goues, Claire Le [editor.] | Yoo, Shin [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
|
|
|
|
Rules on the Web. From Theory to Applications [electronic resource] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings / edited by Antonis Bikakis, Paul Fodor, Dumitru Roman.
by Bikakis, Antonis [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [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
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings / edited by Davide Di Ruscio, D�aniel Varr�o.
by Ruscio, Davide Di [editor.] | Varr�o, D�aniel [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
|
|
|
|
Computer Assisted Assessment. Research into E-Assessment [electronic resource] : International Conference, CAA 2014, Zeist, The Netherlands, June 30 - July 1, 2014. Proceedings / edited by Marco Kalz, Eric Ras.
by Kalz, Marco [editor.] | Ras, Eric [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
|
|
|
|
Process Analytics [electronic resource] : Concepts and Techniques for Querying and Analyzing Process Data / by Seyed-Mehdi-Reza Beheshti, Boualem Benatallah, Sherif Sakr, Daniela Grigori, Hamid Reza Motahari-Nezhad, Moshe Chai Barukh, Ahmed Gater, Seung Hwan Ryu.
by Beheshti, Seyed-Mehdi-Reza [author.] | Benatallah, Boualem [author.] | Sakr, Sherif [author.] | Grigori, Daniela [author.] | Motahari-Nezhad, Hamid Reza [author.] | Barukh, Moshe Chai [author.] | Gater, Ahmed [author.] | Ryu, Seung Hwan [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
|
|
|
|
Web Engineering [electronic resource] : 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014. Proceedings / edited by Sven Casteleyn, Gustavo Rossi, Marco Winckler.
by Casteleyn, Sven [editor.] | Rossi, Gustavo [editor.] | Winckler, Marco [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
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, C�aceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Mart�in-Vide, Bianca Truthe, Miguel A. Vega-Rodr�iguez.
by Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | Vega-Rodr�iguez, Miguel A [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
|
|
|
|
Distributed Computing [electronic resource] : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings / edited by Yoram Moses.
by Moses, Yoram [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Computational Logistics [electronic resource] : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / edited by Ana Paias, Mario Ruthmair, Stefan Vo�.
by Paias, Ana [editor.] | Ruthmair, Mario [editor.] | Vo�, Stefan [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
|
|
|
|
Soft City Culture and Technology [electronic resource] : The Betaville Project / by Carl Skelton.
by Skelton, Carl [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
|
