Results
|
981.
|
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
- Biere, Armin [editor.]
- Nahir, Amir [editor.]
- Vos, Tanja [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
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.
|
|
982.
|
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
- Binder, Walter [editor.]
- Bodden, Eric [editor.]
- Löwe, Welf [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
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.
|
|
983.
|
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. by
- Morgenstern, Leora [editor.]
- Stefaneas, Petros [editor.]
- Lévy, François [editor.]
- Wyner, Adam [editor.]
- Paschke, Adrian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8035
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.
|
|
984.
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
- Blazy, Sandrine [editor.]
- Paulin-Mohring, Christine [editor.]
- Pichardie, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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.
|
|
985.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Carlini, Maurizio [editor.]
- Torre, Carmelo M [editor.]
- Nguyen, Hong-Quang [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Gervasi, Osvaldo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7971
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.
|
|
986.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Carlini, Maurizio [editor.]
- Torre, Carmelo M [editor.]
- Nguyen, Hong-Quang [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Gervasi, Osvaldo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7975
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.
|
|
987.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Carlini, Maurizio [editor.]
- Torre, Carmelo M [editor.]
- Nguyen, Hong-Quang [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Gervasi, Osvaldo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7972
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.
|
|
988.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Carlini, Maurizio [editor.]
- Torre, Carmelo M [editor.]
- Nguyen, Hong-Quang [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Gervasi, Osvaldo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7973
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.
|
|
989.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Carlini, Maurizio [editor.]
- Torre, Carmelo M [editor.]
- Nguyen, Hong-Quang [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Gervasi, Osvaldo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7974
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.
|
|
990.
|
|
|
991.
|
Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / edited by Wolfgang Faber, Domenico Lembo. by
- Faber, Wolfgang [editor.]
- Lembo, Domenico [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7994
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.
|
|
992.
|
Emerging Intelligent Computing Technology and Applications [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Phalguni Gupta, Ling Wang, Michael Gromiha. by
- Huang, De-Shuang [editor.]
- Gupta, Phalguni [editor.]
- Wang, Ling [editor.]
- Gromiha, Michael [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 375
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.
|
|
993.
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings / edited by G. Alan Wang, Xiaolong Zheng, Michael Chau, Hsinchun Chen. by
- Wang, G. Alan [editor.]
- Zheng, Xiaolong [editor.]
- Chau, Michael [editor.]
- Chen, Hsinchun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8039
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.
|
|
994.
|
|
|
995.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings / edited by Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing. by
- Ren, Kui [editor.]
- Liu, Xue [editor.]
- Liang, Weifa [editor.]
- Xu, Ming [editor.]
- Jia, Xiaohua [editor.]
- Xing, Kai [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7992
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.
|
|
996.
|
|
|
997.
|
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8049
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.
|
|
998.
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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.
|
|
999.
|
|
|
1000.
|
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / edited by Günther Ruhe, Yuanyuan Zhang. by
- Ruhe, Günther [editor.]
- Zhang, Yuanyuan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8084
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.
|