PKK Library catalog › Results of search for 'su:{Mathematical logic.}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Carnielli, Walter. (2)
- Fried, Michael D. (2)
- Lerman, Manuel (2)
- Milmeister, Gérard. (2)
- Weissmann, Jody. (2)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (122)
Home libraries
- PK Kelkar Library, IIT Kanpur (122)
Item types
- Books (20)
- E books (92)
- EBK (4)
- EBK (5)
- Text Books (2)
- Show more
Series
Topics
- Computer science. (27)
- Mathematical Logic and Formal Languages. (47)
- Mathematical Logic and Foundations. (58)
- Mathematical logic. (91)
- Mathematics. (40)
- Show more

	21.	Abstraction, Refinement and Proof for Probabilistic Systems : [electronic resource] / by McIver, Annabelle [author.] \| Morgan, Carroll [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	22.	Coordination of Large-Scale Multiagent Systems : [electronic resource] / by Scerri, Paul [editor.1] \| Vincent, R�gis [editor.1 ] \| Mailler, Roger [editor.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 352 p. 15 illus. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	23.	Adapting Proofs-as-Programs : The Curry-Howard Protocol / : [electronic resource] : by Poernomo, Iman Hafiz [author.] \| Wirsing, Martin [author.] \| Crossley, John Newsome [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 420 p. 54 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	24.	Computation Engineering : Applied Automata Theory and Logic / : [electronic resource] : by Gopalakrishnan, Ganesh [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXXVI, 472 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	25.	Constructing Correct Software : [electronic resource] / by Cooke, John [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXI, 509 p. 100 illus. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	26.	Theoretical Introduction to Programming : [electronic resource] / by Mills, Bruce [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XI, 358 p. 29 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	27.	Agent Technology from a Formal Perspective : [electronic resource] / by Rouff, Christopher A [editor.] \| Hinchey, Michael [editor.] \| Rash, James [editor.] \| Truszkowski, Walter [editor.] \| Gordon-Spears, Diana [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 354 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	28.	Discrete Mathematics Using a Computer : [electronic resource] / by O’Donnell, John [author.] \| Hall, Cordelia [author.] \| Page, Rex [author.] \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIX, 441 p. 68 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	29.	Universal Artificial Intellegence : Sequential Decisions Based on Algorithmic Probability / : [electronic resource] : by Hutter, Marcus [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 278 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	30.	Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / : [electronic resource] : by Mazzola, Guerino [author.] \| Milmeister, Gérard [author.] \| Weissmann, Jody [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 355 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	31.	A Theory of Distributed Objects : Asynchrony — Mobility — Groups — Components / : [electronic resource] : by Caromel, Denis [author.] \| Henrio, Ludovic [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXXII, 352 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	32.	Complexity Theory : Exploring the Limits of Efficient Algorithms / : [electronic resource] : by Wegener, Ingo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 308 p. 18 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	33.	Applications of Membrane Computing : [electronic resource] / by Ciobanu, Gabriel [editor.] \| Păun, Gheorghe [editor.] \| Pérez-Jiménez, Mario J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 441 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	34.	Parameterized Complexity Theory : [electronic resource] / by Flum, J�rg [author.1] \| Grohe, Martin [author.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 495 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	35.	Fuzzy-Neuro Approach to Agent Applications : From the AI Perspective to Modern Ontology / : [electronic resource] : by Lee, Raymond S. T [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 376 p. 126 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	36.	Fundamentals of Algebraic Graph Transformation : [electronic resource] / by Ehrig, Hartmut [author.] \| Ehrig, Karsten [author.] \| Prange, Ulrike [author.] \| Taentzer, Gabriele [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 390 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	37.	Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic / : [electronic resource] : by Bollig, Benedikt [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: IX, 181 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	38.	Comprehensive Mathematics for Computer Scientists 1 : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) / : [electronic resource] : by Mazzola, Guerino [author.] \| Milmeister, Gérard [author.] \| Weissmann, Jody [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 388 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	39.	Robustness and Usability in Modern Design Flows : [electronic resource] / by Fey, Görschwin [author.] \| Drechsler, Rolf [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 166 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	40.	Ingredients for Successful System Level Design Methodology : [electronic resource] / by Patel, Hiren D [author.] \| Shukla, Sandeep K [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 208 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics