|
|
|
Advances in Information Technology [electronic resource] : 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings / edited by Borworn Papasratorn, Nipon Charoenkitkarn, Vajirasak Vanijja, Vithida Chongsuphajaisiddhi.
by Papasratorn, Borworn [editor.] | Charoenkitkarn, Nipon [editor.] | Vanijja, Vajirasak [editor.] | Chongsuphajaisiddhi, Vithida [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
|
|
|
|
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
|
|
|
|
Cyber Defense and Situational Awareness [electronic resource] / edited by Alexander Kott, Cliff Wang, Robert F. Erbacher.
by Kott, Alexander [editor.] | Wang, Cliff [editor.] | Erbacher, Robert F [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings / edited by Umberto Straccia, Andrea Cal�i.
by Straccia, Umberto [editor.] | Cal�i, Andrea [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
|
|
|
|
Security and Privacy in Communication Networks [electronic resource] : 9th International ICST Conference, SecureComm 2013, Sydney, NSW, Australia, September 25-28, 2013, Revised Selected Papers / edited by Tanveer Zia, Albert Zomaya, Vijay Varadharajan, Morley Mao.
by Zia, Tanveer [editor.] | Zomaya, Albert [editor.] | Varadharajan, Vijay [editor.] | Mao, Morley [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
|
|
|
|
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
|
|
|
|
Ubiquitous Computing Application and Wireless Sensor [electronic resource] : UCAWSN-14 / edited by James J. (Jong Hyuk) Park, Yi Pan, Han-Chieh Chao, Gangman Yi.
by Park, James J. (Jong Hyuk) [editor.] | Pan, Yi [editor.] | Chao, Han-Chieh [editor.] | Yi, Gangman [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings / edited by Dieter Pfoser, Ki-Joune Li.
by Pfoser, Dieter [editor.] | Li, Ki-Joune [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
International Communities of Invention and Innovation [electronic resource] : IFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016, Revised Selected Papers / edited by Arthur Tatnall, Christopher Leslie.
by Tatnall, Arthur [editor.] | Leslie, Christopher [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
|
|
|
|
The Semantic Web [electronic resource] : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladenić, S�oren Auer, Christoph Lange.
by Sack, Harald [editor.] | Rizzo, Giuseppe [editor.] | Steinmetz, Nadine [editor.] | Mladenić, Dunja [editor.] | Auer, S�oren [editor.] | Lange, 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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Integration of Renewable Generation and Elastic Loads into Distribution Grids [electronic resource] / by Omid Ardakanian, S. Keshav, Catherine Rosenberg.
by Ardakanian, Omid [author.] | Keshav, S [author.] | Rosenberg, Catherine [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
|
|
|
|
Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems [electronic resource] : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014, Revised Selected Papers / edited by Igor Bisio.
by Bisio, Igor [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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / edited by Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider.
by Manulis, Mark [editor.] | Sadeghi, Ahmad-Reza [editor.] | Schneider, Steve [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
|
|
|
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, Ant�onio Ravara, Jan Martijn van der Werf, Matthias Weidlich.
by Hildebrandt, Thomas [editor.] | Ravara, Ant�onio [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / edited by David F. Gleich, J�ulia Komj�athy, Nelly Litvak.
by Gleich, David F [editor.] | Komj�athy, J�ulia [editor.] | Litvak, Nelly [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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 Proceedings / edited by Jos�e M. Puerta, Jos�e A. G�amez, Bernabe Dorronsoro, Edurne Barrenechea, Alicia Troncoso, Bruno Baruque, Mikel Galar.
by Puerta, Jos�e M [editor.] | G�amez, Jos�e A [editor.] | Dorronsoro, Bernabe [editor.] | Barrenechea, Edurne [editor.] | Troncoso, Alicia [editor.] | Baruque, Bruno [editor.] | Galar, Mikel [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
|
