|
|
|
Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem.
by Biere, Armin [editor.] | Bloem, Roderick [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
|
|
|
|
Video over Cognitive Radio Networks [electronic resource] : When Quality of Service Meets Spectrum / by Shiwen Mao.
by Mao, Shiwen [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
|
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, Jos�e Gabriel de Figueiredo Coutinho, Pedro C. Diniz.
by Brisk, Philip [editor.] | Figueiredo Coutinho, Jos�e Gabriel de [editor.] | Diniz, Pedro C [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
|
|
|
|
Signals and Transforms in Linear Systems Analysis [electronic resource] / by Wasyl Wasylkiwskyj.
by Wasylkiwskyj, Wasyl [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Engineering Technologies [electronic resource] : Special Volume of the World Congress on Engineering 2013 / edited by Gi-Chul Yang, Sio-Iong Ao, Len Gelman.
by Yang, Gi-Chul [editor.] | Ao, Sio-Iong [editor.] | Gelman, Len [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Cognitive Infocommunications (CogInfoCom) [electronic resource] / by P�eter Baranyi, Adam Csapo, Gyula Sallai.
by Baranyi, P�eter [author.] | Csapo, Adam [author.] | Sallai, Gyula [author.] | 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
|
|
|
|
Description and Selection of Communication Services for Service Oriented Network Architectures [electronic resource] / by Rahamatullah Khondoker.
by Khondoker, Rahamatullah [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
IT Security Risk Management in the Context of Cloud Computing [electronic resource] : Towards an Understanding of the Key Role of Providers' IT Security Risk Perceptions / by Andr�e Loske.
by Loske, Andr�e [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
System-Level Design Methodologies for Telecommunication [electronic resource] / edited by Nicolas Sklavos, Michael H�ubner, Diana Goehringer, Paris Kitsos.
by Sklavos, Nicolas [editor.] | H�ubner, Michael [editor.] | Goehringer, Diana [editor.] | Kitsos, Paris [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
|
|
|
|
The GENI Book [electronic resource] / edited by Rick McGeer, Mark Berman, Chip Elliott, Robert Ricci.
by McGeer, Rick [editor.] | Berman, Mark [editor.] | Elliott, Chip [editor.] | Ricci, Robert [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
|
|
|
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe.
by Maciaszek, Leszek A [editor.] | Filipe, Joaquim [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
|
|
|
|
Dual Phase Evolution [electronic resource] / by David G. Green, Jing Liu, Hussein A. Abbass.
by Green, David G [author.] | Liu, Jing [author.] | Abbass, Hussein A [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
|
|
|
|
Language Processing and Intelligent Information Systems [electronic resource] : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / edited by Mieczys�aw A. K�opotek, Jacek Koronacki, Ma�gorzata Marciniak, Agnieszka Mykowiecka, S�awomir T. Wierzchoń.
by K�opotek, Mieczys�aw A [editor.] | Koronacki, Jacek [editor.] | Marciniak, Ma�gorzata [editor.] | Mykowiecka, Agnieszka [editor.] | Wierzchoń, S�awomir T [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
|
|
|
|
Capacity Analysis of Vehicular Communication Networks [electronic resource] / by Ning Lu, Xuemin (Sherman) Shen.
by Lu, Ning [author.] | Shen, Xuemin (Sherman) [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
|
|
|
|
Supercomputing [electronic resource] : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings / edited by Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer.
by Kunkel, Julian Martin [editor.] | Ludwig, Thomas [editor.] | Meuer, Hans 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
|
|
|
|
Information Security Theory and Practice [electronic resource] : 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings / edited by Raja Naeem Akram, Sushil Jajodia.
by Akram, Raja Naeem [editor.] | Jajodia, Sushil [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
|
|
|
|
Break-Glass [electronic resource] : Handling Exceptional Situations in Access Control / by Helmut Petritsch.
by Petritsch, Helmut [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, J�er�emie Guiochet, Friedemann Bitsch.
by Skavhaug, Amund [editor.] | Guiochet, J�er�emie [editor.] | Bitsch, Friedemann [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
|
|
|
|
MAC Protocols for Cyber-Physical Systems [electronic resource] / by Feng Xia, Azizur Rahim.
by Xia, Feng [author.] | Rahim, Azizur [author.] | 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
|
|
|
|
Information Security [electronic resource] : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / edited by Matt Bishop, Anderson C A Nascimento.
by Bishop, Matt [editor.] | Nascimento, Anderson C A [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
|
