Your search returned 3827 results. Subscribe to this search

|
1521. Property Testing [electronic resource] : Current Research and Surveys / edited by Oded Goldreich.

by Goldreich, Oded | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1522. Advances in Conceptual Modeling – Applications and Challenges [electronic resource] : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar.

by Trujillo, Juan | Dobbie, Gillian | Kangassalo, Hannu | Hartmann, Sven | Kirchberg, Markus | Rossi, Matti | Reinhartz-Berger, Iris | Zimányi, Esteban | Frasincar, Flavius | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1523. Ubiquitous Knowledge Discovery [electronic resource] : Challenges, Techniques, Applications / edited by Michael May, Lorenza Saitta.

by May, Michael | Saitta, Lorenza | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1524. E-business Technology and Strategy [electronic resource] : International Conference, CETS 2010, Ottawa, Canada, September 29-30, 2010. Proceedings / edited by Marzia Zaman, Yawei Liang, Sohail M Siddiqui, Tim Wang, Vincent Liu, Ceecee Lu.

by Zaman, Marzia | Liang, Yawei | Siddiqui, Sohail M | Wang, Tim | Liu, Vincent | Lu, Ceecee | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1525. ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I / edited by João Eduardo Quintela Varajão, Maria Manuela Cruz-Cunha, Goran D. Putnik, António Trigo.

by Quintela Varajão, João Eduardo | Cruz-Cunha, Maria Manuela | Putnik, Goran D | Trigo, António | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1526. ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II / edited by João Eduardo Quintela Varajão, Maria Manuela Cruz-Cunha, Goran D. Putnik, António Trigo.

by Quintela Varajão, João Eduardo | Cruz-Cunha, Maria Manuela | Putnik, Goran D | Trigo, António | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1527. Knowledge Engineering and Management by the Masses [electronic resource] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings / edited by Philipp Cimiano, H. Sofia Pinto.

by Cimiano, Philipp | Pinto, H. Sofia | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1528. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1529. Transport Systems Telematics [electronic resource] : 10th Conference, TST 2010, Katowice – Ustroń, Poland, October 20-23, 2010. Selected Papers / edited by Jerzy Mikulski.

by Mikulski, Jerzy | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1530. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1531. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1532. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1533. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1534. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1535. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1536. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1537. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1538. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1539. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1540. Recent Trends and Developments in Social Software [electronic resource] : International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers / edited by John G. Breslin, Thomas N. Burg, Hong-Gee Kim, Tom Raftery, Jan-Hinrik Schmidt.

by Breslin, John G | Burg, Thomas N | Kim, Hong-Gee | Raftery, Tom | Schmidt, Jan-Hinrik | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue