Your search returned 5035 results. Subscribe to this search

|
1961. Agents for Games and Simulations [electronic resource] : Trends in Techniques, Concepts and Design / edited by Frank Dignum, Jeff Bradshaw, Barry Silverman, Willem Doesburg.

by Dignum, Frank | Bradshaw, Jeff | Silverman, Barry | Doesburg, Willem | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1962. Substitution Dynamical Systems - Spectral Analysis [electronic resource] / by Martine Queffélec.

by Queffélec, Martine | 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
1963. Parameterized and Exact Computation [electronic resource] : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers / edited by Jianer Chen, Fedor V. Fomin.

by Chen, Jianer | Fomin, Fedor V | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1964. Replication [electronic resource] : Theory and Practice / edited by Bernadette Charron-Bost, Fernando Pedone, André Schiper.

by Charron-Bost, Bernadette | Pedone, Fernando | Schiper, André | 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
1965. Elements of Scientific Computing [electronic resource] / by Aslak Tveito, Hans Petter Langtangen, Bjørn Frederik Nielsen, Xing Cai.

by Tveito, Aslak | Langtangen, Hans Petter | Nielsen, Bjørn Frederik | Cai, Xing | 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
1966. Domain Decomposition Methods in Science and Engineering XIX [electronic resource] / edited by Yunqing Huang, Ralf Kornhuber, Olof Widlund, Jinchao Xu.

by Huang, Yunqing | Kornhuber, Ralf | Widlund, Olof | Xu, Jinchao | 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
1967. Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo.

by Barthe, Gilles | Hermenegildo, Manuel | 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
1968. Distributed Computing and Networking [electronic resource] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu.

by Kant, Krishna | Pemmaraju, Sriram V | Sivalingam, Krishna M | Wu, Jie | 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
1969. Transactions on Computational Science VII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan.

by Gavrilova, Marina L | Tan, C. J. Kenneth | 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
1970. Graph-Theoretic Concepts in Computer Science [electronic resource] : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers / edited by Christophe Paul, Michel Habib.

by Paul, Christophe | Habib, Michel | 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
1971. WALCOM: Algorithms and Computation [electronic resource] : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings / edited by Md. Saidur Rahman, Satoshi Fujita.

by Rahman, Md. Saidur | Fujita, Satoshi | 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
1972. Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer.

by Abrial, Jean-Raymond | Glässer, Uwe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1973. Structural Information and Communication Complexity [electronic resource] : 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers / edited by Shay Kutten, Janez Žerovnik.

by Kutten, Shay | Žerovnik, Janez | 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
1974. Elliptic Differential Equations [electronic resource] : Theory and Numerical Treatment / by Wolfgang Hackbusch.

by Hackbusch, Wolfgang | 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
1975. Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.

by Dams, Dennis | Hannemann, Ulrich | Steffen, Martin | 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
1976. Numerical Techniques for Global Atmospheric Models [electronic resource] / edited by Peter Lauritzen, Christiane Jablonowski, Mark Taylor, Ramachandran Nair.

by Lauritzen, Peter | Jablonowski, Christiane | Taylor, Mark | Nair, Ramachandran | 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
1977. Access Networks [electronic resource] : 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers / edited by Xiao Jun Hei, Lawrence Cheung.

by Hei, Xiao Jun | Cheung, Lawrence | 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
1978. Global Analysis of Minimal Surfaces [electronic resource] / by Ulrich Dierkes, Stefan Hildebrandt, Anthony J. Tromba.

by Dierkes, Ulrich | Hildebrandt, Stefan | Tromba, Anthony J | 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
1979. Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies / edited by Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher.

by Priami, Corrado | Breitling, Rainer | Gilbert, David | Heiner, Monika | Uhrmacher, Adelinde M | 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
1980. Numerical Mathematics and Advanced Applications 2009 [electronic resource] : Proceedings of ENUMATH 2009, the 8th European Conference on Numerical Mathematics and Advanced Applications, Uppsala, July 2009 / edited by Gunilla Kreiss, Per Lötstedt, Axel Målqvist, Maya Neytcheva.

by Kreiss, Gunilla | Lötstedt, Per | Målqvist, Axel | Neytcheva, Maya | 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