|
|
|
Exploring Services Science [electronic resource] : 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings / edited by Jo�ao Falc�ao e Cunha, Mehdi Snene, Henriqueta N�ovoa.
by Falc�ao e Cunha, Jo�ao [editor.] | Snene, Mehdi [editor.] | N�ovoa, Henriqueta [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
|
|
|
|
Software Measurement [electronic resource] : 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krak�ow, Poland, October 5-7, 2015, Proceedings / edited by Andrzej Kobyliński, Beata Czarnacka-Chrobot, Jaroslaw Świerczek.
by Kobyliński, Andrzej [editor.] | Czarnacka-Chrobot, Beata [editor.] | Świerczek, Jaroslaw [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
|
|
|
|
Business Modeling and Software Design [electronic resource] : Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers / edited by Boris Shishkov.
by Shishkov, Boris [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
|
|
|
|
Exploring Services Science [electronic resource] : 5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014. Proceedings / edited by Mehdi Snene, Michel Leonard.
by Snene, Mehdi [editor.] | Leonard, Michel [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
|
|
|
|
Business Modeling and Software Design [electronic resource] : 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers / edited by Boris Shishkov.
by Shishkov, Boris [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
|
|
|
|
Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation [electronic resource] : XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers / edited by Torgeir Dings�yr, Nils Brede Moe, Roberto Tonelli, Steve Counsell, Cigdem Gencel, Kai Petersen.
by Dings�yr, Torgeir [editor.] | Moe, Nils Brede [editor.] | Tonelli, Roberto [editor.] | Counsell, Steve [editor.] | Gencel, Cigdem [editor.] | Petersen, Kai [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fr�anzle, Nicolas Markey.
by Fr�anzle, Martin [editor.] | Markey, Nicolas [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
|
|
|
|
Process-Aware Systems [electronic resource] : First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedings / edited by Jian Cao, Lijie Wen, Xiao Liu.
by Cao, Jian [editor.] | Wen, Lijie [editor.] | Liu, Xiao [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Stakeholders and Information Technology in Education [electronic resource] : IFIP TC 3 International Conference, SaITE 2016, Guimar�aes, Portugal, July 5-8, 2016, Revised Selected Papers / edited by Torsten Brinda, Nicholas Mavengere, Ilkka Haukij�arvi, Cathy Lewin, Don Passey.
by Brinda, Torsten [editor.] | Mavengere, Nicholas [editor.] | Haukij�arvi, Ilkka [editor.] | Lewin, Cathy [editor.] | Passey, Don [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
|
|
|
|
Advances in Production Management Systems. Initiatives for a Sustainable World [electronic resource] : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers / edited by Irenilza N�a�as, Oduvaldo Vendrametto, Jo�ao Mendes Reis, Rodrigo Franco Gon�calves, M�arcia Terra Silva, Gregor von Cieminski, Dimitris Kiritsis.
by N�a�as, Irenilza [editor.] | Vendrametto, Oduvaldo [editor.] | Mendes Reis, Jo�ao [editor.] | Gon�calves, Rodrigo Franco [editor.] | Silva, M�arcia Terra [editor.] | von Cieminski, Gregor [editor.] | Kiritsis, Dimitris [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / edited by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen.
by Gao, Guang R [editor.] | Qian, Depei [editor.] | Gao, Xinbo [editor.] | Chapman, Barbara [editor.] | Chen, Wenguang [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
|
|
|
|
Adaptive Resource Management and Scheduling for Cloud Computing [electronic resource] : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebasti�an, Spain, July 20, 2015, Revised Selected Papers / edited by Florin Pop, Maria Potop-Butucaru.
by Pop, Florin [editor.] | Potop-Butucaru, Maria [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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu.
by Brodman, James [editor.] | Tu, Peng [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
|
|
|
|
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
|
|
|
|
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
|
