Your search returned 1488 results. Subscribe to this search

|
1201. Computational Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the Representation of Lexicons and Grammars / edited by Luc Steels.

by Steels, Luc [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
1202. Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi.

by Aoki, Toshiaki [editor.] | Taguchi, Kenji [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
1203. Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.

by Gill, Andy [editor.] | Hage, Jurriaan [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
1204. Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi.

by Jhala, Ranjit [editor.] | Igarashi, Atsushi [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
1205. Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter.

by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Haupt, Michael [editor.] | Ostermann, Klaus [editor.] | Wohlstadter, Eric [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
1206. Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky.

by Arbab, Farhad [editor.] | Ölveczky, Peter Csaba [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
1207. Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [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
1208. Introduction to Programming Concepts with Case Studies in Python [electronic resource] / by Göktürk Üçoluk, Sinan Kalkan.

by Üçoluk, Göktürk [author.] | Kalkan, Sinan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
1209. Code Generation with Templates [electronic resource] / by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef.

by Arnoldus, Jeroen [author.] | van den Brand, Mark [author.] | Serebrenik, A [author.] | Brunekreef, J.J [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
1210. Guide to HTML, JavaScript and PHP [electronic resource] : For Scientists and Engineers / by David R. Brooks.

by Brooks, David R [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
1211. Pro Objective-C Design Patterns for iOS [electronic resource] / by Carlo Chung.

by Chung, Carlo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2011Online access: Click here to access online Availability: No items available
1212. Practical RichFaces [electronic resource] / by Max Katz, Ilya Shaikovsky.

by Katz, Max [author.] | Shaikovsky, Ilya [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2011Online access: Click here to access online Availability: No items available
1213. Software Development and Professional Practice [electronic resource] / by John Dooley.

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2011Online access: Click here to access online Availability: No items available
1214. Expert Oracle and Java Security [electronic resource] : Programming Secure Oracle Database Applications with Java / by David Coffin.

by Coffin, David [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2011Online access: Click here to access online Availability: No items available
1215. packetC Programming [electronic resource] / by Peder Jungck, Ralph Duncan, Dwight Mulcahy.

by Jungck, Peder [author.] | Duncan, Ralph [author.] | Mulcahy, Dwight [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2011Online access: Click here to access online Availability: No items available
1216. Handbook of Open Source Tools [electronic resource] / by Sandeep Koranne.

by Koranne, Sandeep [author.] | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
1217. Genetic Programming Theory and Practice VIII [electronic resource] / edited by Rick Riolo, Trent McConaghy, Ekaterina Vladislavleva.

by Riolo, Rick [editor.] | McConaghy, Trent [editor.] | Vladislavleva, Ekaterina [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, 2011Online access: Click here to access online Availability: No items available
1218. Genetic Programming Theory and Practice IX [electronic resource] / edited by Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore.

by Riolo, Rick [editor.] | Vladislavleva, Ekaterina [editor.] | Moore, Jason H [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, 2011Online access: Click here to access online Availability: No items available
1219. Object-Oriented Analysis and Design [electronic resource] / edited by Sarnath Ramnath, Brahma Dathan.

by Ramnath, Sarnath [editor.] | Dathan, Brahma [editor.] | 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
1220. Structures de données et méthodes formelles [electronic resource] / by Marc Guyomard.

by Guyomard, Marc [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Springer Paris : Imprint: Springer, 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