所有图书
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
Wireless Mobile Communication and Healthcare: 10th EAI International Conference, MobiHealth 2021, Virtual Event, November 13–14, 2021, Proceedings
View more
Wireless Mobile Communication and Healthcare: 10th EAI International Conference, MobiHealth 2021, Virtual Event, November 13–14, 2021, Proceedings
Belief Functions: Theory and Applications: 5th International Conference, BELIEF 2018, Compiègne, France, September 17-21, 2018, Proceedings
View more
Belief Functions: Theory and Applications: 5th International Conference, BELIEF 2018, Compiègne, France, September 17-21, 2018, Proceedings
Intelligent Computer Mathematics: 10th International Conference - James H. Davenport, William M. Farmer, Florian Rabe and Josef Urban
View more
Intelligent Computer Mathematics: 10th International Conference - James H. Davenport, William M. Farmer, Florian Rabe and Josef Urban
Function spaces, interpolation theory, and related topics: proceedings of the international conference in honour of Jaak Peetre on his 65th birthday: Lund, Sweden, August 17-22, 2000
View more
Function spaces, interpolation theory, and related topics: proceedings of the international conference in honour of Jaak Peetre on his 65th birthday: Lund, Sweden, August 17-22, 2000
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
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
Intelligence in Communication Systems: IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand, November 23-26, 2004. Proceedings
View more
Intelligence in Communication Systems: IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand, November 23-26, 2004. 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
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
View more
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
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
Innovations and Interdisciplinary Solutions for Underserved Areas: Second International Conference, InterSol 2018, Kigali, Rwanda, March 24–25, 2018, Proceedings
View more
Innovations and Interdisciplinary Solutions for Underserved Areas: Second International Conference, InterSol 2018, Kigali, Rwanda, March 24–25, 2018, Proceedings
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
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
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
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim
View more
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, Part I
View more
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, Part I
Computer Network Security: 5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, ... Networks and Telecommunications)
View more
Computer Network Security: 5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, ... Networks and Telecommunications)