|
|
|
Digital System Verification [electronic resource] : A Combined Formal Methods and Simulation Framework / by Lun Li, Mitchel Thornton.
by Li, Lun [author.] | Thornton, Mitchel [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Information Access Evaluation -- Multilinguality, Multimodality, and Interaction [electronic resource] : 5th International Conference of the CLEF Initiative, CLEF 2014, Sheffield, UK, September 15-18, 2014, Proceedings / edited by Evangelos Kanoulas, Mihai Lupu, Paul Clough, Mark Sanderson, Mark Hall, Allan Hanbury, Elaine Toms.
by Kanoulas, Evangelos [editor.] | Lupu, Mihai [editor.] | Clough, Paul [editor.] | Sanderson, Mark [editor.] | Hall, Mark [editor.] | Hanbury, Allan [editor.] | Toms, Elaine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Embedded System Design with the Atmel AVR Microcontroller II [electronic resource] / by Steven Barrett.
by Barrett, Steven [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Systems Interfacing for Engineers using the Freescale HCS08 Microcontroller I [electronic resource] : Machine Language Programming / by Douglas Summerville.
by Summerville, Douglas [author.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networking [electronic resource] : 13th International Conference, NEW2AN 2013, and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy.
by Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
An Introduction to Logic Circuit Testing [electronic resource] / by Parag K. Lala.
by Lala, Parag K [author.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.
by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Pragmatic Power [electronic resource] / by William Eccles.
by Eccles, William [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Electronic Government [electronic resource] : 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012, Proceedings / edited by Hans Jochen Scholl, Marijn Janssen, Maria A. Wimmer, Carl Eric Moe, Leif Skiftenes Flak.
by Scholl, Hans Jochen [editor.] | Janssen, Marijn [editor.] | Wimmer, Maria A [editor.] | Moe, Carl Eric [editor.] | Flak, Leif Skiftenes [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Multiple-Valued Logic [electronic resource] : Concepts and Representations / by D. Michael Miller, Mitchell A. Thornton.
by Miller, D. Michael [author.] | Thornton, Mitchell A [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Business System Management and Engineering [electronic resource] : From Open Issues to Applications / edited by Claudio Agostino Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin.
by Ardagna, Claudio Agostino [editor.] | Damiani, Ernesto [editor.] | Maciaszek, Leszek A [editor.] | Missikoff, Michele [editor.] | Parkin, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Finite State Machine Datapath Design, Optimization, and Implementation [electronic resource] / by Justin Davis, Robert Reese.
by Davis, Justin [author.] | Reese, Robert [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Human Factors in Computing and Informatics [electronic resource] : First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings / edited by Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaz Debevc.
by Holzinger, Andreas [editor.] | Ziefle, Martina [editor.] | Hitz, Martin [editor.] | Debevc, Matjaz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Pragmatic Logic [electronic resource] / by William J. Eccles.
by Eccles, William J [author.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Genetic Programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings / edited by Krzysztof Krawiec, Alberto Moraglio, Ting Hu, A. Sima Etaner-Uyar, Bin Hu.
by Krawiec, Krzysztof [editor.] | Moraglio, Alberto [editor.] | Hu, Ting [editor.] | Etaner-Uyar, A. Sima [editor.] | Hu, Bin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Arduino III [electronic resource] : Internet of Things / by Steven F. Barrett.
by Barrett, Steven F [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications [electronic resource] : First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers / edited by Igor Paprotny, Sarah Bergbreiter.
by Paprotny, Igor [editor.] | Bergbreiter, Sarah [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Arduino I [electronic resource] : Getting Started / by Steven F. Barrett.
by Barrett, Steven F [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Microchip AVR® Microcontroller Primer [electronic resource] : Programming and Interfacing, Third Edition / by Steven F. Barrett, Daniel J. Pack.
by Barrett, Steven F [author.] | Pack, Daniel J [author.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Artificial Intelligence - SBIA 2012 [electronic resource] : 21st Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012, Proceedings / edited by Leliane N. Barros, Marcelo Finger, Aurora T.R. Pozo, Gustavo Alberto Giménez Lugo, Marcos Castilho.
by Barros, Leliane N [editor.] | Finger, Marcelo [editor.] | Pozo, Aurora T.R [editor.] | Giménez Lugo, Gustavo Alberto [editor.] | Castilho, Marcos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
