|
|
|
HCI International 2016 - Posters' Extended Abstracts [electronic resource] : 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016 Proceedings, Part II / edited by Constantine Stephanidis.
by Stephanidis, Constantine [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
|
|
|
|
Biometric Authentication [electronic resource] : First International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014. Revised Selected Papers / edited by Virginio Cantoni, Dimo Dimov, Massimo Tistarelli.
by Cantoni, Virginio [editor.] | Dimov, Dimo [editor.] | Tistarelli, Massimo [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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / edited by Eran Yahav.
by Yahav, Eran [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
|
|
|
|
From Requirements to Java in a Snap [electronic resource] : Model-Driven Requirements Engineering in Practice / by Micha� Śmia�ek, Wiktor Nowakowski.
by Śmia�ek, Micha� [author.] | Nowakowski, Wiktor [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
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings / edited by Robert Buchmann, Claudiu Vasile Kifor, Jian Yu.
by Buchmann, Robert [editor.] | Kifor, Claudiu Vasile [editor.] | Yu, Jian [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
|
|
|
|
A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Mikhail Kovalev, Silvia M. M�uller, Wolfgang J. Paul.
by Kovalev, Mikhail [author.] | M�uller, Silvia M [author.] | Paul, Wolfgang J [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
|
|
|
|
Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / edited by Jo�el Ouaknine, Igor Potapov, James Worrell.
by Ouaknine, Jo�el [editor.] | Potapov, Igor [editor.] | Worrell, James [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 Architectures for Parallel Processing [electronic resource] : ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Victor Gergel, Vladimir Voevodin, Iosif Meyerov, Juan A. Rico-Gallego, Juan C. D�iaz-Mart�in, Pedro Alonso, Juan Durillo, Jos�e Daniel Garcia S�anchez, Alexey L. Lastovetsky, Fabrizio Marozzo, Qin Liu, Zakirul Alam Bhuiyan, Karl F�urlinger, Josef Weidendorfer, Jos�e Gracia.
by Carretero, Jesus [editor.] | Garcia-Blas, Javier [editor.] | Gergel, Victor [editor.] | Voevodin, Vladimir [editor.] | Meyerov, Iosif [editor.] | Rico-Gallego, Juan A [editor.] | D�iaz-Mart�in, Juan C [editor.] | Alonso, Pedro [editor.] | Durillo, Juan [editor.] | Garcia S�anchez, Jos�e Daniel [editor.] | Lastovetsky, Alexey L [editor.] | Marozzo, Fabrizio [editor.] | Liu, Qin [editor.] | Bhuiyan, Zakirul Alam [editor.] | F�urlinger, Karl [editor.] | Weidendorfer, Josef [editor.] | Gracia, Jos�e [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
|
|
|
|
Model Design and Simulation Analysis [electronic resource] : 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers / edited by Syng Yup Ohn, Sung Do Chi.
by Ohn, Syng Yup [editor.] | Chi, Sung Do [editor.] | 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
|
|
|
|
Information Technology for Management [electronic resource] : Federated Conference on Computer Science and Information Systems, ISM 2015 and AITM 2015, Lodz, Poland, September 2015, Revised Selected Papers / edited by Ewa Ziemba.
by Ziemba, Ewa [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
|
|
|
|
Measurement Methodology and Tools [electronic resource] : First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers / edited by Llu�is F�abrega, Pere Vil�a, Davide Careglio, Dimitri Papadimitriou.
by F�abrega, Llu�is [editor.] | Vil�a, Pere [editor.] | Careglio, Davide [editor.] | Papadimitriou, Dimitri [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
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimar�aes, Portugal, March 29 --April 1, 2015. Proceedings, Part I / edited by Ant�onio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello.
by Gaspar-Cunha, Ant�onio [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [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
|
|
|
|
Collaborative Systems for Reindustrialization [electronic resource] : 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 - October 2, 2013, Proceedings / edited by Luis M. Camarinha-Matos, Raimar J. Scherer.
by Camarinha-Matos, Luis M [editor.] | Scherer, Raimar J [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
|
|
|
|
Beyond Interpretivism? New Encounters with Technology and Organization [electronic resource] : IFIP WG 8.2 Working Conference on Information Systems and Organizations, IS&O 2016, Dublin, Ireland, December 9-10, 2016, Proceedings / edited by Lucas Introna, Donncha Kavanagh, S�eamas Kelly, Wanda Orlikowski, Susan Scott.
by Introna, Lucas [editor.] | Kavanagh, Donncha [editor.] | Kelly, S�eamas [editor.] | Orlikowski, Wanda [editor.] | Scott, Susan [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
|
|
|
|
Business Process Management [electronic resource] : 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings / edited by Shazia Sadiq, Pnina Soffer, Hagen V�olzer.
by Sadiq, Shazia [editor.] | Soffer, Pnina [editor.] | V�olzer, Hagen [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
|
|
|
|
Technological Innovation for Cloud-Based Engineering Systems [electronic resource] : 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings / edited by Luis M. Camarinha-Matos, Thais A. Baldissera, Giovanni Di Orio, Francisco Marques.
by Camarinha-Matos, Luis M [editor.] | Baldissera, Thais A [editor.] | Di Orio, Giovanni [editor.] | Marques, Francisco [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
|
|
|
|
Collaboration in a Hyperconnected World [electronic resource] : 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings / edited by Hamideh Afsarmanesh, Luis M. Camarinha-Matos, Ant�onio Lucas Soares.
by Afsarmanesh, Hamideh [editor.] | Camarinha-Matos, Luis M [editor.] | Lucas Soares, Ant�onio [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
|
|
|
|
Deontic Logic and Normative Systems [electronic resource] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent.
by Cariani, Fabrizio [editor.] | Grossi, Davide [editor.] | Meheus, Joke [editor.] | Parent, Xavier [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
|
|
|
|
Information Processing in Computer-Assisted Interventions [electronic resource] : 5th International Conference, IPCAI 2014, Fukuoka, Japan, June 28, 2014. Proceedings / edited by Danail Stoyanov, D. Louis Collins, Ichiro Sakuma, Purang Abolmaesumi, Pierre Jannin.
by Stoyanov, Danail [editor.] | Collins, D. Louis [editor.] | Sakuma, Ichiro [editor.] | Abolmaesumi, Purang [editor.] | Jannin, Pierre [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
|
|
|
|
Conformance Checking and Diagnosis in Process Mining [electronic resource] : Comparing Observed and Modeled Processes / by Jorge Munoz-Gama.
by Munoz-Gama, Jorge [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
|
