Your search returned 56 results. Subscribe to this search

|
41. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
42. Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss.

by Keller, Rainer [editor.] | Kramer, David [editor.] | Weiss, Jan-Philipp [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
43. Computer Engineering and Technology [electronic resource] : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.

by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Lu, Pingjing [editor.] | Li, Jinwen [editor.] | Zhang, Chengyi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
44. High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima.

by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
45. Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu.

by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Zhang, Chengyi [editor.] | Li, Jinwen [editor.] | Yu, Liyan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
46. Complex Binary Number System [electronic resource] : Algorithms and Circuits / by Tariq Jamil.

by Jamil, Tariq [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: India : Springer India : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
47. Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes.

by Krishnaswamy, Smita [author.] | Markov, Igor L [author.] | Hayes, John P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
48. Data-Driven Methods for Adaptive Spoken Dialogue Systems [electronic resource] : Computational Learning for Conversational Interfaces / edited by Oliver Lemon, Olivier Pietquin.

by Lemon, Oliver [editor.] | Pietquin, Olivier [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
49. Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
50. Quaternions for Computer Graphics [electronic resource] / by John Vince.

by Vince, John [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
51. Designing Sorting Networks [electronic resource] : A New Paradigm / by Sherenaz W. Al-Haj Baddar, Kenneth E. Batcher.

by Al-Haj Baddar, Sherenaz W [author.] | Batcher, Kenneth E [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
52. Transactions on High-Performance Embedded Architectures and Compilers III [electronic resource] / edited by Per Stenström.

by Stenström, Per [editor.] | 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
53. Computer Algebra in Scientific Computing [electronic resource] : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | 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
54. Transactions on High-Performance Embedded Architectures and Compilers IV [electronic resource] / edited by Per Stenström.

by Stenström, Per [editor.] | 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
55. High Performance Embedded Architectures and Compilers [electronic resource] : 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings / edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell.

by Patt, Yale N [editor.] | Foglia, Pierfrancesco [editor.] | Duesterwald, Evelyn [editor.] | Faraboschi, Paolo [editor.] | Martorell, Xavier [editor.] | 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
56. Computer Algebra in Scientific Computing [electronic resource] : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | 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

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