Software Engineering/Programming and Operating Systems.
概要
作品: | 1225 作品在 318 項出版品 318 種語言 |
---|
書目資訊
Cryptology and Network Security = 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 18th International Conference, GECON 2021, Virtual Event, September 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Progress in Cryptology – INDOCRYPT 2021 = 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction = 7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Software Business = 12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Electronic Government = 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Data Science and Intelligent Systems = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 2 /
by:
(書目-語言資料,印刷品)
Software Engineering Application in Informatics = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 /
by:
(書目-語言資料,印刷品)
Advances in Visual Informatics = 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 7th International Conference, CITI 2021, Guayaquil, Ecuador, November 22–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Secure IT Systems = 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Emerging Technologies in Computing = 4th EAI/IAER International Conference, iCETiC 2021, Virtual Event, August 18–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Architekturen Verteilter Softwaresysteme = SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration /
by:
(書目-語言資料,印刷品)
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming – Workshops = XP 2021 Workshops, Virtual Event, June 14–18, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Requirements Engineering for Social Sector Software Applications = Innovating for a Diverse Set of User Needs /
by:
(書目-語言資料,印刷品)
Statistical Language and Speech Processing = 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data and Security = Second International Conference, ICBDS 2020, Singapore, Singapore, December 20–22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Perception, Representations, Image, Sound, Music = 14th International Symposium, CMMR 2019, Marseille, France, October 14–18, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Information Systems = CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Lean Software Systems Engineering for Developers = Managing Requirements, Complexity, Teams, and Change Like a Champ /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Education = 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28 – 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:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Cybersecurity in Emerging Digital Era = First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–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:
(書目-語言資料,印刷品)
Digital Customer Experience Engineering = Strategies for Creating Effective Digital Experiences /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 22nd International Conference, ICEIS 2020, Virtual Event, May 5–7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
PRIMA 2020: Principles and Practice of Multi-Agent Systems = 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Computing = 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Excel + VBA für Ingenieure = Programmieren erlernen und technische Fragestellungen lösen /
by:
(書目-語言資料,印刷品)
Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive /
by:
(書目-語言資料,印刷品)
Smart Cities = Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
by:
(書目-語言資料,印刷品)
Software Engineering for Absolute Beginners = Your Guide to Creating Software Products /
by:
(書目-語言資料,印刷品)
Software Business = 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent-Based Simulation XXI = 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Lean and Agile Software Development = 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Soft Computing and its Engineering Applications = Second International Conference, icSoftComp 2020, Changa, Anand, India, December 11–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Embedded Software Timing = Methodik, Analyse und Praxistipps am Beispiel Automotive /
by:
(書目-語言資料,印刷品)
Microelectronic Devices, Circuits and Systems = Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing and Internet Technology = 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Grundkurs Relationale Datenbanken = Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering and Algorithms = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1 /
by:
(書目-語言資料,印刷品)
Applied Technologies = Second International Conference, ICAT 2020, Quito, Ecuador, December 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part X /
by:
(書目-語言資料,印刷品)
The Agile Codex = Re-inventing Agile Through the Science of Invention and Assembly /
by:
(書目-語言資料,印刷品)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Well-Being in the Information Society. Fruits of Respect = 8th International Conference, WIS 2020, Turku, Finland, August 26–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers /
by:
(書目-語言資料,印刷品)
Frontiers in Cyber Security = Third International Conference, FCS 2020, Tianjin, China, November 15–17, 2020, Proceedings /
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:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Multi-Agent-Based Simulation XX = 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beginning Jakarta EE Web Development = Using JSP, JSF, MySQL, and Apache Tomcat for Building Java Web Applications /
by:
(書目-語言資料,印刷品)
Intelligent Technologies and Applications = Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing, Big Data & Emerging Topics = 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems Security and Privacy = 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Raspberry Pi im Informatik- und Technikunterricht = Konzeption eines handlungs- und problemorientierten Unterrichts mit der MicroBerry-Lernumgebung /
by:
(書目-語言資料,印刷品)
Dialog zwischen Mensch und Maschine = Conversational User Interfaces, intelligente Assistenten und Voice-Systeme /
by:
(書目-語言資料,印刷品)
Computational Advances in Bio and Medical Sciences = 9th International Conference, ICCABS 2019, Miami, FL, USA, November 15–17, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Learn Java for Android Development = Migrating Java SE Programming Skills to Mobile Development /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Detection of Intrusions and Malware, and Vulnerability Assessment = 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Storytelling = 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
by:
(書目-語言資料,印刷品)
Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III
by:
(書目-語言資料,印刷品)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II /
by:
(書目-語言資料,印刷品)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III
by:
(書目-語言資料,印刷品)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Job scheduling strategies for parallel processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle
by:
(書目-語言資料,印刷品)
Embedded systems specification and design languages = selected contributions from FDL'07 /
by:
(書目-語言資料,印刷品)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Parallel computing technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2015 = parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 /
by:
(書目-語言資料,印刷品)
High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Virtual, Distributed and Flexible Organisations = Studies in Organisational Semiotics /
by:
(書目-語言資料,印刷品)
Technology systems and management = first International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011 : selected papers /
by:
(書目-語言資料,印刷品)
Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
The Making of Information Systems = Software Engineering and Management in a Globalized World /
by:
(書目-語言資料,印刷品)
The Testing Network = An Integral Approach to Test Activities in Large Software Projects /
by:
(書目-語言資料,印刷品)
Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II
by:
(書目-語言資料,印刷品)
Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developing Ambient Intelligence = Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d��07) /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
by:
(書目-語言資料,印刷品)
Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings /
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:
(書目-語言資料,印刷品)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(書目-語言資料,印刷品)
Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers /
by:
(書目-語言資料,印刷品)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Performance evaluation and benchmarking = first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Mobile wireless middleware, operating systems, and applications - workshops = Mobilware 2009 Workshops, Berlin, Germany, April 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(書目-語言資料,印刷品)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Provable and Practical Security = 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Critical Information Infrastructures Security = 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Human Computer Interaction = 11th International Conference, IHCI 2019, Allahabad, India, December 12–14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Internet = 12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Blockchain and Trustworthy Systems = Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = CAiSE Forum 2020, Grenoble, France, June 8–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information and Cyber Security = 18th International Conference, ISSA 2019, Johannesburg, South Africa, August 15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 21st International Conference, ICICS 2019, Beijing, China, December 15–17, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Optical Network Design and Modeling = 23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Information and Computer Security = 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Security Protocols XXVII = 27th International Workshop, Cambridge, UK, April 10–12, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
New Trends in Information and Communications Technology Applications = 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing – ICSOC 2019 Workshops = WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information systems development = business systems and services : modeling and development /
by:
(書目-語言資料,印刷品)
Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers /
by:
(書目-語言資料,印刷品)
Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 /
by:
(書目-語言資料,印刷品)
Euro-Par 2015 = Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Agile product development = how to design innovative products that create customer value /
by:
(書目-語言資料,印刷品)
IAENG transactions on engineering technologies = special edition of the World Congress on Engineering and Computer Science 2011 /
by:
(書目-語言資料,印刷品)
Software and data technologies = 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Innovative technologies for dependable OTS-based critical systems = challenges and achievements of the CRITICAL STEP Project /
by:
(書目-語言資料,印刷品)
Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Facing the multicore-challenge III = aspects of new paradigms and technologies in parallel computing /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 5th international symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Innovation and future of enterprise information systems = ERP Future 2012 Conference, Salzburg, Austria, November 2012, revised papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings /
by:
(書目-語言資料,印刷品)
Knowledge science, engineering and management = 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel computing technologies = 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Reflections on the history of computing = preserving memories and sharing stories /
by:
(書目-語言資料,印刷品)
ICT as key technology against global warming = second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Systems, software and services process improvement = 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing /
by:
(書目-語言資料,印刷品)
Computer, informatics, cybernetics and applications = proceedings of the CICA 2011 /
by:
(書目-語言資料,印刷品)
Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
by:
(書目-語言資料,印刷品)
Software product management and pricing = key success factors for software organizations /
by:
(書目-語言資料,印刷品)
End-User development = 2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings /
by:
(書目-語言資料,印刷品)
Information systems development = challenges in practice, theory, and education volume 2 /
by:
(書目-語言資料,印刷品)
Information systems, technology and management = Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings /
by:
(書目-語言資料,印刷品)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(書目-語言資料,印刷品)
Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings /
by:
(書目-語言資料,印刷品)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Real-time security extensions for EPCglobal networks = case study for the pharmaceutical industry /
by:
(書目-語言資料,印刷品)
Proceedings of International Conference on Internet Computing and Information Communications = ICICIC Global 2012 /
by:
(書目-語言資料,印刷品)
IAENG transactions on engineering technologies = special issue of the World Congress on Engineering and Computer Science 2012 /
by:
(書目-語言資料,印刷品)
Biometrics in the new world = the cloud, mobile technology and pervasive identity /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Model-driven software migration = a methodology : Reengineering, recovery and modernization of legacy systems /
by:
(書目-語言資料,印刷品)
Irresistible apps = motivational design patterns for apps, games, and web-based communities /
by:
(書目-語言資料,印刷品)
A practical guide to TPM 2.0 = using the new Trusted Platform Module in the new age of security /
by:
(書目-語言資料,印刷品)
The Vixen Star Book user guide = how to use the Star Book TEN and the original Star Book /
by:
(書目-語言資料,印刷品)
Multidimensional views on enterprise information systems = proceedings of ERP future 2014 /
by:
(書目-語言資料,印刷品)
Working around disruptions of network infrastructures = mobile ad-hoc systems for resilient communication in disasters /
by:
(書目-語言資料,印刷品)
Algorithmic aspects of cloud computing = first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent web data management = software architectures and emerging technologies /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(書目-語言資料,印刷品)
Variation based dense 3D Reconstruction = application on monocular mini-laparoscopic sequences /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on engineering technologies = International MultiConference of Engineers and Computer Scientists 2015 /
by:
(書目-語言資料,印刷品)
Critical infrastructures = risk and vulnerability assessment in transportation of dangerous goods : transportation by road and rail /
by:
(書目-語言資料,印刷品)
Description and selection of communication services for service oriented network architectures
by:
(書目-語言資料,印刷品)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Mathematical software - ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Functional safety for road vehicles = new challenges and solutions for e-mobility and automated driving /
by:
(書目-語言資料,印刷品)
Control modes on mobile software platforms = empirical studies on the importance of informal control /
by:
(書目-語言資料,印刷品)
Computer and information sciences = 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Analyzing time interval data = introducing an information system for time interval data analysis /
by:
(書目-語言資料,印刷品)
Distributed computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
History and philosophy of computing = third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Coordination of complex sociotechnical systems = self-organisation of knowledge in MoK /
by:
(書目-語言資料,印刷品)
Bridging the gap between requirements engineering and software architecture = a problem-oriented and quality-driven method /
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Transactions on engineering technologies = International MultiConference of Engineers and Computer Scientists 2016 /
by:
(書目-語言資料,印刷品)
Beginning Swift games development for iOS = develop 2D and 3D games using Apple's SceneKit and SpriteKit /
by:
(書目-語言資料,印刷品)
Euro-Par 2016 = Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Technologies and innovation = third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Information, communication and computing technology = Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Towards integrative machine learning and knowledge extraction = BIRS Workshop, Banff, AB, Canada, July 24-26, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Data analytics = 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Symbolic and quantitative approaches to reasoning with uncertainty = 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography = 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Financial cryptography and data security = 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Applied computer science for GGOS observatories = communication, coordination and automation of future geodetic infrastructures /
by:
(書目-語言資料,印刷品)
Load modelling and generation in IP-based networks = a unified approach and tool support /
by:
(書目-語言資料,印刷品)
Progress in artificial intelligence = 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Beginning Ubuntu for Windows and Mac users = start your journey into free and open source software /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
(書目-語言資料,印刷品)
Post-quantum cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Topics in cryptology - CT-RSA 2018 = the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(書目-語言資料,印刷品)
Optimizing data-to-learning-to-action = the modern approach to continuous performance improvement for businesses /
by:
(書目-語言資料,印刷品)
Programming LEGO EV3 my blocks = teaching concepts and preparing for FLL Competition /
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Pro PowerShell desired state configuration = an in-depth guide to Windows PowerShell DSC /
by:
(書目-語言資料,印刷品)
Bioinspired optimization methods and their applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Agents and artificial intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Social, cultural and behavioral modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computing, analytics and networks = first International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Facilitating daily life integration of technologies for active and healthy aging = understanding demands of older adults in health technology design /
by:
(書目-語言資料,印刷品)
Thread and data mapping for multicore systems = improving communication and memory accesses /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Mobile web and intelligent information systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Practical Bot development = designing and building Bots with Node.js and Microsoft Bot framework /
by:
(書目-語言資料,印刷品)
REST API development with Node.js = manage and understand the full capabilities of successful REST development /
by:
(書目-語言資料,印刷品)
Applications of computing and communication technologies = first International Conference, ICACCT 2018, Delhi, India, March 9, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
HTML5 and JavaScript projects = build on your basic knowledge of HTML5 and JavaScript to create substantial HTML5 applications /
by:
(書目-語言資料,印刷品)
Applied computer sciences in engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Applied computer sciences in engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Understanding modern dive computers and operation = protocols, models, tests, data, risk and applications /
by:
(書目-語言資料,印刷品)
Electronic voting = third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced concepts for intelligent vision systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Cloud computing and security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers.. Part VI /
by:
(書目-語言資料,印刷品)
Cloud computing and security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers.. Part V /
by:
(書目-語言資料,印刷品)
Provable security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Information and communications security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2018 = principles and practice of multi-agent systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Pattern recognition and computer vision = first Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Big data technologies and applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23-24, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and network security = 16th International Conference, CANS 2017, Hong Kong, China, November 30-December 2, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Music technology with Swing = 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Security protocols XXVI = 26th International Workshop, Cambridge, UK, March 19-21, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Emerging technologies for authorization and authentication = first International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part VI /
by:
(書目-語言資料,印刷品)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part VII /
by:
(書目-語言資料,印刷品)
Security, privacy, and applied cryptography engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Privacy technologies and policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Applied computer sciences in engineering = 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory = 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptographic hardware and embedded systems - CHES 2017 = 19th International Conference, Taipei, Taiwan, September 25-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Industrial applications of holonic and multi-agent systems = 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Network and parallel computing = 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel computing technologies = 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science - CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Applied cryptography and network security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Knowledge management in organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Practical Salesforce development without code = building declarative solutions on the Salesforce platform /
by:
(書目-語言資料,印刷品)
Cloud computing and big data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering multi-agent systems = 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Parallel computing technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Transactions on engineering technologies = World Congress on Engineering and Computer Science 2015 /
by:
(書目-語言資料,印刷品)
A Practical Guide to TPM 2.0 = Using the Trusted Platform Module in the New Age of Security /
by:
(書目-語言資料,印刷品)
Windows 10 Revealed = The Universal Windows Operating System for PC, Tablets, and Windows Phone /
by:
(書目-語言資料,印刷品)
Practical Enterprise Software Development Techniques = Tools and Techniques for Large Scale Solutions /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Salesforce.com Development Without Code = Customizing Salesforce on the Force.com Platform /
by:
(書目-語言資料,印刷品)
Microservices, IoT and Azure = Leveraging DevOps and Microservice Architecture to deliver SaaS Solutions /
by:
(書目-語言資料,印刷品)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Pro XAML with C# = Application Development Strategies (covers WPF, Windows 8.1, and Windows Phone 8.1) /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Extending SSIS with .NET Scripting = A Toolkit for SQL Server Integration Services /
by:
(書目-語言資料,印刷品)
Barrierefreiheit im virtuellen Raum = Benutzungszentrierte und modellgetriebene Entwicklung von Weboberflächen /
by:
(書目-語言資料,印刷品)
Microsoft Mapping Second Edition = Geospatial Development in Windows 10 with Bing Maps and C# /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Science and Its Applications = 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and Cryptanalysis in MATLAB = Creating and Programming Advanced Algorithms /
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:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Informatics and Cybernetics in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3 /
by:
(書目-語言資料,印刷品)
Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
New Perspectives in Software Engineering = Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 2 /
by:
(書目-語言資料,印刷品)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5–7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Knowledge Management in Organizations = 15th International Conference, KMO 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Practical System Programming with C = Pragmatic Example Applications in Linux and Unix-Based Operating Systems /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing, Big Data & Emerging Topics = 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Design Patterns in .NET Core 3 = Reusable Approaches in C# and F# for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, 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:
(書目-語言資料,印刷品)
Computer Security = ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Neue Möglichkeiten für die Motorsteuergeräte-Software durch Car-to-Cloud-Vernetzung
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing = ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Cooperative Design, Visualization, and Engineering = 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Methodologies = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III /
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:
(書目-語言資料,印刷品)
Information and Software Technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Strategie, Planung und Organisation von Testprozessen = Basis für erfolgreiche Projektabwicklung im Softwaretest /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Technical, Economic and Societal Effects of Manufacturing 4.0 = Automation, Adaption and Manufacturing in Finland and Beyond /
by:
(書目-語言資料,印刷品)
Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Pro C# 8 with .NET Core 3 = Foundational Principles and Practices in Programming /
by:
(書目-語言資料,印刷品)
Computer Networks = 27th International Conference, CN 2020, Gdańsk, Poland, June 23–24, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Smart Applications and Data Analysis = Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing = 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV = Special Issue on Data Management – Principles, Technologies, and Applications /
by:
(書目-語言資料,印刷品)
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences = A Reference Model Guided Approach for Common Challenges /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling and Development of Intelligent Systems = 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
KI 2020: Advances in Artificial Intelligence = 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2019 = 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14–18, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beyond Interactions = INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Systemkonsolidierung und Datenmigration als Erfolgsfaktoren = HMD Best Paper Award 2014 /
by:
(書目-語言資料,印刷品)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
by:
(書目-語言資料,印刷品)
Beginning HTML5 Media = Make the most of the new video and audio standards for the Web /
by:
(書目-語言資料,印刷品)
Platzierung von Softwarekomponenten auf Mehrkernprozessoren = Automatisierte Konstruktion und Analyse für funktionssichere Systeme /
by:
(書目-語言資料,印刷品)
Erhebung von Soll-Kompetenzen im Software Engineering = Anforderungen an Hochschulabsolventen aus industrieller Perspektive /
by:
(書目-語言資料,印刷品)
Building Your Next Big Thing with Google Cloud Platform = A Guide for Developers and Enterprise Architects /
by:
(書目-語言資料,印刷品)
Agile Performance Improvement = The New Synergy of Agile and Human Performance Technology /
by:
(書目-語言資料,印刷品)
Grundkurs Mobile Kommunikationssysteme = LTE-Advanced, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth /
by:
(書目-語言資料,印刷品)
Embedded Firmware Solutions = Development Best Practices for the Internet of Things /
by:
(書目-語言資料,印刷品)
Build your own 2D Game Engine and Create Great Web Games = Using HTML5, JavaScript, and WebGL /
by:
(書目-語言資料,印刷品)
Swing for Jython = Graphical Jython UI and Scripts Development using Java Swing and WebSphere Application Server /
by:
(書目-語言資料,印刷品)
Building Great Software Engineering Teams = Recruiting, Hiring, and Managing Your Team from Startup to Success /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agile Product Development = How to Design Innovative Products That Create Customer Value /
by:
(書目-語言資料,印刷品)
Raspberry Pi - Das technische Handbuch = Konfiguration, Hardware, Applikationserstellung /
by:
(書目-語言資料,印刷品)
Analyzing Time Interval Data = Introducing an Information System for Time Interval Data Analysis /
by:
(書目-語言資料,印刷品)
Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods = Transportation by Road and Rail /
by:
(書目-語言資料,印刷品)
Coordination of Complex Sociotechnical Systems = Self-organisation of Knowledge in MoK /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Control Modes on Mobile Software Platforms = Empirical Studies on the Importance of Informal Control /
by:
(書目-語言資料,印刷品)
Description and Selection of Communication Services for Service Oriented Network Architectures
by:
(書目-語言資料,印刷品)
Working Around Disruptions of Network Infrastructures = Mobile Ad-Hoc Systems for Resilient Communication in Disasters /
by:
(書目-語言資料,印刷品)
Transactions on Engineering Technologies = International MultiConference of Engineers and Computer Scientists 2015 /
by:
(書目-語言資料,印刷品)
Variation Based Dense 3D Reconstruction = Application on Monocular Mini-Laparoscopic Sequences /
by:
(書目-語言資料,印刷品)
Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse /
by:
(書目-語言資料,印刷品)
Musterbasierte Parallelisierung sequenzieller Anwendungen = Konzept und Implementierung eines Verfahrens zur Softwaretransformation /
by:
(書目-語言資料,印刷品)
Embedded Controller = Grundlagen und praktische Umsetzung für industrielle Anwendungen /
by:
(書目-語言資料,印刷品)
Computer and Information Sciences = 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(書目-語言資料,印刷品)
History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mobile Computing = Grundlagen – Prozesse und Plattformen – Branchen und Anwendungsszenarien /
by:
(書目-語言資料,印刷品)
Multidimensional Views on Enterprise Information Systems = Proceedings of ERP Future 2014 /
by:
(書目-語言資料,印刷品)
Entwicklung eines skalierbaren und verteilten Datenbanksystems = Auf Basis von Apache Cassandra und SECONDO /
by:
(書目-語言資料,印刷品)
Grundkurs Datenbankentwicklung = Von der Anforderungsanalyse zur komplexen Datenbankanfrage /
by:
(書目-語言資料,印刷品)
The Vixen Star Book User Guide = How to Use the Star Book TEN and the Original Star Book /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(書目-語言資料,印刷品)
Architekturbasiertes IT-Alignment = Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT /
by:
(書目-語言資料,印刷品)
Functional Safety for Road Vehicles = New Challenges and Solutions for E-mobility and Automated Driving /
by:
(書目-語言資料,印刷品)
Geschäftsprozessorientierte Systementwicklung = Von der Unternehmensarchitektur zum IT-System /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Electronic Voting = Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Optimizing Data-to-Learning-to-Action = The Modern Approach to Continuous Performance Improvement for Businesses /
by:
(書目-語言資料,印刷品)
Provable Security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
REST API Development with Node.js = Manage and Understand the Full Capabilities of Successful REST Development /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
(書目-語言資料,印刷品)
New Trends in Information and Communications Technology Applications = Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Methods = 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13–14, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Social, Cultural, and Behavioral Modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
HTML5 and JavaScript Projects = Build on your Basic Knowledge of HTML5 and JavaScript to Create Substantial HTML5 Applications /
by:
(書目-語言資料,印刷品)
Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Security and Cryptography for Networks = 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Best Practices für die Partizipation in der Produktentwicklung = HMD Best Paper Award 2017 /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Music Technology with Swing = 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Bot Development = Designing and Building Bots with Node.js and Microsoft Bot Framework /
by:
(書目-語言資料,印刷品)
Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data Technologies and Applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Security, Privacy, and Applied Cryptography Engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Financial Cryptography and Data Security = 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Metriken für das Testreporting = Analyse und Reporting für wirkungsvolles Testmanagement /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2017 = 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Advances in Computing = 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Security Protocols XXVI = 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Emerging Technologies for Authorization and Authentication = First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mobile Web and Intelligent Information Systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V /
by:
(書目-語言資料,印刷品)
Understanding Modern Dive Computers and Operation = Protocols, Models, Tests, Data, Risk and Applications /
by:
(書目-語言資料,印刷品)
Thread and Data Mapping for Multicore Systems = Improving Communication and Memory Accesses /
by:
(書目-語言資料,印刷品)
Multi-Disciplinary Digital Signal Processing = A Functional Approach Using Matlab /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Technology Trends = Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Things (IoT) Technologies for HealthCare = 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Applications of Computing and Communication Technologies = First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Beginning Serverless Computing = Developing with Amazon Web Services, Microsoft Azure, and Google Cloud /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bidirectional Transformations = International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Pro PowerShell Desired State Configuration = An In-Depth Guide to Windows PowerShell DSC /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Arbeit 4.0 – Digitalisierung, IT und Arbeit = IT als Treiber der digitalen Transformation /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software /
by:
(書目-語言資料,印刷品)
Grundkurs Mobile Kommunikationssysteme = LTE-Advanced Pro, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth /
by:
(書目-語言資料,印刷品)
Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition = Anwenderwissen zur Unternehmenslösung von Microsoft /
by:
(書目-語言資料,印刷品)
Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Selected Areas in Cryptography – SAC 2017 = 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Pro JavaFX 9 = A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients /
by:
(書目-語言資料,印刷品)
Programming LEGO® EV3 My Blocks = Teaching Concepts and Preparing for FLL® Competition /
by:
(書目-語言資料,印刷品)
Computing, Analytics and Networks = First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Facilitating Daily Life Integration of Technologies for Active and Healthy Aging = Understanding Demands of Older Adults in Health Technology Design /
by:
(書目-語言資料,印刷品)
Learn Computer Science with Swift = Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds /
by:
(書目-語言資料,印刷品)
Agile Methods = 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
SQL & NoSQL Databases = Models, Languages, Consistency Options and Architectures for Big Data Management /
by:
(書目-語言資料,印刷品)
Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen
by:
(書目-語言資料,印刷品)
Practical Salesforce Development Without Code = Building Declarative Solutions on the Salesforce Platform /
by:
(書目-語言資料,印刷品)
High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Knowledge Management in Organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Description Logic, Theory Combination, and All That = Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Applied Cryptography and Network Security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Entwicklung von Echtzeitsystemen = Einführung in die Entwicklung zuverlässiger softwarebasierter Funktionen unter Echtzeitbedingungen /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and Coding = 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
New Trends in Model and Data Engineering = MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
The Multi-Agent Programming Contest 2018 = Agents Teaming Up in an Urban Environment /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Digitale Dienstleistungsinnovationen = Smart Services agil und kundenorientiert entwickeln /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cyberspace Safety and Security = 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Information and Computer Security = 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Industrial Applications of Holonic and Multi-Agent Systems = 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Using Microsoft Dynamics 365 for Finance and Operations = Learn and understand the functionality of Microsoft's enterprise solution /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Information Security = 22nd International Conference, ISC 2019, New York City, NY, USA, September 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cooperative Design, Visualization, and Engineering = 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information, Communication and Computing Technology = 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Computing and Communication Systems in Urban Development = A Detailed Perspective /
by:
(書目-語言資料,印刷品)
Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2019: Principles and Practice of Multi-Agent Systems = 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Pro Spring Security = Securing Spring Framework 5 and Boot 2-based Java Applications /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering Paralleler Systeme = Grundlagen, Algorithmen, Programmierung /
by:
(書目-語言資料,印刷品)
Angewandte Netzwerktechnik kompakt = Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Discovery Science = 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Attributionen in der Mensch-Computer-Interaktion = Einfluss auf die Bewertung und Gestaltung interaktiver Produkte /
by:
(書目-語言資料,印刷品)
Agile Methods = 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Raspberry Pi – Das technische Handbuch = Konfiguration, Hardware, Applikationsentwicklung /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
.NET DevOps for Azure = A Developer's Guide to DevOps Architecture the Right Way /
by:
(書目-語言資料,印刷品)
Digital Forensics and Cyber Crime = 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Security and Privacy = 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Technology Trends = 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
更多
較少的
主題