所有图书
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim
View more
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim
Web-based Learning: Technology And Pedagogy - Proceedings of the 4th International Conference
View more
Web-based Learning: Technology And Pedagogy - Proceedings of the 4th International Conference
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27–30, 2000 Proceedings
View more
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27–30, 2000 Proceedings
Text & Presentation, 2007 (Text & Presentation) (The Comparative Drama Conference Series)
View more
Text & Presentation, 2007 (Text & Presentation) (The Comparative Drama Conference Series)
Compiler Construction: 13th International Conference - Evelyn Duesterwald
View more
Compiler Construction: 13th International Conference - Evelyn Duesterwald
Learning and Intelligent Optimization: 5th International Conference - Carlos A. Coello Coello
View more
Learning and Intelligent Optimization: 5th International Conference - Carlos A. Coello Coello
Computer Information Systems and Industrial Management: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
View more
Computer Information Systems and Industrial Management: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
Advanced Information Systems Engineering: 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings
View more
Advanced Information Systems Engineering: 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings
Algebraic and Numeric Biology: 4th International Conference - Katsuhisa Horimoto, Masahiko Nakatsui and Nikolaj Popov
View more
Algebraic and Numeric Biology: 4th International Conference - Katsuhisa Horimoto, Masahiko Nakatsui and Nikolaj Popov
Algorithms and Architectures for Parallel Processing: 11th International Conference - Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs and Wanlei Zhou
View more
Algorithms and Architectures for Parallel Processing: 11th International Conference - Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs and Wanlei Zhou
Belief Functions: Theory and Applications: Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France 9-11 May 2012
View more
Belief Functions: Theory and Applications: Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France 9-11 May 2012
Sustainable Development of Energy, Water and Environment Systems: Proceedings of the 3rd Dubrovnik Conference, Dubrovnik, Croatia, 5-10 June 2005
View more
Sustainable Development of Energy, Water and Environment Systems: Proceedings of the 3rd Dubrovnik Conference, Dubrovnik, Croatia, 5-10 June 2005
Belief Functions: Theory and Applications: Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings
View more
Belief Functions: Theory and Applications: Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings
Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference, Kes 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part I
View more
Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference, Kes 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part I
Advances in Computing and Communications Part I: First International Conference - Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki and Sabu M. Thampi
View more
Advances in Computing and Communications Part I: First International Conference - Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki and Sabu M. Thampi
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
View more
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
View more
Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003
View more
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003