Your search returned 2137 results. Subscribe to this search

|
1921. Regular Nanofabrics in Emerging Technologies [electronic resource] : Design and Fabrication Methods for Nanoscale Digital Circuits / by M. Haykel Ben Jamaa.

by Ben Jamaa, M. Haykel [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, 2011Online access: Click here to access online Availability: No items available
1922. Games, Norms and Reasons [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit.

by van Benthem, Johan [editor.] | Gupta, Amitabha [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
1923. Advanced Łukasiewicz calculus and MV-algebras [electronic resource] / by D. Mundici.

by Mundici, D [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
1924. Controversy as News Discourse [electronic resource] / by Peter A. Cramer.

by Cramer, Peter A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
1925. Reasoning about Preference Dynamics [electronic resource] / by Fenrong Liu.

by Liu, Fenrong [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, 2011Online access: Click here to access online Availability: No items available
1926. Strict Finitism and the Logic of Mathematical Applications [electronic resource] / by Feng Ye.

by Ye, Feng [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, 2011Online access: Click here to access online Availability: No items available
1927. Paradoxes [electronic resource] / by Piotr Łukowski.

by Łukowski, Piotr [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
1928. Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström.

by Granström, Johan Georg [author.] | Granström, Johan Georg [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
1929. Giving Reasons [electronic resource] : A Linguistic-Pragmatic Approach to Argumentation Theory / by Lilian Bermejo Luque.

by Bermejo Luque, Lilian [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
1930. Interpreted Languages and Compositionality [electronic resource] / by Marcus Kracht.

by Kracht, Marcus [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
1931. Trust Networks for Recommender Systems [electronic resource] / by Patricia Victor, Chris Cornelis, Martine de Cock.

by Victor, Patricia [author.] | Cornelis, Chris [author.] | de Cock, Martine [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press, 2011Online access: Click here to access online Availability: No items available
1932. Additive Number Theory [electronic resource] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky.

by Chudnovsky, David [editor.] | Chudnovsky, Gregory [editor.] | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
1933. Speech Processing in Embedded Systems [electronic resource] / by Priyabrata Sinha.

by Sinha, Priyabrata [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
1934. Handbook of Set Theory [electronic resource] / edited by Matthew Foreman, Akihiro Kanamori.

by Foreman, Matthew [editor.] | Kanamori, Akihiro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
1935. Explaining Games [electronic resource] : The Epistemic Programme in Game Theory / by Boudewijn de Bruin.

by de Bruin, Boudewijn [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, 2010Online access: Click here to access online Availability: No items available
1936. A Course in Mathematical Logic for Mathematicians [electronic resource] / by Yu. I. Manin.

by Manin, Yu. I [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, 2010Online access: Click here to access online Availability: No items available
1937. A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg.

by Rautenberg, Wolfgang [author.] | SpringerLink (Online service).

Edition: 3.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
1938. Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou.

by Triantaphyllou, Evangelos [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
1939. Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.

by Dastani, Mehdi [editor.] | Hindriks, Koen V [editor.] | Meyer, John-Jules Charles [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
1940. The P=NP Question and Gödel’s Lost Letter [electronic resource] / by Richard J. Lipton.

by Lipton, Richard J [author.] | SpringerLink (Online service).

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