Computer System Implementation.
概要
| 作品: | 874 作品在 316 項出版品 316 種語言 | |
|---|---|---|
書目資訊
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Reconfigurable Computing: Architectures, Tools and Applications = 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems = ARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems-ARCS 2008 = 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Scalable information systems = 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Cloud computing = First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Cisco networks = engineers' handbook of routing, switching, and security with IOS, NX-OS, and ASA /
by:
(書目-語言資料,印刷品)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(書目-語言資料,印刷品)
Using Scribe Insight = developing integrations and migrations using the Scribe Insight platform /
by:
(書目-語言資料,印刷品)
Embedded system technology = 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in wireless sensor networks = 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2013 = 26th International Conference, Prague, Czech Republic, February 19-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(書目-語言資料,印刷品)
Supercomputing = 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Detection of intrusions and malware, and vulnerability assessment = 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Digital forensics and cyber crime = third International ICST Conference, ICDF2C 2011, Dublin, Ireland, October 26-28, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
E-Business and telecommunications = International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Reflections on the history of computing = preserving memories and sharing stories /
by:
(書目-語言資料,印刷品)
Guide to reliable distributed systems = building high-assurance applications and cloud-hosted services /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2012 = 25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2009 = 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings /
by:
(書目-語言資料,印刷品)
Reconfigurable computing = architectures, tools and applications : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2014 = 27th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Fluid Dynamics = 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Learn electronics with Raspberry Pi = physical computing with circuits, sensors, outputs, and projects /
by:
(書目-語言資料,印刷品)
Advanced computer architecture = 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Swarm intelligence based optimization = second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
IT through experiential learning = learn, deploy and adopt IT through gamification /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 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:
(書目-語言資料,印刷品)
Selected areas in cryptography - SAC 2016 = 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Critical information infrastructures security = 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Constructive side-channel analysis and secure design = 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Electric vehicle sharing services for smarter cities = the Green Move project for Milan: from service design to technology deployment /
by:
(書目-語言資料,印刷品)
Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9-12, 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:
(書目-語言資料,印刷品)
High performance computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Evaluation of novel approaches to software engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Bioinformatics research and applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced computer architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXXVIII = special issue on database- and expert-systems applications /
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:
(書目-語言資料,印刷品)
Systems engineering in context = proceedings of the 16th Annual Conference on Systems Engineering Research /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers /
by:
(書目-語言資料,印刷品)
Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Become ITIL Foundation certified in 7 days = learning ITIL made simple with real-life examples /
by:
(書目-語言資料,印刷品)
Languages and compilers for parallel computing = 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016 : revised papers /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Trustworthy Computing and Services = International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers /
by:
(書目-語言資料,印刷品)
Cisco Networks = Engineers' Handbook of Routing, Switching, and Security with IOS, NX-OS, and ASA /
by:
(書目-語言資料,印刷品)
Guide to DataFlow Supercomputing = Basic Concepts, Case Studies, and a Detailed Example /
by:
(書目-語言資料,印刷品)
Embedded System Technology = 13th National Conference, ESTC 2015, Beijing, China, October 10–11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Entwicklung mobiler Apps = Konzepte, Anwendungsbausteine und Werkzeuge im Business und E-Health /
by:
(書目-語言資料,印刷品)
Advanced Computer Architecture = 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
IT Through Experiential Learning = Learn, Deploy and Adopt IT through Gamification /
by:
(書目-語言資料,印刷品)
Learn Electronics with Raspberry Pi = Physical Computing with Circuits, Sensors, Outputs, and Projects /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
IT-Sicherheit für TCP/IP- und IoT-Netzwerke = Grundlagen, Konzepte, Protokolle, Härtung /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 = A Comprehensive Certification Guide /
by:
(書目-語言資料,印刷品)
Systems Engineering in Context = Proceedings of the 16th Annual Conference on Systems Engineering Research /
by:
(書目-語言資料,印刷品)
Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quantum Technology and Optimization Problems = First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings /
by:
(Language materials, printed)
Distributed Computing by Mobile Entities = Current Research in Moving and Computing /
by:
(Language materials, printed)
Economics of Grids, Clouds, Systems, and Services = 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings /
by:
(Language materials, printed)
Computer Networks / Computernetze = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch /
by:
(Language materials, printed)
The IT Support Handbook = A How-To Guide to Providing Effective Help and Support to IT Users /
by:
(Language materials, printed)
Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Cyber Physical Systems. Design, Modeling, and Evaluation = 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Supercomputing = 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Human Centered Computing = 5th International Conference, HCC 2019, Čačak, Serbia, August 5–7, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings /
by:
(Language materials, printed)
Pervasive Computing: A Networking Perspective and Future Directions
by:
(Language materials, printed)
OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Transactions on High-Performance Embedded Architectures and Compilers V
by:
(Language materials, printed)
Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings /
by:
(Language materials, printed)
Pattern Recognition and Information Processing = 14th International Conference, PRIP 2019, Minsk, Belarus, May 21–23, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Cloud Computing and Services Science = 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Hybrid System Identification = Theory and Algorithms for Learning Switching Models /
by:
(Language materials, printed)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings /
by:
(Language materials, printed)
Smart City and Informatization = 7th International Conference, iSCI 2019, Guangzhou, China, November 12–15, 2019, Proceedings /
by:
(Language materials, printed)
Coordination Models and Languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings /
by:
(Language materials, printed)
Big Scientific Data Benchmarks, Architecture, and Systems = First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings /
by:
(Language materials, printed)
Big Data = 7th CCF Conference, BigData 2019, Wuhan, China, September 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Architecture of Computing Systems – ARCS 2019 = 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(Language materials, printed)
Computational Neuroscience = Second Latin American Workshop, LAWCN 2019, São João Del-Rei, Brazil, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Angewandte Netzwerktechnik kompakt = Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen /
by:
(Language materials, printed)
Agents and Artificial Intelligence = 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity = 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Methods and Applications for Modeling and Simulation of Complex Systems = 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings /
by:
(Language materials, printed)
Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health = International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Computer Engineering and Technology = 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Wireless Sensor Networks = 13th China Conference, CWSN 2019, Chongqing, China, October 12–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Applications of Computational Intelligence = Second IEEE Colombian Conference, ColCACI 2019, Barranquilla, Colombia, June 5-7, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Dependability in Sensor, Cloud, and Big Data Systems and Applications = 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings /
by:
(Language materials, printed)
Innovative Security Solutions for Information Technology and Communications = 12th International Conference, SecITC 2019, Bucharest, Romania, November 14–15, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Web and Wireless Geographical Information Systems = 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings /
by:
(Language materials, printed)
Swarm Intelligence = 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings /
by:
(Language materials, printed)
Evolving Perspectives on ICTs in Global Souths = 11th International Development Informatics Association Conference, IDIA 2020, Macau, China, March 25–27, 2020, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Applications = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Emerging Technologies for Authorization and Authentication = Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Ubiquitous Networking = 5th International Symposium, UNet 2019, Limoges, France, November 20–22, 2019, Revised Selected Papers /
by:
(Language materials, printed)
HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Architecture of Computing Systems – ARCS 2020 = 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Gerontechnology = Second International Workshop, IWoG 2019, Cáceres, Spain, September 4–5, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Building Information Modeling = First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Simulation Science = Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings /
by:
(Language materials, printed)
Internet, Cyber- und IT-Sicherheit von A-Z = Aktuelle Begriffe kurz und einfach erklärt – Für Beruf, Studium und Privatleben /
by:
(Language materials, printed)
Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Image Analysis and Recognition = 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24–26, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
by:
(Language materials, printed)
Cyber Security Cryptography and Machine Learning = Fourth International Symposium, CSCML 2020, Be'er Sheva, Israel, July 2–3, 2020, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
(Language materials, printed)
Data Science = 6th International Conference, ICDS 2019, Ningbo, China, May 15–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Technologies and Applications = Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings /
by:
(Language materials, printed)
Computing Science, Communication and Security = First International Conference, COMS2 2020, Gujarat, India, March 26–27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Dynamic Data Driven Applications Systems = Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings /
by:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings /
by:
(Language materials, printed)
On the Move to Meaningful Internet Systems: OTM 2019 Workshops = Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers /
by:
(Language materials, printed)
IoT Technologies for HealthCare = 6th EAI International Conference, HealthyIoT 2019, Braga, Portugal, December 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Distributed, Ambient and Pervasive Interactions = 8th International Conference, DAPI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings /
by:
(Language materials, printed)
Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
(Language materials, printed)
Real VR – Immersive Digital Reality = How to Import the Real World into Head-Mounted Immersive Displays /
by:
(Language materials, printed)
Environmental Software Systems. Data Science in Action = 13th IFIP WG 5.11 International Symposium, ISESS 2020, Wageningen, The Netherlands, February 5–7, 2020, Proceedings /
by:
(Language materials, printed)
Big Data and Security = First International Conference, ICBDS 2019, Nanjing, China, December 20–22, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Dependable Computing - EDCC 2020 Workshops = AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings /
by:
(Language materials, printed)
Service-Oriented Computing – ICSOC 2019 Workshops = WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers /
by:
(Language materials, printed)
New Trends in Information and Communications Technology Applications = 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings /
by:
(Language materials, printed)
Passive and Active Measurement = 21st International Conference, PAM 2020, Eugene, Oregon, USA, March 30–31, 2020, Proceedings /
by:
(Language materials, printed)
Financial Cryptography and Data Security = FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(Language materials, printed)
Advanced Computer Architecture = 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings /
by:
(Language materials, printed)
Data Science = 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Innovations for Community Services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12–14, 2020, Proceedings /
by:
(Language materials, printed)
The Impact of Digital Technologies on Public Health in Developed and Developing Countries = 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings /
by:
(Language materials, printed)
Information Security and Cryptology = 15th International Conference, Inscrypt 2019, Nanjing, China, December 6–8, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Cyber Physical Systems. Model-Based Design = 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
From Lambda Calculus to Cybersecurity Through Program Analysis = Essays Dedicated to Chris Hankin on the Occasion of His Retirement /
by:
(Language materials, printed)
Electronic Governance and Open Society: Challenges in Eurasia = 6th International Conference, EGOSE 2019, St. Petersburg, Russia, November 13–14, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers /
by:
(Language materials, printed)
HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Space Information Networks = 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Machine Learning for Cyber Security = Third International Conference, ML4CS 2020, Guangzhou, China, October 8–10, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings /
by:
(Language materials, printed)
Wireless Internet = 12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26–27, 2019, Proceedings /
by:
(Language materials, printed)
Financial Cryptography and Data Security = 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020 Revised Selected Papers /
by:
(Language materials, printed)
Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings /
by:
(Language materials, printed)
Computer Aided Systems Theory – EUROCAST 2019 = 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Computernetze kompakt = Eine an der Praxis orientierte Einführung für Studium und Berufspraxis /
by:
(Language materials, printed)
New Frontiers in Mining Complex Patterns = 8th International Workshop, NFMCP 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Measurement, Modelling and Evaluation of Computing Systems = 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Computational Intelligence, Security and Internet of Things = Second International Conference, ICCISIoT 2019, Agartala, India, December 13–14, 2019, Proceedings /
by:
(Language materials, printed)
Smart Cities = Second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7–9, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
(Language materials, printed)
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Emerging Technology Trends in Electronics, Communication and Networking = Third International Conference, ET2ECN 2020, Surat, India, February 7–8, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Green, Pervasive, and Cloud Computing – GPC 2020 Workshops = 15th International Conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Cyber Security = First International Conference, ACeS 2019, Penang, Malaysia, July 30 – August 1, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
by:
(Language materials, printed)
Computer Vision and Graphics = International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings /
by:
(Language materials, printed)
Big Data Analytics and Knowledge Discovery = 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings /
by:
(Language materials, printed)
Software Architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Intelligence and Security = 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics = 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Security = 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking for the Era of Cloud(s) = 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Scalable Uncertainty Management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings /
by:
(Language materials, printed)
Applied Technologies = First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Information and Communication Technologies = 8th Conference, TICEC 2020, Guayaquil, Ecuador, November 25–27, 2020, Proceedings /
by:
(Language materials, printed)
Applied Technologies = First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Quality of Information and Communications Technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings /
by:
(Language materials, printed)
Electronic Voting = 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings /
by:
(Language materials, printed)
Computational Logistics = 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings /
by:
(Language materials, printed)
HCI International 2020 – Late Breaking Papers: Interaction, Knowledge and Social Media = 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VII /
by:
(Language materials, printed)
Big Data, Machine Learning, and Applications = First International Conference, BigDML 2019, Silchar, India, December 16–19, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Designing for Digital Transformation. Co-Creating Services with Citizens and Industry = 15th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2020, Kristiansand, Norway, December 2–4, 2020, Proceedings /
by:
(Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Information and Software Technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
by:
(Language materials, printed)
Research and the Future of Telematics = 20th International Conference on Transport Systems Telematics, TST 2020, Kraków, Poland, October 27-30, 2020, Selected Papers /
by:
(Language materials, printed)
Pattern Recognition and Computer Vision = Third Chinese Conference, PRCV 2020, Nanjing, China, October 16–18, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings /
by:
(Language materials, printed)
Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Economics of Grids, Clouds, Systems, and Services = 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Theory of Cryptography = 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V /
by:
(Language materials, printed)
Mobile Computing, Applications, and Services = 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings /
by:
(Language materials, printed)
Urban Intelligence and Applications = Second International Conference, ICUIA 2020, Taiyuan, China, August 14–16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Communication Technologies for Vehicles = 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16–17, 2020, Proceedings /
by:
(Language materials, printed)
Mobile Networks and Management = 10th EAI International Conference, MONAMI 2020, Chiba, Japan, November 10–12, 2020, Proceedings /
by:
(Language materials, printed)
Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI = 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Trends in Computational Intelligence, Security and Internet of Things = Third International Conference, ICCISIoT 2020, Tripura, India, December 29-30, 2020, Proceedings /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14–18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Distributed Computer and Communication Networks: Control, Computation, Communications = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning = Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
(Language materials, printed)
Cyber Security = 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Databases and Information Systems = 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings /
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)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(Language materials, printed)
Spatial Data and Intelligence = First International Conference, SpatialDI 2020, Virtual Event, May 8–9, 2020, Proceedings /
by:
(Language materials, printed)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Digital Health and Medical Analytics = Second International Conference, DHA 2020, Beijing, China, July 25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Machine Learning for Networking = Third International Conference, MLN 2020, Paris, France, November 24–26, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Computational Intelligence = 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16–18, 2021, Proceedings, Part II /
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)
IT-Sicherheit für TCP/IP- und IoT-Netzwerke = Grundlagen, Konzepte, Protokolle, Härtung /
by:
(Language materials, printed)
Advances in Computational Intelligence = 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16–18, 2021, Proceedings, Part I /
by:
(Language materials, printed)
HCI in Games: Experience Design and Game Mechanics = Third International Conference, HCI-Games 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Engineering Psychology and Cognitive Ergonomics = 18th International Conference, EPCE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings /
by:
(Language materials, printed)
Universal Access in Human-Computer Interaction. Design Methods and User Experience = 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I /
by:
(Language materials, printed)
HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 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 II /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(Language materials, printed)
Benchmarking, Measuring, and Optimizing = Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings /
by:
(Language materials, printed)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Service-Oriented and Cloud Computing = International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
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)
Data Science = 7th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2021, Taiyuan, China, September 17–20, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Flexible Query Answering Systems = 14th International Conference, FQAS 2021, Bratislava, Slovakia, September 19–24, 2021, Proceedings /
by:
(Language materials, printed)
Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers /
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)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computer Vision and Image Processing = 5th International Conference, CVIP 2020, Prayagraj, India, December 4-6, 2020, Revised Selected Papers, Part III /
by:
(Language materials, printed)
Futuristic Trends in Network and Communication Technologies = Third International Conference, FTNCT 2020, Taganrog, Russia, October 14–16, 2020, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VIII /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VII /
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)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Computational Sciences - Modelling, Computing and Soft Computing = First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Silicon Valley Cybersecurity Conference = First Conference, SVCC 2020, San Jose, CA, USA, December 17–19, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Futuristic Trends in Network and Communication Technologies = Third International Conference, FTNCT 2020, Taganrog, Russia, October 14–16, 2020, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Distributed Computing and Internet Technology = 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings /
by:
(Language materials, printed)
Big Data Technologies and Applications = 10th EAI International Conference, BDTA 2020, and 13th EAI International Conference on Wireless Internet, WiCON 2020, Virtual Event, December 11, 2020, Proceedings /
by:
(Language materials, printed)
Space Information Network = 5th International Conference SINC 2020, Shenzhen, China, December 19–20, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking = 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VI /
by:
(Language materials, printed)
Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 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)
Collaborative Computing: Networking, Applications and Worksharing = 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Emerging Trends in ICT for Sustainable Development = The Proceedings of NICE2020 International Conference /
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)
Smart Cities, Green Technologies and Intelligent Transport Systems = 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Ad Hoc Networks = 12th EAI International Conference, ADHOCNETS 2020, Paris, France, November 17, 2020, Proceedings /
by:
(Language materials, printed)
Model-Driven Engineering and Software Development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Innovative Security Solutions for Information Technology and Communications = 13th International Conference, SecITC 2020, Bucharest, Romania, November 19–20, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Machine Learning and Metaheuristics Algorithms, and Applications = Second Symposium, SoMMA 2020, Chennai, India, October 14–17, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Smart Cities = Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers /
by:
(Language materials, printed)
The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Security in Computing and Communications = 8th International Symposium, SSCC 2020, Chennai, India, October 14–17, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Advanced Computing = 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Wearables in Healthcare = Second EAI International Conference, HealthWear 2020, Virtual Event, December 10-11, 2020, Proceedings /
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)
Applied Computer Sciences in Engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings /
by:
(Language materials, printed)
Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII = Special Issue In Memory of Univ. Prof. Dr. Roland Wagner /
by:
(Language materials, printed)
Industrial Networks and Intelligent Systems = 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings /
by:
(Language materials, printed)
Innovations for Community Services = 21st International Conference, I4CS 2021, Bamberg, Germany, May 26–28, 2021, Proceedings /
by:
(Language materials, printed)
Tools for Design, Implementation and Verification of Emerging Information Technologies = 15th EAI International Conference, TridentCom 2020, Virtual Event, November 13, 2020, Proceedings /
by:
(Language materials, printed)
Cybersecurity in Emerging Digital Era = First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Quality, Reliability, Security and Robustness in Heterogeneous Systems = 16th EAI International Conference, QShine 2020, Virtual Event, November 29–30, 2020, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Model and Data Engineering in the Digitalization Era = MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX /
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)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(Language materials, printed)
Advanced Informatics for Computing Research = 4th International Conference, ICAICR 2020, Gurugram, India, December 26–27, 2020, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Socio-Technical Aspects in Security and Trust = 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Big Data and Security = Second International Conference, ICBDS 2020, Singapore, Singapore, December 20–22, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers /
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)
Persuasive Technology = 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12–14, 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)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings /
by:
(Language materials, printed)
Database and Expert Systems Applications - DEXA 2021 Workshops = BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 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)
Smart Cities, Green Technologies, and Intelligent Transport Systems = 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops = 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25–27, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Pattern Recognition and Computer Vision = 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 – November 1, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Applied Informatics = Fourth International Conference, ICAI 2021, Buenos Aires, Argentina, October 28–30, 2021, Proceedings /
by:
(Language materials, printed)
Financial Cryptography and Data Security = 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Towards Autonomous Robotic Systems = 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
E-Business and Telecommunications = 17th International Conference on E-Business and Telecommunications, ICETE 2020, Online Event, July 8–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 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)
Theoretical Computer Science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Smart and Sustainable Agriculture = First International Conference, SSA 2021, Virtual Event, June 21-22, 2021, Proceedings /
by:
(Language materials, printed)
Security and Privacy in Social Networks and Big Data = 7th International Symposium, SocialSec 2021, Fuzhou, China, November 19–21, 2021, Proceedings /
by:
(Language materials, printed)
HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 Proceedings /
by:
(Language materials, printed)
Advanced Research in Technologies, Information, Innovation and Sustainability = First International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25–27, 2021, Proceedings /
by:
(Language materials, printed)
Virtual Reality and Mixed Reality = 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Computer Architecture and Organization = Fundamentals and Architecture Security /
by:
(Language materials, printed)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Deceptive AI = First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings /
by:
(Language materials, printed)
Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Bio-Inspired Information and Communications Technologies = 13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings /
by:
(Language materials, printed)
Wireless Sensor Networks = 15th China Conference, CWSN 2021, Guilin, China, October 22–25, 2021, Revised Selected Papers /
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)
Data Science and Computational Intelligence = Sixteenth International Conference on Information Processing, ICInPro 2021, Bengaluru, India, October 22–24, 2021, Proceedings /
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)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
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)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(Language materials, printed)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VIII /
by:
(Language materials, printed)
Advances in Computational Intelligence = 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16–18, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Computational Intelligence = 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16–18, 2021, Proceedings, Part I /
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)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(Language materials, printed)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
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)
Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
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)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VII /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking = 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VI /
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)
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)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 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)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX /
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)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 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)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
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)
Computational Methods in Systems Biology = 20th International Conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022, Proceedings /
by:
(Language materials, printed)
Science and Technologies for Smart Cities = 7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings /
by:
(Language materials, printed)
Software Architecture = 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Systems, Software and Services Process Improvement = 29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 – September 2, 2022, Proceedings /
by:
(Language materials, printed)
Computer Networks / Computernetze = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch /
by:
(Language materials, printed)
Towards Autonomous Robotic Systems = 23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings /
by:
(Language materials, printed)
A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /
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)
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)
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
(Language materials, printed)
Pattern Recognition = 44th DAGM German Conference, DAGM GCPR 2022, Konstanz, Germany, September 27–30, 2022, Proceedings /
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)
Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Sensor Networks = 9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28–29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9–10, 2021, Revised Selected Papers /
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)
Computernetze kompakt = Eine praxisorientierte Einführung für Studium und Beruf /
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)
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)
Pattern Recognition and Computer Vision = 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4–7, 2022, 2022, Proceedings, Part IV /
by:
(Language materials, printed)
Pattern Recognition and Computer Vision = 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4–7, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Telematics and Computing = 11th International Congress, WITCOM 2022, Cancún, México, November 7–11, 2022, Proceedings /
by:
(Language materials, printed)
Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings /
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)
Information Security Practice and Experience = 17th International Conference, ISPEC 2022, Taipei, Taiwan, November 23–25, 2022, Proceedings /
by:
(Language materials, printed)
Advanced Data Mining and Applications = 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28–30, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = 9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 – December 2, 2022, Proceedings /
by:
(Language materials, printed)
HCI International 2022 – Late Breaking Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II /
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)
Intelligent Information and Database Systems = 14th Asian Conference, ACIIDS 2022, Ho Chi Minh City, Vietnam, November 28–30, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Architecture of Computing Systems = 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–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)
High Performance Computing = 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings /
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)
Industrial Networks and Intelligent Systems = 8th EAI International Conference, INISCOM 2022, Virtual Event, April 21–22, 2022, Proceedings /
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)
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)
HCI International 2022 Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
(Language materials, printed)
Systems, Signals and Image Processing = 28th International Conference, IWSSIP 2021, Bratislava, Slovakia, June 2–4, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Knowledge Management in Organisations = 16th International Conference, KMO 2022, Hagen, Germany, July 11–14, 2022, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence and Security = 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, Qinghai, China, July 15–20, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computational Technologies = 16th International Conference, PCT 2022, Dubna, Russia, March 29–31, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Computational Neuroscience = Third Latin American Workshop, LAWCN 2021, São Luís, Brazil, December 8–10, 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)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part IV /
by:
(Language materials, printed)
Applications of Computational Intelligence = 4th IEEE Colombian Conference, ColCACI 2021, Virtual Event, May 27–28, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part VI /
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)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part II /
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)
HCI in Business, Government and Organizations = 9th International Conference, HCIBGO 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings /
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)
Big Data and Security = Third International Conference, ICBDS 2021, Shenzhen, China, November 26–28, 2021, Proceedings /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks = 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14–16, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Privacy Technologies and Policy = 10th Annual Privacy Forum, APF 2022, Warsaw, Poland, June 23–24, 2022, Proceedings /
by:
(Language materials, printed)
Intelligent Transport Systems = 5th EAI International Conference, INTSYS 2021, Virtual Event, November 24-26, 2021, Proceedings /
by:
(Language materials, printed)
Smart Computing and Communication = 6th International Conference, SmartCom 2021, New York City, NY, USA, December 29–31, 2021, Proceedings /
by:
(Language materials, printed)
Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 21st International Conference, NEW2AN 2021, and 14th Conference, ruSMART 2021, St. Petersburg, Russia, August 26–27, 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)
Bio-Inspired Computing: Theories and Applications = 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Emerging Technology Trends in Internet of Things and Computing = First International Conference, TIOTC 2021, Erbil, Iraq, June 6–8, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings /
by:
(Language materials, printed)
Ad Hoc Networks and Tools for IT = 13th EAI International Conference, ADHOCNETS 2021, Virtual Event, December 6–7, 2021, and 16th EAI International Conference, TRIDENTCOM 2021, Virtual Event, November 24, 2021, Proceedings /
by:
(Language materials, printed)
Modelling and Simulation for Autonomous Systems = 8th International Conference, MESAS 2021, Virtual Event, October 13–14, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Advances of Science and Technology = 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27–29, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Advances of Science and Technology = 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27–29, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Service-Oriented and Cloud Computing = 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings /
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)
Wireless and Satellite Systems = 12th EAI International Conference, WiSATS 2021, Virtual Event, China, July 31 – August 2, 2021, Proceedings /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 21st International Conference, SAMOS 2021, Virtual Event, July 4–8, 2021, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence Research = Second Southern African Conference, SACAIR 2021, Durban, South Africa, December 6–10, 2021, Proceedings /
by:
(Language materials, printed)
Blockchain – ICBC 2021 = 4th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(Language materials, printed)
Body Area Networks. Smart IoT and Big Data for Intelligent Health Management = 16th EAI International Conference, BODYNETS 2021, Virtual Event, October 25-26, 2021, Proceedings /
by:
(Language materials, printed)
Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(Language materials, printed)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Internet of Things – ICIOT 2021 = 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(Language materials, printed)
Web Services – ICWS 2021 = 28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(Language materials, printed)
Services Computing – SCC 2021 = 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
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)
Sensor systems and software = 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022 : proceedings /
by:
(Language materials, printed)
Designing modern embedded systems = software, hardware, and applications : 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022 : proceedings /
by:
(Language materials, printed)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part I /
by:
(Language materials, printed)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part II /
by:
(Language materials, printed)
Advancements in smart computing and information security = first International Conference, ASCIS 2022, Rajkot, India, November 24-26, 2022 : revised selected papers.. Part II /
by:
(Language materials, printed)
Accelerating science and engineering discoveries through integrated research infrastructure for experiment, big data, modeling and simulation = 22nd Smoky Mountains Computational Sciences and Engineering Conference, SMC 2022, virtual event, August 23-25, 2022 : revised selected papers /
by:
(Language materials, printed)
e-Learning, e-Education, and online training = 8th EAI International Conference, eLEOT 2022, Harbin, China, July 9-10, 2022 : proceedings.. Part I /
by:
(Language materials, printed)
Towards new e-Infrastructure and e-Services for Developing Countries = 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022 : proceedings /
by:
(Language materials, printed)
Big data and social computing = 8th China National Conference, BDSC 2023, Urumqi, China, July 15-17, 2023 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VIII /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IX /
by:
(Language materials, printed)
Telematics and computing = 11th International Congress, WITCOM 2022, Cancún, México, November 7-11, 2022 : proceedings /
by:
(Language materials, printed)
Knowledge management in organisations = 16th International Conference, KMO 2022, Hagen, Germany, July 11-14, 2022 : proceedings /
by:
(Language materials, printed)
Collaborative computing = networking, applications and worksharing : 18th EAI International Conference, CollaborateCom 2022, Hangzhou, China, October 15-16, 2022 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in artificial intelligence and security = 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, Qinghai, China, July 15-20, 2022 : proceedings.. Part III /
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)
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)
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 in business, government and organizations = 9th International Conference, HCIBGO 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings /
by:
(Language materials, printed)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
(Language materials, printed)
Advances in cryptology - ASIACRYPT 2022 = 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in cryptology - ASIACRYPT 2022 = 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022 : proceedings.. Part III /
by:
(Language materials, printed)
Science, engineering management and information technology = first International Conference, SEMIT 2022, Ankara, Turkey, February 2-3, 2022 : revised selected papers.. Part I /
by:
(Language materials, printed)
Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
Large-scale agile frameworks = agile frameworks, agile infrastructure and pragmatic solutions for digital transformation /
by:
(Language materials, printed)
Science, engineering management and information technology = first International Conference, SEMIT 2022, Ankara, Turkey, September 8-9, 2022 : revised selected papers.. Part II /
by:
(Language materials, printed)
Innovations for community services = 23rd International Conference, I4CS 2023, Bamberg, Germany, September 11-13, 2023 : proceedings /
by:
(Language materials, printed)
Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part II /
by:
(Language materials, printed)
OpenMP : advanced task-based, device and compiler programming = 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings /
by:
(Language materials, printed)
Architecture of computing systems = 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023 : proceedings /
by:
(Language materials, printed)
Trends in functional programming = 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers /
by:
(Language materials, printed)
Interactive collaborative robotics = 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023 : proceedings /
by:
(Language materials, printed)
E-business and telecommunications = 19th International Conference, ICSBT 2022, Lisbon, Portugal, July 14-16, 2022, and 19th International Conference, SECRYPT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers /
by:
(Language materials, printed)
Bio-inspired information and communications technologies = 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023 : proceedings /
by:
(Language materials, printed)
Digital health transformation, smart ageing, and managing disability = 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023 : proceedings /
by:
(Language materials, printed)
Flexible query answering systems = 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023 : proceedings /
by:
(Language materials, printed)
Towards autonomous robotic systems = 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings /
by:
(Language materials, printed)
Advances in computational intelligence = 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in computational intelligence = 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023 : proceedings.. Part II /
by:
(Language materials, printed)
Using and Administering Linux. = zero to SysAdmin : advanced topics /. Volume 2
by:
(Language materials, printed)
Using and Administering Linux. = zero to SysAdmin : network services /. Volume 3
by:
(Language materials, printed)
Service-oriented and cloud computing = 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023 : proceedings /
by:
(Language materials, printed)
Applied computer sciences in engineering = 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023 : proceedings /
by:
(Language materials, printed)
Industrial networks and intelligent systems = 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023 : proceedings /
by:
(Language materials, printed)
Telematics and computing = 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023 : proceedings /
by:
(Language materials, printed)
Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(Language materials, printed)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part II /
by:
(Language materials, printed)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part III /
by:
(Language materials, printed)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part IV /
by:
(Language materials, printed)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part V /
by:
(Language materials, printed)
Embedded computer systems = architectures, modeling, and simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023 : proceedings /
by:
(Language materials, printed)
Information security practice and experience = 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023 : proceedings /
by:
(Language materials, printed)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part II /
by:
(Language materials, printed)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part III /
by:
(Language materials, printed)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part IV /
by:
(Language materials, printed)
Innovative intelligent industrial production and logistics = 4th International Conference, IN4PL 2023, Rome, Italy, November 15-17, 2023 : proceedings /
by:
(Language materials, printed)
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part I /
by:
(Language materials, printed)
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part II /
by:
(Language materials, printed)
Hardware and software projects troubleshooting = how effective requirements writing can save the day /
by:
(Language materials, printed)
Engineering psychology and cognitive ergonomics = 20th International Conference, EPCE 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
HCI International 2023 - posters = 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
HCI International 2023 - posters = 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part II /
by:
(Language materials, printed)
HCI International 2023 - posters = 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part III /
by:
(Language materials, printed)
HCI International 2023 - posters = 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part IV /
by:
(Language materials, printed)
HCI International 2023 - posters = 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part V /
by:
(Language materials, printed)
Using and administering Linux. = zero to SysAdmin : getting started /. Volume 1
by:
(Language materials, printed)
South African computer science and information systems research trends = 45th annual conference, SAICSIT 2024, Gqeberha, South Africa, July 15-17, 2024 : proceedings /
by:
(Language materials, printed)
Industrial networks and intelligent systems = 10th EAI International Conference, INISCOM 2024, Da Nang, Vietnam, February 20-21, 2024 : proceedings /
by:
(Language materials, printed)
Location, localization, and localizability = location-awareness technology for wireless networks /
by:
(Language materials, printed)
Big data and security = 5th International Conference, ICBDS 2023, Nanjing, China, December 22-24, 2023 : revised selected papers.. Part I /
by:
(Language materials, printed)
Big data and security = 5th International Conference, ICBDS 2023, Nanjing, China, December 22-24, 2023 : revised selected papers.. Part II /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part V /
by:
(Language materials, printed)
Mathematical software - ICMS 2024 = 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part VI /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part VIII /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part X /
by:
(Language materials, printed)
Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part XI /
by:
(Language materials, printed)
Privacy technologies and policy = 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part IX /
by:
(Language materials, printed)
Architecture of computing systems = 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers /
by:
(Language materials, printed)
Service science = CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11-12, 2024 : revised selected papers /
by:
(Language materials, printed)
Modeling decisions for artificial intelligence = 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part VII /
by:
(Language materials, printed)
Computer security - ESORICS 2024 = 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Interactive collaborative robotics = 9th International Conference, ICR 2024, Mexico City, Mexico, October 14-18, 2024 : proceedings /
by:
(Language materials, printed)
Computer security - ESORICS 2024 = 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Computer security - ESORICS 2024 = 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
IoT Technologies and Wearables for HealthCare = 10th EAI International Conference, HealthyIoT 2023, and 4th EAI International Conference, HealthWear 2023, Bratislava, Slovakia, October 24-26, 2023 : proceedings /
by:
(Language materials, printed)
Parallel computational technologies = 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024 : revised selected papers /
by:
(Language materials, printed)
Computer applications = 39th CCF National Conference of Computer Applications, CCF NCCA 2024, Harbin, China, July 15-18, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Computer applications = 39th CCF National Conference of Computer Applications, CCF NCCA 2024, Harbin, China, July 15-18, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Body area networks = smart IoT and big data for intelligent health management : 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024 : proceedings /
by:
(Language materials, printed)
Science, engineering management and information technology = second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023 : proceedings.. Part-I /
by:
(Language materials, printed)
Science, engineering management and information technology = second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023 : proceedings.. Part-II /
by:
(Language materials, printed)
Model-driven engineering and software development = 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023 : revised selected papers /
by:
(Language materials, printed)
Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Computer security - ESORICS 2024 = 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(Language materials, printed)
Advancing OpenMP for future accelerators = 20th International Workshop on OpenMP, IWOMP 2024. Perth, WA, Australia, September 23-25, 2024 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024 : proceedings /
by:
(Language materials, printed)
Security and privacy in cyber-physical systems and smart vehicles = second EAI International Conference, SmartSP 2024, New Orleans, LA, USA, November 7-8, 2024 : proceedings /
by:
(Language materials, printed)
Information security and cryptology - ICISC 2024 = 27th International Conference, Seoul, South Korea, November 20-22, 2024 : revised selected papers /
by:
(Language materials, printed)
Algorithmic aspects of cloud computing = 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024 : revised selected papers /
by:
(Language materials, printed)
Smart cities, green technologies, and intelligent transport systems = 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023 : revised selected papers /
by:
(Language materials, printed)
Applied computer sciences in engineering = 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Applied computer sciences in engineering = 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Internet of Things = 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024 : proceedings /
by:
(Language materials, printed)
HCI International 2024 - late breaking posters = 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
HCI International 2024 - late breaking posters = 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
HCI International 2024 - late breaking posters = 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Internet of Things = 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops : GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Analytical and stochastic modelling techniques and applications = 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024 : proceedings /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part XV /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part V /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = specification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = software engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Information security practice and experience = 19th International Conference, ISPEC 2024 Wuhan, China, October 25-27, 2024 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = rigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = application areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part V /
by:
(Language materials, printed)
Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : selected papers /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part XIII /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part IX /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part XI /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part X /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part XIV /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part VI /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part VII /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part VIII /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part XII /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Pattern recognition and computer vision = 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Scalable uncertainty management = 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings /
by:
(Language materials, printed)
Theory of cryptography = 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Theory of cryptography = 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Theory of cryptography = 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Theory of cryptography = 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Advanced data mining and applications = 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Advanced data mining and applications = 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Advanced data mining and applications = 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Advanced data mining and applications = 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024 : proceedings.. Part V /
by:
(Language materials, printed)
Advanced data mining and applications = 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Bridging the gap between AI and reality = second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024 : proceedings /
by:
(Language materials, printed)
Advanced data mining and applications = 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024 : proceedings.. Part VI /
by:
(Language materials, printed)
Towards autonomous robotic systems = 25th Annual Conference, TAROS 2024, London, UK, August 21-23, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Towards autonomous robotic systems = 25th Annual Conference, TAROS 2024, London, UK, August 21-23, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Theoretical computer science = 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024 : revised selected papers /
by:
(Language materials, printed)
Innovative intelligent industrial production and logistics = 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Towards new e-Infrastructure and e-Services for developing countries = 15th International Conference, AFRICOMM 2023 Bobo-Dioulasso, Burkina Faso, November 23-25, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
Towards new e-Infrastructure and e-Services for developing countries = 15th International Conference, AFRICOMM 2023 Bobo-Dioulasso, Burkina Faso, November 23-25, 2023 : proceedings.. Part II /
by:
(Language materials, printed)
Bio-inspired information and communications technologies = 15th EAI international conference, BICT 2024, Quzhou, China, August 15-16, 2024 : proceedings /
by:
(Language materials, printed)
Innovative intelligent industrial production and logistics = 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Smart cities = 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024 : revised selected papers /
by:
(Language materials, printed)
Advances in computer graphics = 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Trends in functional programming = 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024 : revised selected papers /
by:
(Language materials, printed)
Embedded computer systems = architectures, modeling, and simulation : 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Embedded computer systems = architectures, modeling, and simulation : 24th International Conference, SAMOS 2024 Samos, Greece, June 29 - July 4, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Supercomputing = 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.. Part I /
by:
(Language materials, printed)
Supercomputing = 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.. Part II /
by:
(Language materials, printed)
Economics of grids, clouds, systems, and services = 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024 : proceedings /
by:
(Language materials, printed)
Computer performance engineering = 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024 : revised selected papers /
by:
(Language materials, printed)
Advances in computer graphics = 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Advances in computer graphics = 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Service-oriented and cloud computing = 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025 : proceedings /
by:
(Language materials, printed)
Parallel and distributed computing, applications and technologies = 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024 : proceedings /
by:
(Language materials, printed)
Computational intelligence, cyber security and computational models = emerging trends in computational models, intelligence and security systems : 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023 : revised selected papers /
by:
(Language materials, printed)
Distributed ledger technology = 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024 : revised selected papers /
by:
(Language materials, printed)
Innovations and Interdisciplinary Solutions for Underserved Areas = 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024 : proceedings /
by:
(Language materials, printed)
Distributed computer and communication networks = 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers /
by:
(Language materials, printed)
Engineering trustworthy software systems = 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, tutorial lectures /
by:
(Language materials, printed)
Innovations for community services = 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025 : proceedings /
by:
(Language materials, printed)
The connectives in logic and language = 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024 : revised selected papers /
by:
(Language materials, printed)
Pattern recognition = 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Pattern recognition = 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Applications of evolutionary computation = 28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.. Part I /
by:
(Language materials, printed)
Applications of evolutionary computation = 28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.. Part II /
by:
(Language materials, printed)
Foundations of software science and computation structures = 28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings /
by:
(Language materials, printed)
Fundamental approaches to software engineering = 28th International Conference, FASE 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings /
by:
(Language materials, printed)
Verified software = theories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers /
by:
(Language materials, printed)
Algorithms and complexity = 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.. Part I /
by:
(Language materials, printed)
Algorithms and complexity = 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025 : proceedings.. Part II /
by:
(Language materials, printed)
HCI in business, government and organizations = 12th International Conference, HCIBGO 2025, held as part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025 : proceedings.. Part I /
by:
(Language materials, printed)
HCI in business, government and organizations = 12th International Conference, HCIBGO 2025, held as part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025 : proceedings.. Part II /
by:
(Language materials, printed)
Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
by:
(Language materials, printed)
Intelligent human computer interaction = 16th International Conference, IHCI 2024, Twente, The Netherlands, November 13-16, 2024 : revised selected papers.. Part II /
by:
(Language materials, printed)
Engineering psychology and cognitive ergonomics = 22nd International Conference, EPCE 2025, held as part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025 : proceedings.. Part I /
by:
(Language materials, printed)
Intelligent human computer interaction = 16th International Conference, IHCI 2024, Twente, The Netherlands, November 13-16, 2024 : revised selected papers.. Part I /
by:
(Language materials, printed)
Engineering psychology and cognitive ergonomics = 22nd International Conference, EPCE 2025, held as part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025 : proceedings.. Part II /
by:
(Language materials, printed)
Systemd for Linux SysAdmins = all you need to know about the systemd suite for linux users /
by:
(Language materials, printed)
Show more
Fewer
Subjects