|
961.
|
Apartness and Uniformity [electronic resource] : A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă.
by Bridges, Douglas S [author.] | Vîţă, Luminiţa Simona [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
962.
|
Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
963.
|
Perspectives on Soviet and Russian Computing [electronic resource] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov.
by Impagliazzo, John [editor.] | Proydakov, Eduard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
964.
|
VLSI-SoC: Technologies for Systems Integration [electronic resource] : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers / edited by Jürgen Becker, Marcelo Johann, Ricardo Reis.
by Becker, Jürgen [editor.] | Johann, Marcelo [editor.] | Reis, Ricardo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
965.
|
Information Security and Assurance [electronic resource] : International Conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas.
by Kim, Tai-hoon [editor.] | Adeli, Hojjat [editor.] | Robles, Rosslin John [editor.] | Balitanas, Maricel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
966.
|
The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki.
by Kanazawa, Makoto [editor.] | Kornai, András [editor.] | Kracht, Marcus [editor.] | Seki, Hiroyuki [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
967.
|
Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I / edited by Dehuai Zeng.
by Zeng, Dehuai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
968.
|
Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II / edited by Dehuai Zeng.
by Zeng, Dehuai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
969.
|
Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V / edited by Jun Zhang.
by Zhang, Jun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
970.
|
Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV / edited by Jun Zhang.
by Zhang, Jun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
971.
|
Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III / edited by Jianwei Zhang.
by Zhang, Jianwei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
972.
|
Universal Semantic Communication [electronic resource] / by Brendan Juba.
by Juba, Brendan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
973.
|
Programming for Engineers [electronic resource] : A Foundational Approach to Learning C and Matlab / by Aaron R. Bradley.
by Bradley, Aaron R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
974.
|
Recent Advances in Intrusion Detection [electronic resource] : 14th International Symposium, RAID 2011, Menlo Park, CA, USA, September 20-21, 2011. Proceedings / edited by Robin Sommer, Davide Balzarotti, Gregor Maier.
by Sommer, Robin [editor.] | Balzarotti, Davide [editor.] | Maier, Gregor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
975.
|
Cryptographic Hardware and Embedded Systems – CHES 2011 [electronic resource] : 13th International Workshop, Nara, Japan, September 28 – October 1, 2011. Proceedings / edited by Bart Preneel, Tsuyoshi Takagi.
by Preneel, Bart [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
976.
|
Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju.
by Ditmarsch, Hans [editor.] | Lang, Jérôme [editor.] | Ju, Shier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
977.
|
Applied Information Security [electronic resource] : A Hands-on Approach / by David Basin, Patrick Schaller, Michael Schläpfer.
by Basin, David [author.] | Schaller, Patrick [author.] | Schläpfer, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
978.
|
Mobility in Process Calculi and Natural Computing [electronic resource] / by Bogdan Aman, Gabriel Ciobanu.
by Aman, Bogdan [author.] | Ciobanu, Gabriel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
979.
|
Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat.
by Song, Dawei [editor.] | Melucci, Massimo [editor.] | Frommholz, Ingo [editor.] | Zhang, Peng [editor.] | Wang, Lei [editor.] | Arafat, Sachi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
980.
|
Theoretical and Mathematical Foundations of Computer Science [electronic resource] : Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers / edited by Qihai Zhou.
by Zhou, Qihai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|