Refine your search

Your search returned 205 results.

Sort
Results
Information and Software Technologies : 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings / edited by Giedre Dregvaite, Robertas Damasevicius

by SpringerLink (Online service) | Dregvaite, Giedre, editor literario | Damasevicius, Robertas, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA75.5 I546 2016 EB reference

History and Philosophy of Computing : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / edited by Fabio Gadducci, Mirko Tavosanis

by SpringerLink (Online service) | Gadducci, Fabio, editor literario | Tavosanis, Mirko, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA75.5 H578 2016 EB reference

Technologies and Innovation : Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings / edited by Rafael Valencia-García, Katty Lagos-Ortiz, Gema Alcaraz-Mármol, Javier del Cioppo, Nestor Vera-Lucio

by SpringerLink (Online service) | Valencia-García, Rafael, editor literario | Lagos-Ortiz, Katty, editor literario | Alcaraz-Mármol, Gema, editor literario | Del Cioppo, Javier, editor literario | Vera-Lucio, Nestor, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA75.5 T434 2016 EB reference

Working Around Disruptions of Network Infrastructures : Mobile Ad-Hoc Systems for Resilient Communication in Disasters / by Amro Al-Akkad

by Al-Akkad, Amro | SpringerLink (Online service).

Edition: 1st ed.Material type: bookE-book Publisher: Wiesbaden : Springer Fachmedien Wiesbaden Vieweg, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK5105.77 A435 2016 EB reference

Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs / by Vladimir Herdt

by Herdt, Vladimir | SpringerLink (Online service).

Edition: 1st ed.Material type: bookE-book Publisher: Wiesbaden : Springer Fachmedien Wiesbaden Vieweg, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.F67 H473 2016 EB reference

Variation Based Dense 3D Reconstruction : Application on Monocular Mini-Laparoscopic Sequences / by Sven Painer

by Painer, Sven | SpringerLink (Online service).

Edition: 1st ed.Material type: bookE-book Publisher: Wiesbaden : Springer Fachmedien Wiesbaden Vieweg, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) R857.T47 P356 2016 EB reference

Description and Selection of Communication Services for Service Oriented Network Architectures / by Rahamatullah Khondoker

by Khondoker, Rahamatullah | SpringerLink (Online service).

Material type: bookE-book Publisher: Wiesbaden : Springer Fachmedien Wiesbaden Vieweg, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.C643 K466 2016 EB reference

Analyzing Time Interval Data : Introducing an Information System for Time Interval Data Analysis / by Philipp Meisen

by Meisen, Philipp | SpringerLink (Online service).

Material type: bookE-book Publisher: Wiesbaden : Springer Fachmedien Wiesbaden Vieweg, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA402 .M457 2016 EB reference

Qualitáa dei sistemi e del software : Il prossimo passo per l�industrializzazione / by Martin Wieczorek, Diederik Vos, Heinz Bons

by SpringerLink (Online service) | Wieczorek, Martin | Vos, Diederik | Bons, Heinz.

Material type: bookE-book Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.S64 W54 2016 EB reference

Hybrid Soft Computing Approaches : Research and Applications / edited by Siddhartha Bhattacharyya, Paramartha Dutta, Susanta Chakraborty

by SpringerLink (Online service) | Bhattacharyya, Siddhartha, (1975-), editor literario | Dutta, Paramartha, editor literario | Chakraborty, Susanta, editor literario.

Edition: 1st ed.Material type: bookE-book Publisher: New Delhi : Springer India, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S63 H937 2016 EB reference

Transactions on Engineering Technologies : International MultiConference of Engineers and Computer Scientists 2015 / edited by Gi-Chul Yang, Sio-Iong Ao, Xu Huang, Oscar Castillo

by Yang, Gi-Chul, editor literario | Ao, Sio-Iong, editor literario | Huang, Xu, editor literario | Castillo, Oscar, editor literario.

