|
|
|
NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier.
by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [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
|
|
|
|
Energy-Efficient High Performance Computing [electronic resource] : Measurement and Tuning / by James H. Laros III, Kevin Pedretti, Suzanne M. Kelly, Wei Shu, Kurt Ferreira, John Van Dyke, Courtenay Vaughan.
by Laros III, James H [author.] | Pedretti, Kevin [author.] | Kelly, Suzanne M [author.] | Shu, Wei [author.] | Ferreira, Kurt [author.] | Van Dyke, John [author.] | Vaughan, Courtenay [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings / edited by Abdelhamid Mellouk, Scott Fowler, Sa�id Hoceini, Boubaker Daachi.
by Mellouk, Abdelhamid [editor.] | Fowler, Scott [editor.] | Hoceini, Sa�id [editor.] | Daachi, Boubaker [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
|
|
|
|
Brain-Inspired Computing [electronic resource] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov.
by Amunts, Katrin [editor.] | Grandinetti, Lucio [editor.] | Lippert, Thomas [editor.] | Petkov, Nicolai [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
|
|
|
|
Smart Grid Security [electronic resource] : Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers / edited by Jorge Cuellar.
by Cuellar, Jorge [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
|
|
|
|
Euro-Par 2014 Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings / edited by Fernando Silva, In�es Dutra, V�itor Santos Costa.
by Silva, Fernando [editor.] | Dutra, In�es [editor.] | Santos Costa, V�itor [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
|
|
|
|
Internetware [electronic resource] : A New Software Paradigm for Internet Computing / by Hong Mei, Jian L�u.
by Mei, Hong [author.] | L�u, Jian [author.] | 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
|
|
|
|
Serialization and Persistent Objects [electronic resource] : Turning Data Structures into Efficient Databases / by Jiri Soukup, Petr Mach�aček.
by Soukup, Jiri [author.] | Mach�aček, Petr [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil.
by Park, James J. (Jong Hyuk) [editor.] | Arabnia, Hamid R [editor.] | Kim, Cheonshik [editor.] | Shi, Weisong [editor.] | Gil, Joon-Min [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
|
|
|
|
Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura.
by Agha, Gul [editor.] | Igarashi, Atsushi [editor.] | Kobayashi, Naoki [editor.] | Masuhara, Hidehiko [editor.] | Matsuoka, Satoshi [editor.] | Shibayama, Etsuya [editor.] | Taura, Kenjiro [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
|
|
|
|
In Memory Data Management and Analysis [electronic resource] : First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers / edited by Arun Jagatheesan, Justin Levandoski, Thomas Neumann, Andrew Pavlo.
by Jagatheesan, Arun [editor.] | Levandoski, Justin [editor.] | Neumann, Thomas [editor.] | Pavlo, Andrew [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
|
|
|
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
by Brat, Guillaume [editor.] | Rungta, Neha [editor.] | Venet, Arnaud [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
|
|
|
|
Architecture of Computing Systems - ARCS 2015 [electronic resource] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / edited by Lu�is Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte.
by Pinho, Lu�is Miguel Pinho [editor.] | Karl, Wolfgang [editor.] | Cohen, Albert [editor.] | Brinkschulte, Uwe [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
|
|
|
|
Distributed operating systems : concepts and design / Pradeep K. Sinha.
by Sinha, Pradeep K., (Pradeep Kumar) [author.] | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.]. Material type: Book; Format:
available online
Publisher: New York : IEEE Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Mastering Windows Server 2016 / Brian Svidergol, Vladimir Meloski, Byron Wright, Santos Martinez, Doug Bassett.
by Svidergol, Brian [author.] | Meloski, Vladimir [author.] | Wright, Byron [author.] | Martinez, Santos, 1982- [author.] | Bassett, Doug [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Indianapolis : Sybex, 2018Online access: Wiley Online Library Availability: No items available
|
|
|
|
Windows 10 Anniversary update bible / Rob Tidrow, Jim Boyce, Jeffrey R. Shapiro.
by Tidrow, Rob [author.] | Boyce, Jim, 1958- [author.] | Shapiro, Jeffrey R [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Indianapolis, IN : Wiley, 2017Online access: Wiley Online Library Availability: No items available
|
|
|
|
Exploring BeagleBone® : tools and techniques for building with embedded Linux / Derek Molloy.
by Molloy, Derek, 1973- [author.]. Edition: Second edition.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Indianapolis, IN : John Wiley & Sons, Inc., [2019]Online access: Wiley Online Library Availability: No items available
|
|
|
|
CompTIA Linux+ study guide : exam XK0-004 / Christine Bresnahan, Richard Blum.
by Bresnahan, Christine [author.] | Blum, Richard. Edition: Fourth edition.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Indianopolis, Indiana : John Wiley & Sons, Inc., [2019]Online access: Wiley Online Library Availability: No items available
|
|
|
|
Windows operating system fundamentals / Crystal Panek.
by Panek, Crystal [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Indianapolis, IN : Sybex, a Wiley Brand, [2020]Online access: Wiley Online Library Availability: No items available
|
|
|
|
Linux Bible [electronic resource] / Christopher Negus.
by Negus, Chris, 1957-. Edition: 10th ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Indianapolis : Wiley, 2020Online access: Wiley Online Library Availability: No items available
|
