電子書書目整合查詢結果

出版年

總筆數:359

書名作者出版年查看回報錯誤連結
Dynamic Games: Theory and Applications Alain Haurie, Georges Zaccour. 2005 查看
回報問題連結
Graph Theory and Combinatorial Optimization David Avis, Alain Hertz, Odile Marcotte. 2005 查看
回報問題連結
Finite Element Methods and Their Applications Zhangxin Chen. 2005 查看
回報問題連結
Adapting Proofs-as-Programs:The Curry-Howard Protocol / Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. 2005 查看
回報問題連結
Implementation and Application of Automata:9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / Michael Domaratzki ... [et al.]. 2005 查看
回報問題連結
Combinatorial Geometry and Graph Theory:Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / Jin Akiyama, Edy Tri Baskoro, Mikio Kano. 2005 查看
回報問題連結
Formal Concept Analysis:Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / Bernhard Ganter, Robert Godin. 2005 查看
回報問題連結
Numerical Analysis and Its Applications:Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / Zhilin Li, Lubin Vulkov, Jerzy Wasniewski. 2005 查看
回報問題連結
Mechanizing Mathematical Reasoning:Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / Dieter Hutter, Werner Stephan. 2005 查看
回報問題連結
Conditionals, Information, and Inference:International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers / Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm Rodder. 2005 查看
回報問題連結
Typed Lambda Calculi and Applications:7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / Pawel Urzyczyn. 2005 查看
回報問題連結
Sequences and Their Applications - SETA 2004:Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / Tor Helleseth ... [et al.]. 2005 查看
回報問題連結
New Computational Paradigms:First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / B. S. Cooper, Benedikt Lowe, Torenvliet, Leen. 2005 查看
回報問題連結
Integer Programming and Combinatorial Optimization:11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / Michael Junger, Volker Kaibel. 2005 查看
回報問題連結
Combinatorial Pattern Matching:16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / Alberto Apostolico, Maxime Crochemore, Kunsoo Park. 2005 查看
回報問題連結
Theory and Applications of Satisfiability Testing:8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / Fahiem Bacchus, Toby Walsh. 2005 查看
回報問題連結
上一頁 第1頁/共24頁/跳至 下一頁