Edition: 1st ed.Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA5 .T736 2016 EB reference

Information Science and Applications (ICISA) 2016 / edited by Kuinam J Kim, Nikolai Joukov

by Joukov, Nikolai, editor literario | Kim, Kuinam J, editor literario.

Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T58.5 2016 EB reference

Transactions on Engineering Technologies / edited by Sio-iong Ao, Gi-Chul Yang, Len Gelman

by Ao, Sio-Iong, editor literario | Yang, Gi-Chul, editor literario | Gelman, Len, editor literario.

Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA5 .T736 2016 EB reference

Mobile and Wireless Technologies 2016 / edited by Kuinam J Kim, Naruemon Wattanapongsakorn, Nikolai Joukov

by Kim, Kuinam J, editor literario | Wattanapongsakorn, Naruemon, editor literario | Joukov, Nikolai, editor literario.

Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK5103.2 M635 2016 EB reference

DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory / by Aruna Ravichandran, Kieran Taylor, Peter Waterhouse

by Ravichandran, Aruna | Taylor, Kieran | Waterhouse, Peter.

Material type: bookE-book Publisher: Berkeley, CA : Apress Imprint: Apress, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.D47 R385 2016 EB reference

Collaboration Meets Interactive Spaces / edited by Craig Anslow, Pedro Campos, Joaquim Jorge

by Anslow, Craig, editor literario | Campos, Pedro, editor literario | Jorge, Joaquim, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .U83 2016 EB reference

Internet of Things. IoT Infrastructures : Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / edited by Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagánová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov, Radu-Laurentiu Vieriu

by Mandler, Benny, editor literario | Mitre Campista, Miguel Elias, editor literario | Cagánová, Dagmar, editor literario | Chaouchi, Hakima, editor literario | Zeadally, Sherali, editor literario | Badra, Mohamad, editor literario | Giordano, Stefano, editor literario | Somov, Andrey, editor literario | Vieriu, Radu-Laurentiu, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.5915 2016 EB reference

Internet of Things. IoT Infrastructures : Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II / edited by Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagánová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov, Radu-Laurentiu Vieriu

by Mandler, Benny, editor literario | Mitre Campista, Miguel Elias, editor literario | Cagánová, Dagmar, editor literario | Chaouchi, Hakima, editor literario | Zeadally, Sherali, editor literario | Badra, Mohamad, editor literario | Giordano, Stefano, editor literario | Somov, Andrey, editor literario | Vieriu, Radu-Laurentiu, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.5915 2016 EB reference

Coordination of Complex Sociotechnical Systems : Self-organisation of Knowledge in MoK / by Stefano Mariani.

by Mariani, Stefano.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) Q325 .M375 2016 EB reference

Applied Computer Sciences in Engineering : Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers / edited by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, Roberto Ferro-Escobar

by Figueroa-García, Juan Carlos, editor literario | López-Santana, Eduyn Ramiro, editor literario | Ferro-Escobar, Roberto, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA75.5 2016 EB reference

Decision Procedures : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. 2016.Material type: bookE-book Publisher: Berlin, Heidelberg : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA279.4 K764 2016 EB reference

Internetware : A New Software Paradigm for Internet Computing / by Hong Mei, Jian Lü

by Mei, Hong, autor | Lü, Jian, autor.

Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK5105.875.I57 2016 EB reference

Requirements Engineering Toward Sustainable World : Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings / edited by Seok-Won Lee, Takako Nakatani

by Lee, Seok-Won, editor literario | Nakatani, Takako, editor literario.

Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.758 2016 EB reference

Software Engineering and Methodology for Emerging Domains : 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings / edited by Lu Zhang, Chang Xu

by Zhang, Lu, editor literario | Xu, Chang, editor literario.

Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.758 2016 EB reference

Software & Systems Modeling

Material type: serialE-journal; Type of continuing resource: periodical Publisher: Berlín : Springer, 2002-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.758 ES reference

Pages