Results
|
561.
|
|
|
562.
|
|
|
563.
|
|
|
564.
|
|
|
565.
|
|
|
566.
|
Knowledge Spaces [electronic resource] : Applications in Education / edited by Jean-Claude Falmagne, Dietrich Albert, Christopher Doble, David Eppstein, Xiangen Hu. by
- Falmagne, Jean-Claude [editor.]
- Albert, Dietrich [editor.]
- Doble, Christopher [editor.]
- Eppstein, David [editor.]
- Hu, Xiangen [editor.]
- SpringerLink (Online service)
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.
|
|
567.
|
|
|
568.
|
|
|
569.
|
|
|
570.
|
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.
|
|
571.
|
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by
- Iwama, Kazuo [editor.]
- Kawano, Yasuhito [editor.]
- Murao, Mio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7582
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.
|
|
572.
|
Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / edited by Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha. by
- Frey, Davide [editor.]
- Raynal, Michel [editor.]
- Sarkar, Saswati [editor.]
- Shyamasundar, Rudrapatna K [editor.]
- Sinha, Prasun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7730
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.
|
|
573.
|
Software Quality. Increasing Value in Software and Systems Development [electronic resource] : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings / edited by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann. by
- Winkler, Dietmar [editor.]
- Biffl, Stefan [editor.]
- Bergsmann, Johannes [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 133
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.
|
|
574.
|
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by
- Wolff, Burkhart [editor.]
- Gaudel, Marie-Claude [editor.]
- Feliachi, Abderrahmane [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7681
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.
|
|
575.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
- Artemov, Sergei [editor.]
- Nerode, Anil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
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.
|
|
576.
|
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I / edited by Shipeng Li, Abdulmotaleb El Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin. by
- Li, Shipeng [editor.]
- Saddik, Abdulmotaleb El [editor.]
- Wang, Meng [editor.]
- Mei, Tao [editor.]
- Sebe, Nicu [editor.]
- Yan, Shuicheng [editor.]
- Hong, Richang [editor.]
- Gurrin, Cathal [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7732
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.
|
|
577.
|
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II / edited by Shipeng Li, Abdulmotaleb El Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin. by
- Li, Shipeng [editor.]
- Saddik, Abdulmotaleb El [editor.]
- Wang, Meng [editor.]
- Mei, Tao [editor.]
- Sebe, Nicu [editor.]
- Yan, Shuicheng [editor.]
- Hong, Richang [editor.]
- Gurrin, Cathal [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7733
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.
|
|
578.
|
ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by
- Ermolayev, Vadim [editor.]
- Mayr, Heinrich C [editor.]
- Nikitchenko, Mykola [editor.]
- Spivakovsky, Aleksander [editor.]
- Zholtkevych, Grygoriy [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 347
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.
|
|
579.
|
|
|
580.
|
Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju. by
- Pfeiffer, Heather D [editor.]
- Ignatov, Dmitry I [editor.]
- Poelmans, Jonas [editor.]
- Gadiraju, Nagarjuna [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7735
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.
|