|
|
2761.
|
Public Key Infrastructures, Services and Applications [electronic resource] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers / edited by Fabio Martinelli, Bart Preneel.
by Martinelli, Fabio | Preneel, Bart | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2762.
|
Security-Enriched Urban Computing and Smart Grid [electronic resource] : First International Conference, SUComS 2010, Daejeon, Korea, September 15-17, 2010. Proceedings / edited by Tai-hoon Kim, Adrian Stoica, Ruay-Shiung Chang.
by Kim, Tai-hoon | Stoica, Adrian | Chang, Ruay-Shiung | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2763.
|
Human-Centred Software Engineering [electronic resource] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings / edited by Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir.
by Bernhaupt, Regina | Forbrig, Peter | Gulliksen, Jan | Lárusdóttir, Marta | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2764.
|
Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings / edited by Zhihua Cai, Chengyu Hu, Zhuo Kang, Yong Liu.
by Cai, Zhihua | Hu, Chengyu | Kang, Zhuo | Liu, Yong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2765.
|
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science [electronic resource] : 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers / edited by Miguel-Angel Sicilia, Christian Kop, Fabio Sartori.
by Sicilia, Miguel-Angel | Kop, Christian | Sartori, Fabio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2766.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn.
by Frachtenberg, Eitan | Schwiegelshohn, Uwe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2767.
|
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings / edited by Fu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei.
by Wang, Fu Lee | Gong, Zhiguo | Luo, Xiangfeng | Lei, Jingsheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2768.
|
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue [electronic resource] : International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers / edited by Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani.
by Casanovas, Pompeu | Pagallo, Ugo | Sartor, Giovanni | Ajani, Gianmaria | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2769.
|
Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II / edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei.
by Wang, Fu Lee | Deng, Hepu | Gao, Yang | Lei, Jingsheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2770.
|
Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I / edited by Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei.
by Wang, Fu Lee | Deng, Hepu | Gao, Yang | Lei, Jingsheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2771.
|
Exact Exponential Algorithms [electronic resource] / by Fedor V. Fomin, Dieter Kratsch.
by Fomin, Fedor V | Kratsch, Dieter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2772.
|
Bioinspired Computation in Combinatorial Optimization [electronic resource] : Algorithms and Their Computational Complexity / by Frank Neumann, Carsten Witt.
by Neumann, Frank | Witt, Carsten | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2773.
|
Metadata and Semantic Research [electronic resource] : 4th International Conference, MTSR 2010, Alcalá de Henares, Spain, October 20-22, 2010. Proceedings / edited by Salvador Sánchez-Alonso, Ioannis N. Athanasiadis.
by Sánchez-Alonso, Salvador | Athanasiadis, Ioannis N | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2774.
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2775.
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2776.
|
Social Informatics [electronic resource] : Second International Conference, SocInfo 2010, Laxenburg, Austria, October 27-29, 2010. Proceedings / edited by Leonard Bolc, Marek Makowski, Adam Wierzbicki.
by Bolc, Leonard | Makowski, Marek | Wierzbicki, Adam | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2777.
|
Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings / edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado.
by Petrenko, Alexandre | Simão, Adenilso | Maldonado, José Carlos | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2778.
|
Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou.
by Xie, Bing | Branke, Juergen | Sadjadi, S. Masoud | Zhang, Daqing | Zhou, Xingshe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2779.
|
Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu.
by Liu, Honghai | Ding, Han | Xiong, Zhenhua | Zhu, Xiangyang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2780.
|
Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu.
by Liu, Honghai | Ding, Han | Xiong, Zhenhua | Zhu, Xiangyang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
