Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Logic'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Bonsangue, Marcello ... (3)
- Bouchon-Meunier, Ber... (3)
- Crossley, John N. (3)
- Ermolayev, Vadim (3)
- Gabbay, Dov M. (8)
- Gandy, R. O. (4)
- Koutny, Maciej (3)
- Kuratowski, Kazimier... (3)
- Laurent, Anne (3)
- Legay, Axel (4)
- Mostowski, Andrzej (5)
- Nikitchenko, Mykola (3)
- Peña, Ricardo (3)
- Skowron, Andrzej (3)
- Suppes, Patrick (4)
- Tarski, Alfred (4)
- Woods, John (6)
- Yager, Ronald R. (3)
- Yakovlev, Alex (3)
- Zholtkevych, Grygori... (3)
- Afficher plus
- Afficher moins
Sites de rattachement
Types de document
- Livre (61)
- Ebook (485)
- Thèse universitaire (1)
Collection
- A practical logic of... (3)
- Atlantis Studies in ... (3)
- Cambridge tracts in ... (3)
- Communications in Co... (13)
- Lecture Notes in Com... (245)
- Logic, Argumentation... (4)
- Logic, Epistemology,... (7)
- Outstanding Contribu... (5)
- Springer Monographs ... (4)
- SpringerBriefs in Co... (3)
- SpringerBriefs in Ph... (3)
- Studies in logic and... (58)
- Studies in Logic and... (21)
- Synthese Library, St... (6)
- Trends in Logic, Stu... (5)
- Undergraduate Topics... (4)
- Universitext (4)
- Afficher plus
- Afficher moins
Sujets
- Algorithm Analysis a... (64)
- Algorithms (67)
- Artificial intellige... (108)
- Artificial Intellige... (108)
- Computer logic (204)
- Computer science (356)
- Computer Science (290)
- Computers (80)
- Logic (54)
- Logic, Symbolic and ... (60)
- Logics and Meanings ... (204)
- Mathematical logic (249)
- Mathematical Logic a... (209)
- Mathematics (37)
- Philosophy (40)
- Programming language... (107)
- Programming Language... (107)
- Software engineering (165)
- Software Engineering (160)
- Afficher plus
- Afficher moins

		Digital logic design / par Holdsworth, B. Publication : . 1 online resource (519 pages) , Previous edition: 1993. \| ISBN on the t.p. verso, 0750645882 is invalid. Disponibilité : http://www.sciencedirect.com/science/book/9780750645829, Ajouter au panier (Supprimer)
		Neural and fuzzy logic control of drives and power systems / Publication : . 1 online resource (ix, 399 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780750655583, Ajouter au panier (Supprimer)
		The design warrior's guide to FPGAs : devices, tools and flows / par Maxfield, Clive, Publication : . 1 online resource (xvi, 542 pages) : , Includes index. Disponibilité : http://www.sciencedirect.com/science/book/9780750676045, Ajouter au panier (Supprimer)
		Op amps for everyone : design reference / Publication : . 1 online resource (1 volume (various pagings)) : Disponibilité : http://www.sciencedirect.com/science/book/9780750677011, Ajouter au panier (Supprimer)
		Demystifying chipmaking / par Yanda, Richard F. Publication : . 1 online resource (xvii, 256 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780750677608, Ajouter au panier (Supprimer)
		A Baker's dozen : real analog solutions for digital designers / par Baker, Bonnie Publication : . 1 online resource (xiii, 347 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780750678193, Ajouter au panier (Supprimer)
		Fuzzy controllers / par Reznik, Leonid, Publication : . 1 online resource (xxi, 287 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780750634298, Ajouter au panier (Supprimer)
		Fuzzy logic in geology / Publication : . 1 online resource (xvii, 347 pages, [8] pages of plates) : Disponibilité : http://www.sciencedirect.com/science/book/9780124151468, Ajouter au panier (Supprimer)
		The nuts and bolts of proofs / par Cupillari, Antonella. Publication : . 1 online resource (xii, 179 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780120885091, Ajouter au panier (Supprimer)
		Coherent systems / par Schlechta, Karl. Publication : . 1 online resource (xx, 447 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444517890, http://www.sciencedirect.com/science/publication?issn=15702464&volume=2, Ajouter au panier (Supprimer)
		Logical frameworks for truth and abstraction : an axiomatic study / par Cantini, Andrea. Publication : . 1 online resource (xii, 461 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444823069, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135, Ajouter au panier (Supprimer)
		Handbook of computability theory / Publication : . 1 online resource (xii, 727 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444898821, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140, Ajouter au panier (Supprimer)
		Admissibility of logical inference rules / par Rybakov, Vladimir V. Publication : . 1 online resource (617 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444895059, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=136, Ajouter au panier (Supprimer)
		Handbook of logic and language / Publication : . 1 online resource (xxiii, 1247 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444817143, Ajouter au panier (Supprimer)
		Handbook of proof theory / Publication : . 1 online resource (811 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444898401, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137, Ajouter au panier (Supprimer)
		Tools and techniques in modal logic / par Kracht, Marcus. Publication : . 1 online resource (xiii, 559 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444500557, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=142, Ajouter au panier (Supprimer)
		Relation algebras by games / par Hirsch, R. Publication : . 1 online resource (xvii, 691 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444509321, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=147, Ajouter au panier (Supprimer)
		Many-dimensional modal logics : theory and applications / Publication : . 1 online resource (xviii, 747 pages). Disponibilité : http://www.sciencedirect.com/science/book/9780444508263, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=148, Ajouter au panier (Supprimer)
		Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / Publication : . 1 online resource (xiv, 989 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444893413, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=134, Ajouter au panier (Supprimer)
		Computable structures and the hyperarithmetical hierarchy / par Ash, C. J. Publication : . 1 online resource (xv, 346 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444500724, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=144, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Sites de rattachement

Types de document

Collection

Sujets

Votre recherche a retourné 547 résultats.