大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 logic.circuits 的图书(共876本)

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

0
索取号：
作者：Puebla、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fuzzy Logic [electronic resource] : A Spectrum of Theoretical & Practical Issues

0
索取号：
作者：Wang、 Paul P.、Ruan、 Da.、Kerre、 Etienne E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

0
索取号：
作者：Meyden、 Ron.、Torre、 Leendert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

0
索取号：
作者：Hodges、 Wilfrid.、Queiroz、 Ruy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Inoue、 Katsumi.、Satoh、 Ken.、Toni、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

0
索取号：
作者：Beckmann、 Arnold.、Dimitracopoulos、 Costas.、L枚we、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Radio Frequency Integrated Circuits and Technologies [electronic resource]

0
索取号：
作者：Ellinger、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic Synthesis for Compositional Microprogram Control Units [electronic resource]

0
索取号：
作者：Barkalov、 Alexander.、Titarenko、 Larysa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Fuzzy Logic in Action: Applications in Epidemiology and Beyond [electronic resource]

0
索取号：
作者：Massad、 Eduardo.、Ortega、 Neli Regina Siqueira.、Barros、 Laecio Carvalho.、Struchiner、 Claudio Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Temporal Logic and State Systems [electronic resource]

0
索取号：
作者：Kr枚ger、 Fred.、Merz、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

0
索取号：
作者：Hermann、 Miki.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Memories: Molecules and Circuits [electronic resource]

0
索取号：
作者：Bontempi、 Bruno.、Silva、 Alcino J.、Christen、 Yves.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

0
索取号：
作者：脡sik、 Zolt谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

0
索取号：
作者：Mazzola、 Guerino.、Milmeister、 G茅rard.、Weissmann、 Jody.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Etalle、 Sandro.、Truszczy艅ski、 Miros艂aw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.