Computer System Implementation.
概要
作品: | 730 作品在 172 項出版品 172 種語言 |
---|
書目資訊
Hardware and software projects troubleshooting = how effective requirements writing can save the day /
by:
(書目-語言資料,印刷品)
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Innovative intelligent industrial production and logistics = 4th International Conference, IN4PL 2023, Rome, Italy, November 15-17, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Information security practice and experience = 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Embedded computer systems = architectures, modeling, and simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Advanced data mining and applications = 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Service-oriented and cloud computing = 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Telematics and computing = 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Industrial networks and intelligent systems = 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Applied computer sciences in engineering = 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Knowledge management in organisations = 16th International Conference, KMO 2022, Hagen, Germany, July 11-14, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Telematics and computing = 11th International Congress, WITCOM 2022, Cancún, México, November 7-11, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Smart Cities = 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Research = Second Southern African Conference, SACAIR 2021, Durban, South Africa, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 21st International Conference, SAMOS 2021, Virtual Event, July 4–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless and Satellite Systems = 12th EAI International Conference, WiSATS 2021, Virtual Event, China, July 31 – August 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Networks and Management = 11th EAI International Conference, MONAMI 2021, Virtual Event, October 27-29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented and Cloud Computing = 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Advances of Science and Technology = 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27–29, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances of Science and Technology = 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27–29, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 8th International Conference, MESAS 2021, Virtual Event, October 13–14, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Smart Computing and Communication = 6th International Conference, SmartCom 2021, New York City, NY, USA, December 29–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Transport Systems = 5th EAI International Conference, INTSYS 2021, Virtual Event, November 24-26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Privacy Technologies and Policy = 10th Annual Privacy Forum, APF 2022, Warsaw, Poland, June 23–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data and Security = Third International Conference, ICBDS 2021, Shenzhen, China, November 26–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Methodologies = 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Smart Card Research and Advanced Applications = 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11–12, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Applications of Computational Intelligence = 4th IEEE Colombian Conference, ColCACI 2021, Virtual Event, May 27–28, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Neuroscience = Third Latin American Workshop, LAWCN 2021, São Luís, Brazil, December 8–10, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 16th International Conference, PCT 2022, Dubna, Russia, March 29–31, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Knowledge Management in Organisations = 16th International Conference, KMO 2022, Hagen, Germany, July 11–14, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Systems, Signals and Image Processing = 28th International Conference, IWSSIP 2021, Bratislava, Slovakia, June 2–4, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 8th EAI International Conference, INISCOM 2022, Virtual Event, April 21–22, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Mobile Communication and Healthcare = 10th EAI International Conference, MobiHealth 2021, Virtual Event, November 13–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems = 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information and Database Systems = 14th Asian Conference, ACIIDS 2022, Ho Chi Minh City, Vietnam, November 28–30, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Biomimetic and Biohybrid Systems = 11th International Conference, Living Machines 2022, Virtual Event, July 19–22, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Data Mining and Applications = 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28–30, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 – December 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security Practice and Experience = 17th International Conference, ISPEC 2022, Taipei, Taiwan, November 23–25, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Software for Modern Challenges = First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Telematics and Computing = 11th International Congress, WITCOM 2022, Cancún, México, November 7–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Computer Vision = 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4–7, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Computer Vision = 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4–7, 2022, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 44th DAGM German Conference, DAGM GCPR 2022, Konstanz, Germany, September 27–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Networks / Computernetze = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 – September 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Science and Technologies for Smart Cities = 7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 20th International Conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Performance Evaluation and Benchmarking = 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VIII /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 15th China Conference, CWSN 2021, Guilin, China, October 22–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bio-Inspired Information and Communications Technologies = 13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Security and Privacy in Social Networks and Big Data = 7th International Symposium, SocialSec 2021, Fuzhou, China, November 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Virtual Reality and Mixed Reality = 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Smart and Sustainable Agriculture = First International Conference, SSA 2021, Virtual Event, June 21-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Towards Autonomous Robotic Systems = 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Financial Cryptography and Data Security = 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Applied Informatics = Fourth International Conference, ICAI 2021, Buenos Aires, Argentina, October 28–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Computer Vision = 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 – November 1, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Advances in Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Persuasive Technology = 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Big Data and Security = Second International Conference, ICBDS 2020, Singapore, Singapore, December 20–22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Socio-Technical Aspects in Security and Trust = 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Informatics for Computing Research = 4th International Conference, ICAICR 2020, Gurugram, India, December 26–27, 2020, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cybersecurity in Emerging Digital Era = First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 21st International Conference, I4CS 2021, Bamberg, Germany, May 26–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII = Special Issue In Memory of Univ. Prof. Dr. Roland Wagner /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wearables in Healthcare = Second EAI International Conference, HealthWear 2020, Virtual Event, December 10-11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Computing = 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Security in Computing and Communications = 8th International Symposium, SSCC 2020, Chennai, India, October 14–17, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Smart Cities = Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Machine Learning and Metaheuristics Algorithms, and Applications = Second Symposium, SoMMA 2020, Chennai, India, October 14–17, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Ad Hoc Networks = 12th EAI International Conference, ADHOCNETS 2020, Paris, France, November 17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Emerging Trends in ICT for Sustainable Development = The Proceedings of NICE2020 International Conference /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing – ICSOC 2019 Workshops = WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Dependable Computing - EDCC 2020 Workshops = AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data and Security = First International Conference, ICBDS 2019, Nanjing, China, December 20–22, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Real VR – Immersive Digital Reality = How to Import the Real World into Head-Mounted Immersive Displays /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
IoT Technologies for HealthCare = 6th EAI International Conference, HealthyIoT 2019, Braga, Portugal, December 4–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Dynamic Data Driven Applications Systems = Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computing Science, Communication and Security = First International Conference, COMS2 2020, Gujarat, India, March 26–27, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Technologies and Applications = Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Data Science = 6th International Conference, ICDS 2019, Ningbo, China, May 15–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Cyber Security Cryptography and Machine Learning = Fourth International Symposium, CSCML 2020, Be'er Sheva, Israel, July 2–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Image Analysis and Recognition = 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24–26, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Internet, Cyber- und IT-Sicherheit von A-Z = Aktuelle Begriffe kurz und einfach erklärt – Für Beruf, Studium und Privatleben /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Simulation Science = Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Building Information Modeling = First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Gerontechnology = Second International Workshop, IWoG 2019, Cáceres, Spain, September 4–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2020 = 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Ubiquitous Networking = 5th International Symposium, UNet 2019, Limoges, France, November 20–22, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Swarm Intelligence = 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Wireless Geographical Information Systems = 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Computational methods in systems biology = 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Towards autonomous robotic systems = 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Flexible query answering systems = 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Bio-inspired information and communications technologies = 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive collaborative robotics = 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Architecture of computing systems = 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Innovations for community services = 23rd International Conference, I4CS 2023, Bamberg, Germany, September 11-13, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale agile frameworks = agile frameworks, agile infrastructure and pragmatic solutions for digital transformation /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IX /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VIII /
by:
(書目-語言資料,印刷品)
Big data and social computing = 8th China National Conference, BDSC 2023, Urumqi, China, July 15-17, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Sensor systems and software = 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
e-Learning, e-Education, and online training = 8th EAI International Conference, eLEOT 2022, Harbin, China, July 9-10, 2022 : proceedings.. Part I /
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:
(書目-語言資料,印刷品)
Distributed Computing by Mobile Entities = Current Research in Moving and Computing /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Networks / Computernetze = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch /
by:
(書目-語言資料,印刷品)
The IT Support Handbook = A How-To Guide to Providing Effective Help and Support to IT Users /
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:
(書目-語言資料,印刷品)
Supercomputing = 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Human Centered Computing = 5th International Conference, HCC 2019, Čačak, Serbia, August 5–7, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Information Processing = 14th International Conference, PRIP 2019, Minsk, Belarus, May 21–23, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Hybrid System Identification = Theory and Algorithms for Learning Switching Models /
by:
(書目-語言資料,印刷品)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Smart City and Informatization = 7th International Conference, iSCI 2019, Guangzhou, China, November 12–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Big Scientific Data Benchmarks, Architecture, and Systems = First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data = 7th CCF Conference, BigData 2019, Wuhan, China, September 26–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2019 = 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Neuroscience = Second Latin American Workshop, LAWCN 2019, São João Del-Rei, Brazil, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Angewandte Netzwerktechnik kompakt = Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 13th China Conference, CWSN 2019, Chongqing, China, October 12–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applications of Computational Intelligence = Second IEEE Colombian Conference, ColCACI 2019, Barranquilla, Colombia, June 5-7, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Performance Evaluation and Benchmarking = 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Space Information Network = 5th International Conference SINC 2020, Shenzhen, China, December 19–20, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Distributed Computing and Internet Technology = 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Silicon Valley Cybersecurity Conference = First Conference, SVCC 2020, San Jose, CA, USA, December 17–19, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VIII /
by:
(書目-語言資料,印刷品)
Computer Vision and Image Processing = 5th International Conference, CVIP 2020, Prayagraj, India, December 4-6, 2020, Revised Selected Papers, Part III /
by:
(書目-語言資料,印刷品)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Flexible Query Answering Systems = 14th International Conference, FQAS 2021, Bratislava, Slovakia, September 19–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Benchmarking, Measuring, and Optimizing = Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
IT-Sicherheit für TCP/IP- und IoT-Netzwerke = Grundlagen, Konzepte, Protokolle, Härtung /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning for Networking = Third International Conference, MLN 2020, Paris, France, November 24–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Digital Health and Medical Analytics = Second International Conference, DHA 2020, Beijing, China, July 25, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Spatial Data and Intelligence = First International Conference, SpatialDI 2020, Virtual Event, May 8–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Databases and Information Systems = 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cyber Security = 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mobile Networks and Management = 10th EAI International Conference, MONAMI 2020, Chiba, Japan, November 10–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Urban Intelligence and Applications = Second International Conference, ICUIA 2020, Taiyuan, China, August 14–16, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mobile Computing, Applications, and Services = 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Computer Vision = Third Chinese Conference, PRCV 2020, Nanjing, China, October 16–18, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Big Data, Machine Learning, and Applications = First International Conference, BigDML 2019, Silchar, India, December 16–19, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Computational Logistics = 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Electronic Voting = 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Technologies = First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Information and Communication Technologies = 8th Conference, TICEC 2020, Guayaquil, Ecuador, November 25–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Technologies = First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Scalable Uncertainty Management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Security = 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Security = 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data Analytics and Knowledge Discovery = 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision and Graphics = International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cyber Security = First International Conference, ACeS 2019, Penang, Malaysia, July 30 – August 1, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Green, Pervasive, and Cloud Computing – GPC 2020 Workshops = 15th International Conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
(書目-語言資料,印刷品)
Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Smart Cities = Second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7–9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computernetze kompakt = Eine an der Praxis orientierte Einführung für Studium und Berufspraxis /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Financial Cryptography and Data Security = 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020 Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Internet = 12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning for Cyber Security = Third International Conference, ML4CS 2020, Guangzhou, China, October 8–10, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Space Information Networks = 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
From Lambda Calculus to Cybersecurity Through Program Analysis = Essays Dedicated to Chris Hankin on the Occasion of His Retirement /
by:
(書目-語言資料,印刷品)
Information Security and Cryptology = 15th International Conference, Inscrypt 2019, Nanjing, China, December 6–8, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Computer Architecture = 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Passive and Active Measurement = 21st International Conference, PAM 2020, Eugene, Oregon, USA, March 30–31, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題