|
|
|
Supercomputing [electronic resource] : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers / edited by Vladimir Voevodin, Sergey Sobolev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [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
|
|
|
|
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.
by Bernardo, Marco [editor.] | Johnsen, Einar Broch [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
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.
by Dastani, Mehdi [editor.] | Sirjani, Marjan [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
|
|
|
|
Object-Oriented Technology [electronic resource] / by Suad Alagić.
by Alagić, Suad [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
|
|
|
|
High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Dayd�e, Osni Marques, Kengo Nakajima.
by Dayd�e, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [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
|
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. M�uller.
by Rendell, Alistair P [editor.] | Chapman, Barbara M [editor.] | M�uller, Matthias S [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
|
|
|
|
Patterns of HCI Design and HCI Design of Patterns [electronic resource] : Bridging HCI Design and Model-Driven Software Engineering / by Ahmed Seffah.
by Seffah, Ahmed [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Macei�o, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Mart�i-Oliet.
by Braga, Christiano [editor.] | Mart�i-Oliet, Narciso [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.
by Lanese, Ivan [editor.] | Madelaine, Eric [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] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.
by Bertacco, Valeria [editor.] | Legay, Axel [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
|
|
|
|
Introduction to evolvable hardware : a practical guide for designing self-adaptive systems / Garrison W. Greenwood, Andrew M. Tyrrell.
by Greenwood, Garrison W [author.] | Tyrrell, Andy M | IEEE Xplore (Online service) [distributor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Piscataway, New Jersey : Wiley-IEEE Computer Society, c2007Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Programming with objects : a comparative presentation of object-oriented programming with C++ and Java / Avinash C. Kak.
by Kak, Avinash C [author.] | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : John Wiley, 2003Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Object-oriented simulation : reusability, adaptability, maintainability / edited by George W. Zobrist, James V. Leonard.
by Leonard, James V | Zobrist, George W. (George Winston), 1934- | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: New York : IEEE Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Embedded signal processing with the Micro Signal Architecture / Woon-Seng Gan, Sen M. Kuo.
by Gan, Woon-Seng [author.] | Kuo, Sen M. (Sen-Maw) | John Wiley & Sons [publisher.] | IEEE Xplore (Online Service) [distributor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Hoboken, New Jersey : Wiley-Interscience : c2007Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Digital signal processing and applications with the TMS320C6713 and TMS320C6416 DSK / Rulph Chassaing, Donald Reay.
by Chassaing, Rulph [author.] | Reay, Donald (Donald S.) | Chassaing, Rulph. Digital signal processing and applications with the C6713 and C6416 DSK | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.]. Edition: 2nd ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Hoboken, New Jersey : Wiley-Interscience, c2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, 2008Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Domain-specific modeling : enabling full code generation / Steven Kelly, Juha-Pekka Tolvanen.
by Kelly, Steven | Tolvanen, Juha-Pekka | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken [New Jersey] : Wiley, 2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Evolving intelligent systems : methodology and applications / Plamen Angelov, Dimitar P. Filev, Nik Kasabov.
by Kasabov, Nikola K | Filev, Dimitar P, 1959- | Angelov, Plamen | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : John Wiley, c2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Handbook of learning and approximate dynamic programming / [edited by] Jennie Si ... [et al.].
by Si, Jennie | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : IEEE Press, c2004Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Introduction to wireless localization : with iPhone SDK examples / Eddie C.L.Chan, George Baciu.
by Chan, Eddie C. L [author.] | Baciu, George, 1961- | IEEE Xplore (Online Service) [distributor.] | John Wiley & Sons [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : Wiley, 2012Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Optimization theory and related topics : [electronic resource] Israel mathematical conference proceedings, a workshop in memory of Dan Butnariu, January 11-14, 2010, Haifa, Israel / Simeon Reich, Alexander J. Zaslavski, editors.
by Butnariu, Dan | Reich, Simeon | Zaslavski, Alexander J. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, R.I. : Ramat Gan, Israel : American Mathematical Society ; Bar-Ilan University, c2012Online access: Contents | Contents Availability: No items available
|
