Results
|
181.
|
|
|
182.
|
|
|
183.
|
|
|
184.
|
|
|
185.
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
- Qadeer, Shaz [editor.]
- Tasiran, Serdar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
186.
|
Advances in Computing, Communication, and Control [electronic resource] : Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings / edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir. by
- Unnikrishnan, Srija [editor.]
- Surve, Sunil [editor.]
- Bhoir, Deepak [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 361
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
187.
|
Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal. by
- Kirchner, Matthias [editor.]
- Ghosal, Dipak [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7692
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
188.
|
Intelligent Science and Intelligent Data Engineering [electronic resource] : Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers / edited by Jian Yang, Fang Fang, Changyin Sun. by
- Yang, Jian [editor.]
- Fang, Fang [editor.]
- Sun, Changyin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7751
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
189.
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Leonardo Vanneschi, William S. Bush, Mario Giacobini. by
- Vanneschi, Leonardo [editor.]
- Bush, William S [editor.]
- Giacobini, Mario [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7833
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
190.
|
Bioinformatics Research and Applications [electronic resource] : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings / edited by Zhipeng Cai, Oliver Eulenstein, Daniel Janies, Daniel Schwartz. by
- Cai, Zhipeng [editor.]
- Eulenstein, Oliver [editor.]
- Janies, Daniel [editor.]
- Schwartz, Daniel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7875
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
191.
|
|
|
192.
|
|
|
193.
|
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
- Lourenço, João M [editor.]
- Farchi, Eitan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
194.
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
- Grossi, Davide [editor.]
- Roy, Olivier [editor.]
- Huang, Huaxin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
195.
|
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by
- Accorsi, Rafael [editor.]
- Ranise, Silvio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8203
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
196.
|
VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design [electronic resource] : 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers / edited by Andreas Burg, Ayṣe Coṣkun, Matthew Guthaus, Srinivas Katkoori, Ricardo Reis. by
- Burg, Andreas [editor.]
- Coṣkun, Ayṣe [editor.]
- Guthaus, Matthew [editor.]
- Katkoori, Srinivas [editor.]
- Reis, Ricardo [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 418
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
197.
|
An introduction to computational fluid mechanics by example. by
- Biringen, Sedat
- Chow, Chuen-Yen, 1932-
- Wiley InterScience (Online service)
Edition: 2nd ed. / Sedat Biringen, Chuen-Yen Chow.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Hoboken, N.J. : Wiley, 2011
Availability: No items available.
|
|
198.
|
|
|
199.
|
|
|
200.
|
|