Computers, Special purpose.
Overview
Works: | 117 works in 15 publications in 15 languages |
---|
Titles
Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Collaboration technologies and social computing = 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017 : proceedings /
by:
(Language materials, printed)
Smart energy research = at the crossroads of engineering, economics, and computer science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017 : revised selected papers /
by:
(Language materials, printed)
Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(Language materials, printed)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(Language materials, printed)
Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers /
by:
(Language materials, printed)
Human-computer interaction = interaction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Human-computer interaction = user interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Pattern recognition and machine intelligence = 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017 : proceedings /
by:
(Language materials, printed)
Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part III /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Computational Advances in Bio and Medical Sciences = 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(Language materials, printed)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(Language materials, printed)
Mobile, Secure, and Programmable Networking = 6th International Conference, MSPN 2020, Paris, France, October 28–29, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Modelling, Analysis, and Simulation of Computer and Telecommunication Systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Information Retrieval = 27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, Proceedings /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(Language materials, printed)
End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(Language materials, printed)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(Language materials, printed)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(Language materials, printed)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(Language materials, printed)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(Language materials, printed)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Communication Technologies for Vehicles = 16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 16–17, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Psychology, Learning, Technology = First International Conference, PLT 2022, Foggia, Italy, January 19–21, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Cyber Warfare, Security and Space Research = First International Conference, SpacSec 2021, Jaipur, India, December 9–10, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Towards Autonomous Robotic Systems = 23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings /
by:
(Language materials, printed)
Virtual Reality and Mixed Reality = 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14–16, 2022, Proceedings /
by:
(Language materials, printed)
Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /
by:
(Language materials, printed)
Dependable Computing – EDCC 2022 Workshops = SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings /
by:
(Language materials, printed)
OpenMP in a Modern World: From Multi-device Support to Meta Programming = 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings /
by:
(Language materials, printed)
Real-Time Systems = Design Principles for Distributed Embedded Applications /
by:
(Language materials, printed)
Explainable and Transparent AI and Multi-Agent Systems = 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Smart Cities, Green Technologies, and Intelligent Transport Systems = 10th International Conference, SMARTGREENS 2021, and 7th International Conference, VEHITS 2021, Virtual Event, April 28–30, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Computational Intelligence, Cyber Security and Computational Models. Recent Trends in Computational Models, Intelligent and Secure Systems = 5th International Conference, ICC3 2021, Coimbatore, India, December 16–18, 2021, Revised Selected Papers /
by:
(Language materials, printed)
HCI International 2022 – Late Breaking Papers: HCI for Health, Well-being, Universal Access and Healthy Aging = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings /
by:
(Language materials, printed)
Computational Advances in Bio and Medical Sciences = 11th International Conference, ICCABS 2021, Virtual Event, December 16–18, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Internet of Things. IoT through a Multi-disciplinary Perspective = 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, The Netherlands, October 27–28, 2022, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Practice = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXXVIII /
by:
(Language materials, printed)
Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Computing = 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22–26, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Software for Modern Challenges = First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV = International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
by:
(Language materials, printed)
Biomimetic and Biohybrid Systems = 11th International Conference, Living Machines 2022, Virtual Event, July 19–22, 2022, Proceedings /
by:
(Language materials, printed)
Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings /
by:
(Language materials, printed)
Interactive Collaborative Robotics = 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings /
by:
(Language materials, printed)
Supercomputing = 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Human Aspects of IT for the Aged Population. Technology in Everyday Living = 8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II /
by:
(Language materials, printed)
OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence /
by:
(Language materials, printed)
Innovations for Community Services = 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13–15, 2022, Proceedings /
by:
(Language materials, printed)
Wireless Mobile Communication and Healthcare = 10th EAI International Conference, MobiHealth 2021, Virtual Event, November 13–14, 2021, Proceedings /
by:
(Language materials, printed)
Coordination Models and Languages = 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings /
by:
(Language materials, printed)
Social Computing and Social Media: Design, User Experience and Impact = 14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities = 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Design, User Experience, and Usability: UX Research, Design, and Assessment = 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Technologies = 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Engineering Psychology and Cognitive Ergonomics = 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings /
by:
(Language materials, printed)
HCI International 2022 Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part IV /
by:
(Language materials, printed)
Human-Computer Interaction. User Experience and Behavior = Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III /
by:
(Language materials, printed)
HCI International 2022 Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II /
by:
(Language materials, printed)
IoT and Big Data Technologies for Health Care = Second EAI International Conference, IoTCare 2021, Virtual Event, October 18-19, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Agents and Artificial Intelligence = 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Computer Supported Cooperative Work and Social Computing = 16th CCF Conference, ChineseCSCW 2021, Xiangtan, China, November 26–28, 2021, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Euro-Par 2022: Parallel Processing = 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Edge Computing – EDGE 2021 = 5th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part IV /
by:
(Language materials, printed)
Smart Card Research and Advanced Applications = 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11–12, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Computing Methodologies = 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation = 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Well-Being in the Information Society: When the Mind Breaks = 9th International Conference, WIS 2022, Turku, Finland, August 25–26, 2022, Proceedings /
by:
(Language materials, printed)
Parallel and Distributed Computing, Applications and Technologies = 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings /
by:
(Language materials, printed)
Passive and Active Measurement = 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings /
by:
(Language materials, printed)
Cloud Computing = 11th EAI International Conference, CloudComp 2021, Virtual Event, December 9–10, 2021, Proceedings /
by:
(Language materials, printed)
Kompatibilitätsverfahren für Profinet-Hardware mit Ethernet Time Sensitive Networks
by:
(Language materials, printed)
Cognitive Systems and Information Processing = 6th International Conference, ICCSIP 2021, Suzhou, China, November 20–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Mobile Networks and Management = 11th EAI International Conference, MONAMI 2021, Virtual Event, October 27-29, 2021, Proceedings /
by:
(Language materials, printed)
Internet of Things. Technology and Applications = 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4–5, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Smart Cities = 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Show more
Fewer
Subjects