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

Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

0
索取号：
作者：Schreye、 Danny.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques [electronic resource]

0
索取号：
作者：Barros、 Manuel F. M.、Guilherme、 Jorge M. C.、Horta、 Nuno C. G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

0
索取号：
作者：Blume、 Matthias.、Kobayashi、 Naoki.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

0
索取号：
作者：Escobar、 Santiago.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

From Boolean Logic to Switching Circuits and Automata [electronic resource] : Towards Modern Information Technology

0
索取号：
作者：Stankovi膰、 Radomir S.、Astola、 Jaakko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Aspects of Mathematical Logic [electronic resource]

0
索取号：
作者：Casari、 E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fuzzy Logic-Based Algorithms for Video De-Interlacing [electronic resource]

0
索取号：
作者：Brox、 Piedad.、Baturone、 Iluminada.、S谩nchez-Solano、 Santiago.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

0
索取号：
作者：He、 Xiangdong.、Horty、 John.、Pacuit、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic Synthesis for FSM-Based Control Units [electronic resource]

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

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

0
索取号：
作者：Erdem、 Esra.、Lin、 Fangzhen.、Schaub、 Torsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

0
索取号：
作者：Gr盲del、 Erich.、Kahle、 Reinhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

0
索取号：
作者：Oddi、 Angelo.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

0
索取号：
作者：Archibald、 Margaret.、Brattka、 Vasco.、Goranko、 Valentin.、L枚we、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Stochastic Coalgebraic Logic [electronic resource]

0
索取号：
作者：Doberkat、 Ernst-Erich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

0
索取号：
作者：Hill、 Patricia M.、Warren、 David S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Fisher、 Michael.、Sadri、 Fariba.、Thielscher、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.