Special Purpose and Application-Based Systems.
概要
作品: | 1345 作品在 466 項出版品 466 種語言 |
---|
書目資訊
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Intelligent industrial internet systems = architecture, deployment and applications /
by:
(書目-語言資料,印刷品)
Big data and artificial intelligence = 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Virtual reality and mixed reality = 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 - December 1, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Entertainment computing - ICEC 2023 = 22nd IFIP TC 14 International Conference, ICEC 2023, Bologna, Italy, November 15-17, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Telecommunications and remote sensing = 12th International Conference, ICTRS 2023, Rhodes, Greece, September 18-19, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Scheduling and reconfiguration of real-time systems = a supervisory control approach /
by:
(書目-語言資料,印刷品)
Shape in medical imaging = International Workshop, ShapeMI 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part IX /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part VII /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part VI /
by:
(書目-語言資料,印刷品)
Information and communication technologies = 11th Ecuadorian conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Towards autonomous robotic systems = 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive collaborative robotics = 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Explainable and transparent AI and multi-agent systems = 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Reproducible research in pattern recognition = fourth International Workshop, RRPR 2022, Montreal, Canada, August 21, 2022 : revised selected papers /
by:
(書目-語言資料,印刷品)
Innovations for community services = 23rd International Conference, I4CS 2023, Bamberg, Germany, September 11-13, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale agile frameworks = agile frameworks, agile infrastructure and pragmatic solutions for digital transformation /
by:
(書目-語言資料,印刷品)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Sensor systems and software = 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Social robotics = 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Big data analytics = 10th International Conference, BDA 2022, Ahmedabad, India, December 19-22, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers /
by:
(書目-語言資料,印刷品)
Game theory for networks = 11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Smart Cities = 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mobile Networks and Management = 11th EAI International Conference, MONAMI 2021, Virtual Event, October 27-29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cognitive Systems and Information Processing = 6th International Conference, ICCSIP 2021, Suzhou, China, November 20–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Kompatibilitätsverfahren für Profinet-Hardware mit Ethernet Time Sensitive Networks
by:
(書目-語言資料,印刷品)
Cloud Computing = 11th EAI International Conference, CloudComp 2021, Virtual Event, December 9–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Well-Being in the Information Society: When the Mind Breaks = 9th International Conference, WIS 2022, Turku, Finland, August 25–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Methodologies = 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Smart Card Research and Advanced Applications = 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11–12, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Euro-Par 2022: Parallel Processing = 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
IoT and Big Data Technologies for Health Care = Second EAI International Conference, IoTCare 2021, Virtual Event, October 18-19, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Wireless Mobile Communication and Healthcare = 10th EAI International Conference, MobiHealth 2021, Virtual Event, November 13–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Biomimetic and Biohybrid Systems = 11th International Conference, Living Machines 2022, Virtual Event, July 19–22, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Software for Modern Challenges = First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Computing = 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22–26, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXXVIII /
by:
(書目-語言資料,印刷品)
Computational Advances in Bio and Medical Sciences = 11th International Conference, ICCABS 2021, Virtual Event, December 16–18, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Explainable and Transparent AI and Multi-Agent Systems = 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Dependable Computing – EDCC 2022 Workshops = SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Virtual Reality and Mixed Reality = 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Cyber Warfare, Security and Space Research = First International Conference, SpacSec 2021, Jaipur, India, December 9–10, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Psychology, Learning, Technology = First International Conference, PLT 2022, Foggia, Italy, January 19–21, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Information Retrieval = 27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mobile, Secure, and Programmable Networking = 6th International Conference, MSPN 2020, Paris, France, October 28–29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Advances in Bio and Medical Sciences = 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction = 7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Virtual Reality and Mixed Reality = 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Smart and Sustainable Agriculture = First International Conference, SSA 2021, Virtual Event, June 21-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Social Robotics = 13th International Conference, ICSR 2021, Singapore, Singapore, November 10–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Persuasive Technology = 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Socio-Technical Aspects in Security and Trust = 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
MultiMedia Modeling = 27th International Conference, MMM 2021, Prague, Czech Republic, June 22–24, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Information Retrieval = 27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 21st International Conference, I4CS 2021, Bamberg, Germany, May 26–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Reproducible Research in Pattern Recognition = Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wearables in Healthcare = Second EAI International Conference, HealthWear 2020, Virtual Event, December 10-11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive /
by:
(書目-語言資料,印刷品)
Smart Card Research and Advanced Applications = 19th International Conference, CARDIS 2020, Virtual Event, November 18–19, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Emerging Trends in ICT for Sustainable Development = The Proceedings of NICE2020 International Conference /
by:
(書目-語言資料,印刷品)
Mobile, Secure, and Programmable Networking = 6th International Conference, MSPN 2020, Paris, France, October 28–29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model-Based Engineering of Collaborative Embedded Systems = Extensions of the SPES Methodology /
by:
(書目-語言資料,印刷品)
Advances in Information Retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Data Management Technologies and Applications = 9th International Conference, DATA 2020, Virtual Event, July 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Virtual Event, September 7–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Industrial IoT Technologies and Applications = 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Self Aware Security for Real Time Task Schedules in Reconfigurable Hardware Platforms
by:
(書目-語言資料,印刷品)
Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Benchmarking, Measuring, and Optimizing = Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Explainable and Transparent AI and Multi-Agent Systems = Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Advances in Bio and Medical Sciences = 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning for Networking = Third International Conference, MLN 2020, Paris, France, November 24–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Web and Intelligent Information Systems = 17th International Conference, MobiWIS 2021, Virtual Event, August 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
6GN for Future Wireless Networks = Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Entertainment Computing – ICEC 2020 = 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2020 Workshops = Glasgow, UK, August 23–28, 2020, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Mobile Networks and Management = 10th EAI International Conference, MONAMI 2020, Chiba, Japan, November 10–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Maschinenliebe = Liebespuppen und Sexroboter aus technischer, psychologischer und philosophischer Perspektive /
by:
(書目-語言資料,印刷品)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Social Informatics = 12th International Conference, SocInfo 2020, Pisa, Italy, October 6–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Shape in Medical Imaging = International Workshop, ShapeMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data, Machine Learning, and Applications = First International Conference, BigDML 2019, Silchar, India, December 16–19, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computers Helping People with Special Needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
The Multi-Agent Programming Contest 2019 = Agents Assemble – Block by Block to Victory /
by:
(書目-語言資料,印刷品)
Distributed Artificial Intelligence = Second International Conference, DAI 2020, Nanjing, China, October 24–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Service-Oriented and Cloud Computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Dynamic Data Driven Applications Systems = Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Data Science = 6th International Conference, ICDS 2019, Ningbo, China, May 15–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Image Analysis and Recognition = 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24–26, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Artificial Intelligence = Third Mediterranean Conference, MedPRAI 2019, Istanbul, Turkey, December 22–23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Social Robotics = 12th International Conference, ICSR 2020, Golden, CO, USA, November 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Architectures, Algorithms and Programming = 10th International Symposium, PAAP 2019, Guangzhou, China, December 12–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Gestaltung vernetzt-flexibler Arbeit = Beiträge aus Theorie und Praxis für die digitale Arbeitswelt /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Web and Wireless Geographical Information Systems = 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Haptics: Science, Technology, Applications = 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Embedded and Ubiquitous Computing - EUC 2005 : = International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Computer Music Modeling and Retrieval. Sense of Sounds = 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers /
by:
(書目-語言資料,印刷品)
Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 /
by:
(書目-語言資料,印刷品)
Nonlinear Speech Modeling and Applications = Advanced Lectures and Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Embedded systems specification and design languages = selected contributions from FDL'07 /
by:
(書目-語言資料,印刷品)
E-Voting and identity = 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Latent variable analysis and signal separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Functional Verification of Programmable Embedded Architectures = A Top-Down Approach /
by:
(書目-語言資料,印刷品)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Embedded and Ubiquitous Computing - EUC 2005 Workshops : = EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005
by:
(書目-語言資料,印刷品)
Data and Applications Security XXII = 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
GeoSensor Networks = Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Simulator-based human factors studies across 25 years = the history of the Halden Man-Machine Laboratory /
by:
(書目-語言資料,印刷品)
Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Pervasive computing = 6th international conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Persuasive Technology = Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part IV /
by:
(書目-語言資料,印刷品)
Communication technologies for vehicles = third international workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Office and SharePoint 2007 User's Guide = Integrating SharePoint with Excel, Outlook, Access, and Word /
by:
(書目-語言資料,印刷品)
Computer Music Modeling and Retrieval = Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers /
by:
(書目-語言資料,印刷品)
Dynamic management of sustainable development = methods for large technical systems /
by:
(書目-語言資料,印刷品)
Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
by:
(書目-語言資料,印刷品)
Pervasive Computing = Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
GeoSpatial semantics = 4th international conference, GeoS 2011, Brest, France, May 12-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 15th International Conference, WASA 2020, Qingdao, China, September 13–15, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences = A Reference Model Guided Approach for Common Challenges /
by:
(書目-語言資料,印刷品)
Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
by:
(書目-語言資料,印刷品)
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
(書目-語言資料,印刷品)
Innovative Technologies and Learning = Third International Conference, ICITL 2020, Porto, Portugal, November 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computers Helping People with Special Needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Smart Cities = Second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7–9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 15th International Conference, WASA 2020, Qingdao, China, September 13–15, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Financial Cryptography and Data Security = 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020 Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 6th International Conference, MESAS 2019, Palermo, Italy, October 29–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
HCI International 2020 - Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 21st International Conference, PAM 2020, Eugene, Oregon, USA, March 30–31, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Telematics and Computing = 9th International Congress, WITCOM 2020, Puerto Vallarta, Mexico, November 2–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Ubiquitous Computing Systems = Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Enterprise Applications and Services in the Finance Industry = 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers /
by:
(書目-語言資料,印刷品)
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Learning and intelligent optimization = third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Ambient intelligence = European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
GeoSpatial semantics = third international conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Web and Wireless Geographical Information Systems = 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Self-organizing systems = 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Modelling autonomic communications environments = fourth IEEE international workshop, MACE 2009, Venice, Italy, October 26-27, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Robust and online large-scale optimization = models and techniques for transportation systems /
by:
(書目-語言資料,印刷品)
Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
The definitive guide to catalyst = writing extensible, scalable, and maintainable Perl-based Web applications /
by:
(書目-語言資料,印刷品)
Haptic and audio interaction design = 4th international conference, HAID 2009 Dresden, Germany, September 10-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
E-voting and identity = second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Mobile entity localization and tracking in GPS-less environnments = Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Smart sensing and context = 4th European conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Information security = 12th international conference, ISC 2009, Pisa, Italy, September 7-9, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Personal Satellite Services = International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Grid economics and business models = 6th international workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Social robotics = third international conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Hard real-time computing systems = predictable scheduling algorithms and applications /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Exploring music contents = 7th international symposium, CMMR 2010, Malaga, Spain, June 21-24, 2010 : revised papers /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Ad hoc networks = 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Enhanced building information models = using IoT services and integration patterns /
by:
(書目-語言資料,印刷品)
Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(書目-語言資料,印刷品)
Embedded system technology = 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Autonomous sensor networks = collective sensing strategies for analytical purposes /
by:
(書目-語言資料,印刷品)
Cloud manufacturing = distributed computing technologies for global and sustainable manufacturing /
by:
(書目-語言資料,印刷品)
Towards practical brain-computer interfaces = bridging the gap from research to real-world applications /
by:
(書目-語言資料,印刷品)
Pervasive computing and the networked world = Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(書目-語言資料,印刷品)
Policies and research in identity management = third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Computer networks = 20th international conference, CN 2013, Lwowek Slaski, Poland, June 17-21, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Communication technologies for vehicles = 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Robotics in smart manufacturing = International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced network programming - principles and techniques = network application programming with Java /
by:
(書目-語言資料,印刷品)
E-voting and identify = 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2013 parallel processing = 19th International Conference, Aachen, Germany, August 26-30, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Evaluating AAL systems through competitive benchmarking = international competitions and final workshop, EvAAL 2013, July and September 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 6th international conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 6th international conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
From sounds to music and emotions = 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Economics of grids, clouds, systems, and services = 9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
E-voting and identity = third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Scientific workflows = programming, optimization, and synthesis with ASKALON and AWDL /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Sensor systems and software = third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Critical information infrastructures security = 5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 : revised papers /
by:
(書目-語言資料,印刷品)
Enabling things to talk = designing IoT solutions with the IoT architectural reference model /
by:
(書目-語言資料,印刷品)
Geo-informatics in resource management and sustainable ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Testing software and systems = 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Sensor systems and software = 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013: revised selected papers /
by:
(書目-語言資料,印刷品)
Analog circuit design = low voltage low power; short range wireless front-ends; power management and DC-DC /
by:
(書目-語言資料,印刷品)
RFID: Security and privacy = 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Communication technologies for vehicles = 4th International Workshop, Nets4Cars/Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
From scientific instrument to industrial machine = coping with architectural stress in embedded systems /
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers /
by:
(書目-語言資料,印刷品)
Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactions on computational science IV = special issue on security in computing /
by:
(書目-語言資料,印刷品)
Pervasive computing = 7th international conference,Pervasive 2009, Nara, Japan, May 11-14, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
(書目-語言資料,印刷品)
Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings /
by:
(書目-語言資料,印刷品)
Networks for grid applications = Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 /
by:
(書目-語言資料,印刷品)
Dynamic system reconfiguration in heterogeneous platforms = the MORPHEUS approach /
by:
(書目-語言資料,印刷品)
Ad hoc networks = 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Biometrics in the new world = the cloud, mobile technology and pervasive identity /
by:
(書目-語言資料,印刷品)
Advances in wireless sensor networks = 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Smart homes and health telematics = 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Wireless sensor networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computational intelligence and intelligent systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Pervasive computing paradigms for mental health = 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Human centered computing = second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cloud computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Introducing the oscillations based paradigm = the simulation of agents and social systems /
by:
(書目-語言資料,印刷品)
Haptics = perception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Haptics = perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Industrial IoT technologies and applications = International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive collaborative robotics = first International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2016 = princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Internet science = third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Music, mind, and embodiment = 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Swarm intelligence based optimization = second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advanced model-based engineering of embedded systems = extensions of the SPES 2020 methodology /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in visual computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Advances in visual computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Communication Technologies for Vehicles = 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Ambient Intelligence = 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Love and sex with robots = second International Conference, LSR 2016, London, UK, December 19-20, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Symbiotic interaction = 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
End-user development = 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
E-Business and telecommunications = 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer vision systems = 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2017 = principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30 - November 3, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Selected areas in cryptography - SAC 2016 = 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Wireless mobile communication and healthcare = 6th International Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Critical infrastructure protection XI = 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced concepts for intelligent vision systems = 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Visionary Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent human computer interaction = 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Virtual reality and augmented reality = 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Sensor systems and software = 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Smart objects and technologies for social good = second International Conference, GOODTECHS 2016, Venice, Italy, November 30 - December 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Collaboration technologies and social computing = 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Towards autonomous robotic systems = 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Quality, reliability, security and robustness in heterogeneous networks = 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Industrial IoT technologies and applications = second EAI International Conference, Industrial IoT 2017, Wuhu, China, March 25-26, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Smart grid inspired future technologies = second EAI International Conference, SmartGIFT 2017, London, UK, March 27-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in artificial intelligence = 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Enhanced quality of life and smart living = 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive collaborative robotics = second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Pro Java clustering and scalability = building real-time apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ /
by:
(書目-語言資料,印刷品)
KI 2017 = advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Smart technology = first International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Modelling and simulation for autonomous systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Persuasive technology = 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Communication technologies for vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Mobile networks and management = 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Symbiotic interaction = 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18-19, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Autonomous control for a reliable internet of services = methods, models, approaches, techniques, algorithms, and tools /
by:
(書目-語言資料,印刷品)
Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Social networks science = design, implementation, security, and challenges : from social networks analysis to social networks intelligence /
by:
(書目-語言資料,印刷品)
Smart STEM-driven computer science education = theory, methodology and robot-based practices /
by:
(書目-語言資料,印刷品)
e-Learning, e-Education, and online training = 4th International Conference, eLEOT 2018, Shanghai, China, April 5-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Haptics = science, technology, and applications : 11th international conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Haptics = science, technology, and applications : 11th international conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Hybrid artificial intelligent systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Service-oriented computing - ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in swarm intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Information security theory and practice = 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computers helping people with special needs = 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Articulated motion and deformable objects = 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Emerging technologies in computing = first International Conference, iCETiC 2018, London, UK, August 23-24, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Internet and distributed computing systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mobile web and intelligent information systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Biomimetic and biohybrid systems = 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Bioinformatics research and applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Augmented reality, virtual reality, and computer graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Augmented reality, virtual reality, and computer graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Wireless mobile communication and healthcare = 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = Third International Conference, ICR 2018, Leipzig, Germany, September 18-22, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Innovative technologies and learning = first International Conference, ICITL 2018, Portoroz, Slovenia, August 27-30, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computational collective intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Cellular automata = 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced computer architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Understanding modern dive computers and operation = protocols, models, tests, data, risk and applications /
by:
(書目-語言資料,印刷品)
Computer vision - ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018 : proceedings.. Part XI /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer vision - ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018 : proceedings.. Part XVI /
by:
(書目-語言資料,印刷品)
Cooperative design, visualization, and engineering = 15th International Conference, CDVE 2018, Hangzhou, China, October 21-24, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning and intelligent communications = third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
IoT as a service = third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Case-based reasoning research and development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computer vision - ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Web and big data = APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23-25, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Internet and distributed computing systems = 11th International Conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Ambient intelligence = 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2018 = principles and practice of multi-agent systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Internet of vehicles = technologies and services towards smart city : 5th International Conference, IOV 2018, Paris, France, November 20-22, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial image analysis = 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22-24, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXXVIII = special issue on database- and expert-systems applications /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Social robotics = 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
AI 2018 = advances in artificial intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Software technologies = applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Robot intelligence technology and applications = 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16-18, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Gerontechnology = first International Workshop, IWoG 2018, Caceres, Spain, and Evora, Portugal, 14 and 17 December, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
5G for future wireless networks = second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Mobile web and intelligent information systems = 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling and using context = 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial general intelligence = 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computer analysis of images and ptterns = 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computer analysis of images and patterns = 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Cooperative design, visualization, and engineering = 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptographic hardware and embedded systems - CHES 2017 = 19th International Conference, Taipei, Taiwan, September 25-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Industrial applications of holonic and multi-agent systems = 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part VI /
by:
(書目-語言資料,印刷品)
Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Passive and active measurement = 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Pattern recognition and machine intelligence = 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Smart cities = second International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Social robotics = 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning for networking = first International Conference, MLN 2018, Paris, France, November 27-29, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Mobile, secure, and programmable networking = 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23-24, 2019 : revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial intelligence in education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Artificial intelligence in education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Towards autonomous robotic systems = 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Communication Technologies for Vehicles = 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16-17, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence for communications and networks = first EAI International Conference, AICON 2019, Harbin, China, May 25-26, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Artificial intelligence for communications and networks = first EAI International Conference, AICON 2019, Harbin, China, May 25-26, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
HCI International 2019 - posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
HCI International 2019 - posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Automotive systems and software engineering = state of the art and future trends /
by:
(書目-語言資料,印刷品)
Emerging technologies in computing = second International Conference, iCETiC 2019, London, UK, August 19-20, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Towards autonomous robotic systems = 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Intelligent computing methodologies = 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Smart grid inspired future technologies = first International Conference, SmartGIFT 2016, Liverpool, UK, May 19-20, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
eHealth 360 = International Summit on eHealth, Budapest, Hungary, June 14-16, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Applications for future internet = International Summit, AFI 2016, Puebla, Mexico, May 25-28, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Ad hoc networks = 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Future intelligent vehicular technologies = first International Conference, Future 5V 2016, Porto, Portugal, September 15, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Mobile networks and management = 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Electronic voting = first International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent human computer interaction = 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning and intelligent communications = first International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Human Centered Computing = First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Communication Technologies for Vehicles = 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
E-Voting and Identity = 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Ad Hoc Networks = 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Interaktive Systeme = Band 2: User Interface Engineering, 3D-Interaktion, Natural User Interfaces /
by:
(書目-語言資料,印刷品)
Smart Homes and Health Telematics = 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Things. IoT Infrastructures = First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Enhanced Building Information Models = Using IoT Services and Integration Patterns /
by:
(書目-語言資料,印刷品)
Systemkonsolidierung und Datenmigration als Erfolgsfaktoren = HMD Best Paper Award 2014 /
by:
(書目-語言資料,印刷品)
Advances in Spatial Data Handling and Analysis = Select Papers from the 16th IGU Spatial Data Handling Symposium /
by:
(書目-語言資料,印刷品)
Internet of Things. User-Centric IoT = First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings /
by:
(書目-語言資料,印刷品)
Embedded System Technology = 13th National Conference, ESTC 2015, Beijing, China, October 10–11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Wireless Sensor Networks = The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Entwicklung mobiler Apps = Konzepte, Anwendungsbausteine und Werkzeuge im Business und E-Health /
by:
(書目-語言資料,印刷品)
The Visual Language of Technique = Volume 2 - Heritage and Expectations in Research /
by:
(書目-語言資料,印刷品)
Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Pervasive Computing Paradigms for Mental Health = 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cloud Computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Industrial IoT Technologies and Applications = International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Internet of Things Technologies for HealthCare = Third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Human Centered Computing = Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Model-Based Engineering of Embedded Systems = Extensions of the SPES 2020 Methodology /
by:
(書目-語言資料,印刷品)
Embedded Controller = Grundlagen und praktische Umsetzung für industrielle Anwendungen /
by:
(書目-語言資料,印刷品)
PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 /
by:
(書目-語言資料,印刷品)
Introducing the Oscillations Based Paradigm = The Simulation of Agents and Social Systems /
by:
(書目-語言資料,印刷品)
Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Internet Science = Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Music, Mind, and Embodiment = 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Visual Computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Visual Computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Intelligence and Intelligent Systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bioinformatics Research and Applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Case-Based Reasoning Research and Development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII = Special Issue on Database- and Expert-Systems Applications /
by:
(書目-語言資料,印刷品)
Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
IoT as a Service = Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Web-Based Learning – ICWL 2018 = 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Innovative Technologies and Learning = First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Internet Multimedia Computing and Service = 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Swarm Intelligence = 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Big Data = APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Ambient Intelligence = 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Haptics: Science, Technology, and Applications = 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Blended Learning. Enhancing Learning Success = 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Vehicles. Technologies and Services Towards Smart City = 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cooperative Design, Visualization, and Engineering = 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Emerging Technologies in Computing = First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Social Networks Science: Design, Implementation, Security, and Challenges = From Social Networks Analysis to Social Networks Intelligence /
by:
(書目-語言資料,印刷品)
Virtual Reality and Augmented Reality = 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata = 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multi-disciplinary Trends in Artificial Intelligence = 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Persuasive Technology = 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Web and Intelligent Information Systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Understanding Modern Dive Computers and Operation = Protocols, Models, Tests, Data, Risk and Applications /
by:
(書目-語言資料,印刷品)
Machine Learning and Intelligent Communications = Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Social Robotics = 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Queueing Theory and Network Applications = 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
KI 2018: Advances in Artificial Intelligence = 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
ICT Innovations 2018. Engineering and Life Sciences = 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Mobile Communication and Healthcare = 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligence Science II = Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computers Helping People with Special Needs = 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Communication Technologies for Vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
5G for Future Wireless Networks = First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Smart Technology = First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
MultiMedia Modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Ad Hoc Networks = 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Networks and Management = 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Symbiotic Interaction = 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web Engineering = 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Haptics: Science, Technology, and Applications = 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Autonomous Control for a Reliable Internet of Services = Methods, Models, Approaches, Techniques, Algorithms, and Tools /
by:
(書目-語言資料,印刷品)
Global Thoughts, Local Designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Smart Objects and Technologies for Social Good = Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Emerging Technologies for Developing Countries = First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings /
by:
(書目-語言資料,印刷品)
Love and Sex with Robots = Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Smart STEM-Driven Computer Science Education = Theory, Methodology and Robot-based Practices /
by:
(書目-語言資料,印刷品)
Wireless Internet = 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
e-Learning, e-Education, and Online Training = 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Articulated Motion and Deformable Objects = 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Communications and Networking = 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Communications and Networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Information Security Theory and Practice = 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Ubiquitous Communications and Network Computing = First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
MultiMedia Modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Biomimetic and Biohybrid Systems = 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Health = First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Mobile Web and Intelligent Information Systems = 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile, Secure, and Programmable Networking = 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing by Mobile Entities = Current Research in Moving and Computing /
by:
(書目-語言資料,印刷品)
5G for Future Wireless Networks = Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = 4th International Conference, ICR 2019, Istanbul, Turkey, August 20–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Machine Learning for Networking = First International Conference, MLN 2018, Paris, France, November 27–29, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = Second CCF International Conference, ICAI 2019, Xuzhou, China, August 22-23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Gerontechnology = First International Workshop, IWoG 2018, Cáceres, Spain, and Évora, Portugal, 14 and 17 December, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Supported Cooperative Work and Social Computing = 14th CCF Conference, ChineseCSCW 2019, Kunming, China, August 16–18, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
The Multi-Agent Programming Contest 2018 = Agents Teaming Up in an Urban Environment /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Analysis of Images and Patterns = 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Wired/Wireless Internet Communications = 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile, Secure, and Programmable Networking = 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Green, Pervasive, and Cloud Computing = 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Communication Systems and Networks = 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Robot Intelligence Technology and Applications = 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16–18, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Systems Security = 15th International Conference, ICISS 2019, Hyderabad, India, December 16–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Databases Theory and Applications = 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 – February 1, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Image Analysis and Processing – ICIAP 2019 = 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Supported Cooperative Work and Social Computing = 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web and Wireless Geographical Information Systems = 17th International Symposium, W2GIS 2019, Kyoto, Japan, May 16–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
How AI Impacts Urban Living and Public Health = 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Entertainment Computing and Serious Games = First IFIP TC 14 Joint International Conference, ICEC-JCSG 2019, Arequipa, Peru, November 11–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
CyberParks – The Interface Between People, Places and Technology = New Approaches and Perspectives /
by:
(書目-語言資料,印刷品)
Semantic Systems. The Power of AI and Knowledge Graphs = 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Social Robotics = 11th International Conference, ICSR 2019, Madrid, Spain, November 26–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Supercomputing = 9th International Conference, ISUM 2018, Mérida, Mexico, March 5–9, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Security and Quality in Cyber-Physical Systems Engineering = With Forewords by Robert M. Lee and Tom Gilb /
by:
(書目-語言資料,印刷品)
HCI International 2019 – Late Breaking Posters = 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Praxishandbuch JIT/JIS mit SAP® = Die Just-in-Time und Just-in-Sequence Abwicklung mit SAP® /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Green, Pervasive, and Cloud Computing = 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Innovative Technologies and Learning = Second International Conference, ICITL 2019, Tromsø, Norway, December 2–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Virtual Reality and Augmented Reality = 16th EuroVR International Conference, EuroVR 2019, Tallinn, Estonia, October 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Emerging Technologies in Computing = Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers /
by:
(書目-語言資料,印刷品)
Automotive Systems and Software Engineering = State of the Art and Future Trends /
by:
(書目-語言資料,印刷品)
Communication Technologies for Vehicles = 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Methodologies = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Image Analysis and Processing – ICIAP 2019 = 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Blockchain und maschinelles Lernen = Wie das maschinelle Lernen und die Distributed-Ledger-Technologie voneinander profitieren /
by:
(書目-語言資料,印刷品)
Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 13th China Conference, CWSN 2019, Chongqing, China, October 12–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
更多
較少的
主題