Your search returned 2403 results. Subscribe to this search

|
Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction [electronic resource] : Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers / edited by Ronald B�ock, Francesca Bonin, Nick Campbell, Ronald Poppe.

by B�ock, Ronald [editor.] | Bonin, Francesca [editor.] | Campbell, Nick [editor.] | Poppe, Ronald [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Distributed Simulation [electronic resource] : A Model Driven Engineering Approach / by Okan Top�cu, Umut Durak, Halit Oğuzt�uz�un, Levent Yilmaz.

by Top�cu, Okan [author.] | Durak, Umut [author.] | Oğuzt�uz�un, Halit [author.] | Yilmaz, Levent [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Image and Signal Processing [electronic resource] : 7th International Conference, ICISP 2016, Trois-Rivi�eres, QC, Canada, May 30 - June 1, 2016, Proceedings / edited by Alamin Mansouri, Fathallah Nouboud, Alain Chalifour, Driss Mammass, Jean Meunier, Abderrahim Elmoataz.

by Mansouri, Alamin [editor.] | Nouboud, Fathallah [editor.] | Chalifour, Alain [editor.] | Mammass, Driss [editor.] | Meunier, Jean [editor.] | Elmoataz, Abderrahim [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Communication Technologies for Vehicles [electronic resource] : 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebasti�an, Spain, June 6-7, 2016, Proceedings / edited by Jaizki Mendizabal, Marion Berbineau, Alexey Vinel, Stephan Pfletschinger, Herv�e Bonneville, Alain Pirovano, Simon Plass, Riccardo Scopigno, Hasnaa Aniss.

by Mendizabal, Jaizki [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Pfletschinger, Stephan [editor.] | Bonneville, Herv�e [editor.] | Pirovano, Alain [editor.] | Plass, Simon [editor.] | Scopigno, Riccardo [editor.] | Aniss, Hasnaa [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Evolutionary Computation in Combinatorial Optimization [electronic resource] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Gabriela Ochoa, Francisco Chicano.

by Ochoa, Gabriela [editor.] | Chicano, Francisco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Handbook of Science and Technology Convergence [electronic resource] / edited by William Sims Bainbridge, Mihail C. Roco.

by Bainbridge, William Sims [editor.] | Roco, Mihail C [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Quantum Computing Explained.

by McMahon, David [author.] | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.] | Ebooks Corporation.

Material type: book Book; Format: available online remote Publisher: Hoboken [New Jersey] : John Wiley & Sons, Inc.,2008. Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2011]Online access: Abstract with links to resource Availability: No items available

Nonvolatile memory technologies with emphasis on Flash : a comprehensive guide to understanding and using NVM devices / edited by Joe E. Brewer, Manzur Gill.

by Brewer, Joe (Joe E.) | Gill, Manzur | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Piscataway, New Jersey : IEEE Press, c2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, 2008Online access: Abstract with links to resource Availability: No items available

Ethics and computing : living responsibly in a computerized world / edited by Kevin W. Bowyer.

by Bowyer, Kevin, 1955- | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Edition: 2nd ed.Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: New York : IEEE Press, c2001Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg..

by Gregg, John [author.] | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: New York : IEEE Press, c1998Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1998]Online access: Abstract with links to resource Availability: No items available

High performance mass storage and parallel I/O : technologies and applications / edited by Hai Jin, Toni Cortes, Rajkumar Buyya..

by Buyya, Rajkumar, 1970- | Jin, Hai | Cortes, Toni | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Piscataway, New Jersey : IEEE Press, c2002Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2001]Online access: Abstract with links to resource Availability: No items available

Concurrent and distributed computing in Java / Vijay K. Garg.

by Garg, Vijay K. (Vijay Kumar), 1963- | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote Publisher: [Piscataway, New Jersey?] : IEEE Press, c2004Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2005]Online access: Abstract with links to resource Availability: No items available

Digital system clocking : high performance and low-power aspects / Vojin G. Oklobdzija ... [et al.].

by Oklobdzija, Vojin G | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote Publisher: New York : IEEE, c2003Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2005]Online 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 Book; Format: available online remote Publisher: Hoboken [New Jersey] : Wiley, 2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available

Too soon to tell : essays for the end of the computer revolution / David Alan Grier.

by Grier, David Alan, 1955- | IEEE Xplore (Online Service) [distributor.] | John Wiley & Sons [publisher.].

Material type: book Book; Format: available online remote Publisher: Hoboken, New Jersey : $bWiley, c2009Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available

Tutorial on hardware and software reliability, maintainability, and availability / Norman Schneidewind.

by Schneidewind, Norman [author.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote Publisher: New York : Standards Information Network IEEE Press, c2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available