Results
|
421.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
- McMillan, Ken [editor.]
- Middeldorp, Aart [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.
|
|
422.
|
Knowledge Sharing through Technology [electronic resource] : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong, China, July 10-11, 2013, Revised Selected Papers / edited by Jeanne Lam, Kam Cheong Li, Simon K. S. Cheung, Fu Lee Wang. by
- Lam, Jeanne [editor.]
- Li, Kam Cheong [editor.]
- Cheung, Simon K. S [editor.]
- Wang, Fu Lee [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 407
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.
|
|
423.
|
|
|
424.
|
Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen. by
- Wu, Chenggang [editor.]
- Cohen, Albert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8299
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.
|
|
425.
|
|
|
426.
|
Critical Infrastructure Protection VII [electronic resource] : 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers / edited by Jonathan Butts, Sujeet Shenoi. by
- Butts, Jonathan [editor.]
- Shenoi, Sujeet [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 417
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.
|
|
427.
|
Software and Data Technologies [electronic resource] : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / edited by José Cordeiro, Slimane Hammoudi, Marten van Sinderen. by
- Cordeiro, José [editor.]
- Hammoudi, Slimane [editor.]
- Sinderen, Marten van [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 411
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.
|
|
428.
|
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by
- Taft, S. Tucker [editor.]
- Duff, Robert A [editor.]
- Brukardt, Randall L [editor.]
- Ploedereder, Erhard [editor.]
- Leroy, Pascal [editor.]
- Schonberg, Edmond [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8339
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.
|
|
429.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe. by
- Maciaszek, Leszek A [editor.]
- Filipe, Joaquim [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 410
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.
|
|
430.
|
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by
- Yang, Yuhang [editor.]
- Ma, Maode [editor.]
- Liu, Baoxiang [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 392
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.
|
|
431.
|
|
|
432.
|
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by
- Yang, Yuhang [editor.]
- Ma, Maode [editor.]
- Liu, Baoxiang [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 391
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.
|
|
433.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers / edited by Joaquim Filipe, Leszek A. Maciaszek. by
- Filipe, Joaquim [editor.]
- Maciaszek, Leszek A [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 417
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.
|
|
434.
|
|
|
435.
|
|
|
436.
|
|
|
437.
|
Mobile Payment [electronic resource] / by Thomas Lerner. by
- Lerner, Thomas [author.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013
Availability: No items available.
|
|
438.
|
|
|
439.
|
Natural Computing and Beyond [electronic resource] : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings / edited by Yasuhiro Suzuki, Toshiyuki Nakagaki. by
- Suzuki, Yasuhiro [editor.]
- Nakagaki, Toshiyuki [editor.]
- SpringerLink (Online service)
Series: Proceedings in Information and Communications Technology ; 6
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.
|
|
440.
|
Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by
- Nishizaki, Shin-ya [editor.]
- Numao, Masayuki [editor.]
- Caro, Jaime [editor.]
- Suarez, Merlin Teodosia [editor.]
- SpringerLink (Online service)
Series: Proceedings in Information and Communications Technology ; 7
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.
|