Software Engineering/Programming and Operating Systems.
Overview
Works: | 1225 works in 318 publications in 318 languages |
---|
Titles
Critical Information Infrastructures Security = 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27–29, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Data Science and Computational Intelligence = Sixteenth International Conference on Information Processing, ICInPro 2021, Bengaluru, India, October 22–24, 2021, Proceedings /
by:
(Language materials, printed)
Cryptology and Network Security = 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings /
by:
(Language materials, printed)
Economics of Grids, Clouds, Systems, and Services = 18th International Conference, GECON 2021, Virtual Event, September 21–23, 2021, Proceedings /
by:
(Language materials, printed)
Progress in Cryptology – INDOCRYPT 2021 = 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems L
by:
(Language materials, printed)
Human-Computer Interaction = 7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
Deceptive AI = First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings /
by:
(Language materials, printed)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2021 = 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Software Business = 12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings /
by:
(Language materials, printed)
Knowledge Graphs and Semantic Web = Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22–24, 2021, Proceedings /
by:
(Language materials, printed)
HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings /
by:
(Language materials, printed)
Electronic Government = 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Data Science and Intelligent Systems = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 2 /
by:
(Language materials, printed)
Software Engineering Application in Informatics = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 /
by:
(Language materials, printed)
Advanced Research in Technologies, Information, Innovation and Sustainability = First International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25–27, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Visual Informatics = 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23–25, 2021, Proceedings /
by:
(Language materials, printed)
Technologies and Innovation = 7th International Conference, CITI 2021, Guayaquil, Ecuador, November 22–25, 2021, Proceedings /
by:
(Language materials, printed)
Smart and Sustainable Collaborative Networks 4.0 = 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings /
by:
(Language materials, printed)
Secure IT Systems = 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings /
by:
(Language materials, printed)
HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings /
by:
(Language materials, printed)
Hybrid High-Order Methods = A Primer with Applications to Solid Mechanics /
by:
(Language materials, printed)
The Practice of Enterprise Modeling = 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(Language materials, printed)
Domain Science and Engineering = A Foundation for Software Development /
by:
(Language materials, printed)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(Language materials, printed)
Emerging Technologies in Computing = 4th EAI/IAER International Conference, iCETiC 2021, Virtual Event, August 18–19, 2021, Proceedings /
by:
(Language materials, printed)
Architekturen Verteilter Softwaresysteme = SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration /
by:
(Language materials, printed)
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
(Language materials, printed)
Agile Processes in Software Engineering and Extreme Programming – Workshops = XP 2021 Workshops, Virtual Event, June 14–18, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Computational Intelligence = 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Requirements Engineering for Social Sector Software Applications = Innovating for a Diverse Set of User Needs /
by:
(Language materials, printed)
Statistical Language and Speech Processing = 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Conceptual Modeling = 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(Language materials, printed)
End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Information and Software Technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings /
by:
(Language materials, printed)
Big Data and Security = Second International Conference, ICBDS 2020, Singapore, Singapore, December 20–22, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Model and Data Engineering in the Digitalization Era = MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Enterprise, Business-Process and Information Systems Modeling = 22nd International Conference, BPMDS 2021, and 26th International Conference, EMMSAD 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June 28–29, 2021, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings /
by:
(Language materials, printed)
Service-Oriented Computing – ICSOC 2020 Workshops = AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings /
by:
(Language materials, printed)
Perception, Representations, Image, Sound, Music = 14th International Symposium, CMMR 2019, Marseille, France, October 14–18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Cyber-Physical Security for Critical Infrastructures Protection = First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
SOFSEM 2021: Theory and Practice of Computer Science = 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings /
by:
(Language materials, printed)
Intelligent Information Systems = CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(Language materials, printed)
Lean Software Systems Engineering for Developers = Managing Requirements, Complexity, Teams, and Change Like a Champ /
by:
(Language materials, printed)
Artificial Intelligence in Education = 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Agile Processes in Software Engineering and Extreme Programming = 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Advanced Information Systems Engineering Workshops = CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
Distributed Applications and Interoperable Systems = 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Coordination Models and Languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(Language materials, printed)
Advances in Computational Collective Intelligence = 13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 – October 1, 2021, Proceedings /
by:
(Language materials, printed)
Cybersecurity in Emerging Digital Era = First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings /
by:
(Language materials, printed)
AIxIA 2020 – Advances in Artificial Intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII = Special Issue In Memory of Univ. Prof. Dr. Roland Wagner /
by:
(Language materials, printed)
Design Thinking Research = Translation, Prototyping, and Measurement /
by:
(Language materials, printed)
Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings /
by:
(Language materials, printed)
Digital Customer Experience Engineering = Strategies for Creating Effective Digital Experiences /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Enterprise Information Systems = 22nd International Conference, ICEIS 2020, Virtual Event, May 5–7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Public-Key Cryptography – PKC 2021 = 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II /
by:
(Language materials, printed)
PRIMA 2020: Principles and Practice of Multi-Agent Systems = 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(Language materials, printed)
Advanced Computing = 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Excel + VBA für Ingenieure = Programmieren erlernen und technische Fragestellungen lösen /
by:
(Language materials, printed)
Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive /
by:
(Language materials, printed)
Smart Cities = Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Software Quality: Future Perspectives on Software Engineering Quality = 13th International Conference, SWQD 2021, Vienna, Austria, January 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
by:
(Language materials, printed)
Model-Driven Engineering and Software Development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering for Absolute Beginners = Your Guide to Creating Software Products /
by:
(Language materials, printed)
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection = International Workshops of PAAMS 2021, Salamanca, Spain, October 6–9, 2021, Proceedings /
by:
(Language materials, printed)
Collaborative Computing: Networking, Applications and Worksharing = 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Software Business = 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Patterns in the Machine = A Software Engineering Guide to Embedded Development /
by:
(Language materials, printed)
Multi-Agent-Based Simulation XXI = 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Lean and Agile Software Development = 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
(Language materials, printed)
Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection = 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings /
by:
(Language materials, printed)
Soft Computing and its Engineering Applications = Second International Conference, icSoftComp 2020, Changa, Anand, India, December 11–12, 2020, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV /
by:
(Language materials, printed)
Embedded Software Timing = Methodik, Analyse und Praxistipps am Beispiel Automotive /
by:
(Language materials, printed)
Microelectronic Devices, Circuits and Systems = Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Datenschutz für Softwareentwicklung und IT = Eine praxisorientierte Einführung /
by:
(Language materials, printed)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(Language materials, printed)
Trustworthy AI - Integrating Learning, Optimization and Reasoning = First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings /
by:
(Language materials, printed)
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future = Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement /
by:
(Language materials, printed)
Distributed Computing and Internet Technology = 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings /
by:
(Language materials, printed)
Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Grundkurs Relationale Datenbanken = Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf /
by:
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence in Music, Sound, Art and Design = 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Computational Sciences - Modelling, Computing and Soft Computing = First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Chinese Lexical Semantics = 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Multi-Agent Systems = 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering and Algorithms = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1 /
by:
(Language materials, printed)
Applied Technologies = Second International Conference, ICAT 2020, Quito, Ecuador, December 2–4, 2020, Proceedings /
by:
(Language materials, printed)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part X /
by:
(Language materials, printed)
The Agile Codex = Re-inventing Agile Through the Science of Invention and Assembly /
by:
(Language materials, printed)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Well-Being in the Information Society. Fruits of Respect = 8th International Conference, WIS 2020, Turku, Finland, August 26–27, 2020, Proceedings /
by:
(Language materials, printed)
Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2020 = 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Frontiers in Cyber Security = Third International Conference, FCS 2020, Tianjin, China, November 15–17, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2020 = 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2020 = 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings /
by:
(Language materials, printed)
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Multi-Agent-Based Simulation XX = 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
HCI in Business, Government and Organizations = 7th International Conference, HCIBGO 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings /
by:
(Language materials, printed)
Beginning Jakarta EE Web Development = Using JSP, JSF, MySQL, and Apache Tomcat for Building Java Web Applications /
by:
(Language materials, printed)
Intelligent Technologies and Applications = Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
(Language materials, printed)
Technologies and Innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings /
by:
(Language materials, printed)
Cloud Computing, Big Data & Emerging Topics = 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings /
by:
(Language materials, printed)
Information Systems Security and Privacy = 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Raspberry Pi im Informatik- und Technikunterricht = Konzeption eines handlungs- und problemorientierten Unterrichts mit der MicroBerry-Lernumgebung /
by:
(Language materials, printed)
Dialog zwischen Mensch und Maschine = Conversational User Interfaces, intelligente Assistenten und Voice-Systeme /
by:
(Language materials, printed)
Computational Advances in Bio and Medical Sciences = 9th International Conference, ICCABS 2019, Miami, FL, USA, November 15–17, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Software Ecosystems, Sustainability and Human Values in the Social Web = 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, October 22, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Learn Java for Android Development = Migrating Java SE Programming Skills to Mobile Development /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /
by:
(Language materials, printed)
Detection of Intrusions and Malware, and Vulnerability Assessment = 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings /
by:
(Language materials, printed)
Interactive Storytelling = 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3–6, 2020, Proceedings /
by:
(Language materials, printed)
Emerging Technologies for Authorization and Authentication = Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Applications = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Excel + VBA für den Unterricht = Lösung einfacher technischer Fragestellungen /
by:
(Language materials, printed)
Knowledge Discovery, Knowledge Engineering and Knowledge Management = 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III
by:
(Language materials, printed)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II /
by:
(Language materials, printed)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III
by:
(Language materials, printed)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III /
by:
(Language materials, printed)
Reflections on the Teaching of Programming = Methods and Implementations /
by:
(Language materials, printed)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I /
by:
(Language materials, printed)
Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics
by:
(Language materials, printed)
Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers /
by:
(Language materials, printed)
SAP fur Java-Entwickler = Konzepte, Schnittstellen, Technologien /
by:
(Language materials, printed)
Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle
by:
(Language materials, printed)
Beginning Databases with PostgreSQL = From Novice to Professional /
by:
(Language materials, printed)
Embedded systems specification and design languages = selected contributions from FDL'07 /
by:
(Language materials, printed)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(Language materials, printed)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II /
by:
(Language materials, printed)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I /
by:
(Language materials, printed)
Parallel computing technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings /
by:
(Language materials, printed)
Euro-Par 2015 = parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Countdown to a moon launch = preparing Apollo for its historic journey /
by:
(Language materials, printed)
Design of Adaptive Finite Element Software = The Finite Element Toolbox ALBERTA /
by:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV /
by:
(Language materials, printed)
Tools for High Performance Computing = Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart /
by:
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(Language materials, printed)
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education
by:
(Language materials, printed)
Systems and virtualization management = standards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings /
by:
(Language materials, printed)
Worst-case execution time aware compilation techniques for real-time systems
by:
(Language materials, printed)
Accelerating test, validation and debug of high speed serial interfaces
by:
(Language materials, printed)
Embedded system design = embedded systems foundations of cyber-physical systems /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
by:
(Language materials, printed)
Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers /
by:
(Language materials, printed)
Introduction to Assembly Language Programming = For Pentium and RISC Processors /
by:
(Language materials, printed)
Autonomy Oriented Computing = From Problem Solving to Complex Systems Modeling /
by:
(Language materials, printed)
Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
by:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I /
by:
(Language materials, printed)
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
by:
(Language materials, printed)
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(Language materials, printed)
Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings /
by:
(Language materials, printed)
High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings
by:
(Language materials, printed)
Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(Language materials, printed)
Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 /
by:
(Language materials, printed)
High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers /
by:
(Language materials, printed)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Language materials, printed)
Open Source Messaging Application Development = Building and Extending Gaim /
by:
(Language materials, printed)
Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /
by:
(Language materials, printed)
A Software Process Model Handbook for Incorporating People's Capabilities
by:
(Language materials, printed)
Virtual, Distributed and Flexible Organisations = Studies in Organisational Semiotics /
by:
(Language materials, printed)
Technology systems and management = first International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011 : selected papers /
by:
(Language materials, printed)
Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers /
by:
(Language materials, printed)
High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I /
by:
(Language materials, printed)
Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
by:
(Language materials, printed)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
The Making of Information Systems = Software Engineering and Management in a Globalized World /
by:
(Language materials, printed)
Computer-Aided Innovation (CAI) = IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy /
by:
(Language materials, printed)
The Testing Network = An Integral Approach to Test Activities in Large Software Projects /
by:
(Language materials, printed)
Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II
by:
(Language materials, printed)
Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
by:
(Language materials, printed)
Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Developing Ambient Intelligence = Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d��07) /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings /
by:
(Language materials, printed)
Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
(Language materials, printed)
Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures /
by:
(Language materials, printed)
Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings /
by:
(Language materials, printed)
End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings /
by:
(Language materials, printed)
Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
by:
(Language materials, printed)
Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers /
by:
(Language materials, printed)
Distributed and Parallel Systems = In Focus: Desktop Grid Computing /
by:
(Language materials, printed)
High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(Language materials, printed)
Supply Chain Management on Demand = Strategies, Technologies, Applications /
by:
(Language materials, printed)
Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
by:
(Language materials, printed)
Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers /
by:
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
by:
(Language materials, printed)
Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings /
by:
(Language materials, printed)
Advances in conceptual modeling-challenging perspectives = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings /
by:
(Language materials, printed)
Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings /
by:
(Language materials, printed)
Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings /
by:
(Language materials, printed)
Cloud computing = First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings /
by:
(Language materials, printed)
Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /
by:
(Language materials, printed)
Advances in Software Engineering = International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings /
by:
(Language materials, printed)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(Language materials, printed)
Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers /
by:
(Language materials, printed)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Language materials, printed)
Performance evaluation and benchmarking = first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers /
by:
(Language materials, printed)
Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers /
by:
(Language materials, printed)
Information system development = towards a service provision society /
by:
(Language materials, printed)
Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings /
by:
(Language materials, printed)
Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings /
by:
(Language materials, printed)
Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings /
by:
(Language materials, printed)
Mobile wireless middleware, operating systems, and applications - workshops = Mobilware 2009 Workshops, Berlin, Germany, April 2009 : revised selected papers /
by:
(Language materials, printed)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings /
by:
(Language materials, printed)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(Language materials, printed)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
UNIX operating system = the development tutorial via UNIX kernel services /
by:
(Language materials, printed)
Advances in conceptual modeling-challenging perspectives : = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings /
by:
(Language materials, printed)
Advances in Software Engineering : = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /
by:
(Language materials, printed)
Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings /
by:
(Language materials, printed)
Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /
by:
(Language materials, printed)
Programming for engineers = a foundational approach to learning C and Matlab /
by:
(Language materials, printed)
Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
by:
(Language materials, printed)
Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings /
by:
(Language materials, printed)
Provable and Practical Security = 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings /
by:
(Language materials, printed)
Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Critical Information Infrastructures Security = 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers /
by:
(Language materials, printed)
The Practice of Enterprise Modeling = 13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25–27, 2020, Proceedings /
by:
(Language materials, printed)
Risks and Security of Internet and Systems = 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29–31, 2019, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Business Standard Compliance and Requirements Validation Using Goal Models
by:
(Language materials, printed)
Intelligent Human Computer Interaction = 11th International Conference, IHCI 2019, Allahabad, India, December 12–14, 2019, Proceedings /
by:
(Language materials, printed)
Wireless Internet = 12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26–27, 2019, Proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
by:
(Language materials, printed)
Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Blockchain and Trustworthy Systems = Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Advanced Information Systems Engineering = CAiSE Forum 2020, Grenoble, France, June 8–12, 2020, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
by:
(Language materials, printed)
MonoGame Mastery = Build a Multi-Platform 2D Game and Reusable Game Engine /
by:
(Language materials, printed)
Information and Cyber Security = 18th International Conference, ISSA 2019, Johannesburg, South Africa, August 15, 2019, Proceedings /
by:
(Language materials, printed)
Information and Communications Security = 21st International Conference, ICICS 2019, Beijing, China, December 15–17, 2019, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Data Science = 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Business Modeling and Software Design = 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection = 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings /
by:
(Language materials, printed)
Optical Network Design and Modeling = 23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13–16, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Information and Computer Security = 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings /
by:
(Language materials, printed)
Security Protocols XXVII = 27th International Workshop, Cambridge, UK, April 10–12, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Techniques for High Performance Computing = Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
(Language materials, printed)
Applied Computing to Support Industry: Innovation and Technology = First International Conference, ACRIT 2019, Ramadi, Iraq, September 15–16, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Machine Learning and Knowledge Extraction = 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25–28, 2020, Proceedings /
by:
(Language materials, printed)
Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings /
by:
(Language materials, printed)
Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings /
by:
(Language materials, printed)
New Trends in Information and Communications Technology Applications = 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings /
by:
(Language materials, printed)
Service-Oriented Computing – ICSOC 2019 Workshops = WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Softwareentwicklung kompakt und verständlich = Wie Softwaresysteme entstehen /
by:
(Language materials, printed)
Information systems development = business systems and services : modeling and development /
by:
(Language materials, printed)
VLSI-SoC = technologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers /
by:
(Language materials, printed)
Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers /
by:
(Language materials, printed)
Information and communication on technology for the fight against global warming = first international conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011 : proceedings /
by:
(Language materials, printed)
Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 /
by:
(Language materials, printed)
Graph and model transformation = general framework and applications /
by:
(Language materials, printed)
Euro-Par 2015 = Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Agile product development = how to design innovative products that create customer value /
by:
(Language materials, printed)
The software industry = economic principles, strategies, perspectives /
by:
(Language materials, printed)
Surface- and groundwater quality changes in periods of water scarcity
by:
(Language materials, printed)
IAENG transactions on engineering technologies = special edition of the World Congress on Engineering and Computer Science 2011 /
by:
(Language materials, printed)
Concurrent programming = algorithms, principles, and foundations /
by:
(Language materials, printed)
Software and data technologies = 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010 : revised selected papers /
by:
(Language materials, printed)
Innovative technologies for dependable OTS-based critical systems = challenges and achievements of the CRITICAL STEP Project /
by:
(Language materials, printed)
Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
by:
(Language materials, printed)
Facing the multicore-challenge III = aspects of new paradigms and technologies in parallel computing /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering IV = International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers /
by:
(Language materials, printed)
Engineering secure software and systems = 5th international symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013 : proceedings /
by:
(Language materials, printed)
Euro-Par 2012: Parallel processing workshops = BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012 : revised selected papers /
by:
(Language materials, printed)
Innovation and future of enterprise information systems = ERP Future 2012 Conference, Salzburg, Austria, November 2012, revised papers /
by:
(Language materials, printed)
NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings /
by:
(Language materials, printed)
Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings /
by:
(Language materials, printed)
Understanding petri nets = modeling techniques, analysis methods, case studies /
by:
(Language materials, printed)
Knowledge science, engineering and management = 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013 : proceedings /
by:
(Language materials, printed)
An introduction to network programming with Java = Java 7 Compatible /
by:
(Language materials, printed)
Automated technology for verification and analysis = 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /
by:
(Language materials, printed)
Parallel computing technologies = 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013 : proceedings /
by:
(Language materials, printed)
Software exorcism = a handbook for debugging and optimizing legacy code /
by:
(Language materials, printed)
VLSI-SoC: Advanced Topics on Systems on a Chip = a selection of extended versions of the best papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA /
by:
(Language materials, printed)
Quality of software architectures = models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Language materials, printed)
Testbeds and research infrastructure = development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers /
by:
(Language materials, printed)
Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
by:
(Language materials, printed)
Reflections on the history of computing = preserving memories and sharing stories /
by:
(Language materials, printed)
ICT as key technology against global warming = second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
(Language materials, printed)
Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(Language materials, printed)
Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(Language materials, printed)
Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures /
by:
(Language materials, printed)
Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
by:
(Language materials, printed)
Systems, software and services process improvement = 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings /
by:
(Language materials, printed)
Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing /
by:
(Language materials, printed)
Information systems development = reflections, challenges and new directions /
by:
(Language materials, printed)
Advances in computer science, engineering & applications = proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.. Volume 2 /
by:
(Language materials, printed)
Advances in computer science, engineering & applications = proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.. Volume 1 /
by:
(Language materials, printed)
Computer, informatics, cybernetics and applications = proceedings of the CICA 2011 /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development
by:
(Language materials, printed)
Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(Language materials, printed)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II /
by:
(Language materials, printed)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I /
by:
(Language materials, printed)
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(Language materials, printed)
VLSI-SoC: Forward-Looking Trends in IC and Systems Design = 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers /
by:
(Language materials, printed)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(Language materials, printed)
Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers /
by:
(Language materials, printed)
Applied ontology engineering in cloud services, networks and management systems
by:
(Language materials, printed)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Language materials, printed)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
by:
(Language materials, printed)
Software product management and pricing = key success factors for software organizations /
by:
(Language materials, printed)
End-User development = 2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings /
by:
(Language materials, printed)
Information systems development = challenges in practice, theory, and education volume 2 /
by:
(Language materials, printed)
Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
by:
(Language materials, printed)
Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
by:
(Language materials, printed)
Information systems, technology and management = Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings /
by:
(Language materials, printed)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(Language materials, printed)
Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers /
by:
(Language materials, printed)
Software verification and analysis = an integrated, hands-on approach /
by:
(Language materials, printed)
A concise and practical introduction to programming algorithms in java
by:
(Language materials, printed)
Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings /
by:
(Language materials, printed)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(Language materials, printed)
Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures /
by:
(Language materials, printed)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I /
by:
(Language materials, printed)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II /
by:
(Language materials, printed)
Geometric algebra = an algebraic system for computer games and animation/
by:
(Language materials, printed)
Real-time security extensions for EPCglobal networks = case study for the pharmaceutical industry /
by:
(Language materials, printed)
Proceedings of International Conference on Internet Computing and Information Communications = ICICIC Global 2012 /
by:
(Language materials, printed)
IAENG transactions on engineering technologies = special issue of the World Congress on Engineering and Computer Science 2012 /
by:
(Language materials, printed)
Intelligent computing, networking, and informatics = proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /
by:
(Language materials, printed)
Biometrics in the new world = the cloud, mobile technology and pervasive identity /
by:
(Language materials, printed)
Engineering secure software and systems = 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Language materials, printed)
Programming languages and operational semantics = a concise overview /
by:
(Language materials, printed)
Model-driven software migration = a methodology : Reengineering, recovery and modernization of legacy systems /
by:
(Language materials, printed)
The privacy engineer's manifesto = getting from policy to code to QA to value /
by:
(Language materials, printed)
Irresistible apps = motivational design patterns for apps, games, and web-based communities /
by:
(Language materials, printed)
Advances in complex data modeling and computational methods in statistics
by:
(Language materials, printed)
A practical guide to TPM 2.0 = using the new Trusted Platform Module in the new age of security /
by:
(Language materials, printed)
The Vixen Star Book user guide = how to use the Star Book TEN and the original Star Book /
by:
(Language materials, printed)
Multidimensional views on enterprise information systems = proceedings of ERP future 2014 /
by:
(Language materials, printed)
Information technology in environmental engineering = proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015) /
by:
(Language materials, printed)
Working around disruptions of network infrastructures = mobile ad-hoc systems for resilient communication in disasters /
by:
(Language materials, printed)
Algorithmic aspects of cloud computing = first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Intelligent web data management = software architectures and emerging technologies /
by:
(Language materials, printed)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(Language materials, printed)
Variation based dense 3D Reconstruction = application on monocular mini-laparoscopic sequences /
by:
(Language materials, printed)
Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(Language materials, printed)
Transactions on engineering technologies = International MultiConference of Engineers and Computer Scientists 2015 /
by:
(Language materials, printed)
Critical infrastructures = risk and vulnerability assessment in transportation of dangerous goods : transportation by road and rail /
by:
(Language materials, printed)
Description and selection of communication services for service oriented network architectures
by:
(Language materials, printed)
Distributed applications and interoperable systems = 16th IFIP WG 6.1 International Conference, DAIS 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
by:
(Language materials, printed)
High performance computing in science and engineering = second International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers /
by:
(Language materials, printed)
Rolling out 5G = use cases, applications, and technology solutions /
by:
(Language materials, printed)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part I /
by:
(Language materials, printed)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II /
by:
(Language materials, printed)
Mathematical software - ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(Language materials, printed)
Functional safety for road vehicles = new challenges and solutions for e-mobility and automated driving /
by:
(Language materials, printed)
Control modes on mobile software platforms = empirical studies on the importance of informal control /
by:
(Language materials, printed)
Computer and information sciences = 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016 : proceedings /
by:
(Language materials, printed)
Analyzing time interval data = introducing an information system for time interval data analysis /
by:
(Language materials, printed)
Distributed computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings /
by:
(Language materials, printed)
History and philosophy of computing = third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers /
by:
(Language materials, printed)
Coordination of complex sociotechnical systems = self-organisation of knowledge in MoK /
by:
(Language materials, printed)
Applied computer sciences in engineering = third Workshop on Engineering Applications, WEA 2016, Bogota, Colombia, September 21-23, 2016 : revised selected papers /
by:
(Language materials, printed)
Process algebras for Petri nets = the alphabetization of distributed systems /
by:
(Language materials, printed)
Bridging the gap between requirements engineering and software architecture = a problem-oriented and quality-driven method /
by:
(Language materials, printed)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
(Language materials, printed)
Transactions on engineering technologies = International MultiConference of Engineers and Computer Scientists 2016 /
by:
(Language materials, printed)
Beginning Swift games development for iOS = develop 2D and 3D games using Apple's SceneKit and SpriteKit /
by:
(Language materials, printed)
Euro-Par 2016 = Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers /
by:
(Language materials, printed)
Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(Language materials, printed)
Technologies and innovation = third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017 : proceedings /
by:
(Language materials, printed)
Information, communication and computing technology = Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017 : revised selected papers /
by:
(Language materials, printed)
The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Towards integrative machine learning and knowledge extraction = BIRS Workshop, Banff, AB, Canada, July 24-26, 2015 : revised selected papers /
by:
(Language materials, printed)
Pro Spring 5 = an in-depth guide to the Spring framework and its tools /
by:
(Language materials, printed)
Advances in artificial intelligence = from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in artificial intelligence = from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(Language materials, printed)
Data analytics = 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017 : proceedings /
by:
(Language materials, printed)
Symbolic and quantitative approaches to reasoning with uncertainty = 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings /
by:
(Language materials, printed)
Theory of cryptography = 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Beginning XML with C# 7 = XML processing and data access for C# developers /
by:
(Language materials, printed)
Organic computing - technical systems for survival in the real world
by:
(Language materials, printed)
Financial cryptography and data security = 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017 : revised selected papers /
by:
(Language materials, printed)
System level design from HW/SW to memory for embedded systems = 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguacu, Brazil, November 3-6, 2015 : proceedings /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016 : revised selected papers /
by:
(Language materials, printed)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(Language materials, printed)
Applied computer science for GGOS observatories = communication, coordination and automation of future geodetic infrastructures /
by:
(Language materials, printed)
Load modelling and generation in IP-based networks = a unified approach and tool support /
by:
(Language materials, printed)
Progress in artificial intelligence = 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017 : proceedings /
by:
(Language materials, printed)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(Language materials, printed)
Beginning Ubuntu for Windows and Mac users = start your journey into free and open source software /
by:
(Language materials, printed)
Programming in HTML and PHP = coding for scientists and engineers /
by:
(Language materials, printed)
Machine learning in medical imaging = 8th International Workshop, MLMI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017 : proceedings /
by:
(Language materials, printed)
Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
(Language materials, printed)
Post-quantum cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings /
by:
(Language materials, printed)
Topics in cryptology - CT-RSA 2018 = the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(Language materials, printed)
Public-key cryptography - PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Optimizing data-to-learning-to-action = the modern approach to continuous performance improvement for businesses /
by:
(Language materials, printed)
Programming LEGO EV3 my blocks = teaching concepts and preparing for FLL Competition /
by:
(Language materials, printed)
Foundations of software science and computation structures = 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Structured object-oriented formal language and method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers /
by:
(Language materials, printed)
Pro PowerShell desired state configuration = an in-depth guide to Windows PowerShell DSC /
by:
(Language materials, printed)
Database systems for advanced applications = DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018 : proceedings /
by:
(Language materials, printed)
Bioinspired optimization methods and their applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings /
by:
(Language materials, printed)
Internet of things - ICIOT 2018 = third International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings /
by:
(Language materials, printed)
Services computing - SCC 2018 = 15th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings /
by:
(Language materials, printed)
Agents and artificial intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017 : revised selected papers /
by:
(Language materials, printed)
Social, cultural and behavioral modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018 : proceedings /
by:
(Language materials, printed)
Intelligent transport systems - from research and development to the market uptake = first International Conference, INTSYS 2017, Hyvinkaa, Finland, November 29-30, 2017 : proceedings /
by:
(Language materials, printed)
Computing, analytics and networks = first International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017 : revised selected papers /
by:
(Language materials, printed)
Facilitating daily life integration of technologies for active and healthy aging = understanding demands of older adults in health technology design /
by:
(Language materials, printed)
Thread and data mapping for multicore systems = improving communication and memory accesses /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Machine learning for dynamic software analysis = potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
Mobile web and intelligent information systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V /
by:
(Language materials, printed)
Practical Bot development = designing and building Bots with Node.js and Microsoft Bot framework /
by:
(Language materials, printed)
REST API development with Node.js = manage and understand the full capabilities of successful REST development /
by:
(Language materials, printed)
Applications of computing and communication technologies = first International Conference, ICACCT 2018, Delhi, India, March 9, 2018 : revised selected papers /
by:
(Language materials, printed)
Management perspective for transport telematics = 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018 : selected papers /
by:
(Language materials, printed)
Information security education - towards a cybersecure society = 11th IFIP WG 11.8 World Conference, WISE 11, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018 : proceedings /
by:
(Language materials, printed)
Principles and practice of constraint programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings /
by:
(Language materials, printed)
Data privacy management, cryptocurrencies and blockchain technology = ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018 : proceedings /
by:
(Language materials, printed)
HTML5 and JavaScript projects = build on your basic knowledge of HTML5 and JavaScript to create substantial HTML5 applications /
by:
(Language materials, printed)
Applied computer sciences in engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Applied computer sciences in engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
New trends in information and communications technology applications = third International Conference, NTICT 2018, Baghdad, Iraq, October 2-4, 2018 : proceedings /
by:
(Language materials, printed)
Understanding modern dive computers and operation = protocols, models, tests, data, risk and applications /
by:
(Language materials, printed)
Electronic voting = third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018 : proceedings /
by:
(Language materials, printed)
Advanced concepts for intelligent vision systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018 : proceedings /
by:
(Language materials, printed)
Cloud computing and security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers.. Part VI /
by:
(Language materials, printed)
Cloud computing and security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers.. Part V /
by:
(Language materials, printed)
Multiple criteria decision aid = methods, examples and Python implementations /
by:
(Language materials, printed)
New trends in model and data engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings /
by:
(Language materials, printed)
Provable security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018 : proceedings /
by:
(Language materials, printed)
Informatics in schools = fundamentals of computer science and software engineering : 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018 : proceedings /
by:
(Language materials, printed)
Information and communications security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018 : proceedings /
by:
(Language materials, printed)
PRIMA 2018 = principles and practice of multi-agent systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018 : proceedings /
by:
(Language materials, printed)
Pattern recognition and computer vision = first Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
The essential guide to HTML5 = using games to learn HTML5 and JavaScript /
by:
(Language materials, printed)
Big data technologies and applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23-24, 2017 : proceedings /
by:
(Language materials, printed)
Cryptology and network security = 16th International Conference, CANS 2017, Hong Kong, China, November 30-December 2, 2017 : revised selected papers /
by:
(Language materials, printed)
Music technology with Swing = 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017 : revised selected papers /
by:
(Language materials, printed)
Security protocols XXVI = 26th International Workshop, Cambridge, UK, March 19-21, 2018 : revised selected papers /
by:
(Language materials, printed)
Emerging technologies for authorization and authentication = first International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018 : proceedings /
by:
(Language materials, printed)
Current trends in web engineering = ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Caceres, Spain, June 5, 2018 : revised selected papers /
by:
(Language materials, printed)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part V /
by:
(Language materials, printed)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part VI /
by:
(Language materials, printed)
Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part VII /
by:
(Language materials, printed)
Security, privacy, and applied cryptography engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018 : proceedings /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Privacy technologies and policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers /
by:
(Language materials, printed)
Cyber physical systems = design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers /
by:
(Language materials, printed)
Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(Language materials, printed)
Applied computer sciences in engineering = 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017 : proceedings /
by:
(Language materials, printed)
Algorithmic decision theory = 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings /
by:
(Language materials, printed)
Cryptographic hardware and embedded systems - CHES 2017 = 19th International Conference, Taipei, Taiwan, September 25-28, 2017 : proceedings /
by:
(Language materials, printed)
Distributed applications and interoperable systems = 17th IFIP WG 6.1 International Conference, DAIS 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
(Language materials, printed)
Human aspects of information security, privacy and trust = 5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings /
by:
(Language materials, printed)
Implementation and Application of Automata = 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings /
by:
(Language materials, printed)
Industrial applications of holonic and multi-agent systems = 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings /
by:
(Language materials, printed)
Network and parallel computing = 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017 : proceedings /
by:
(Language materials, printed)
Parallel computing technologies = 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings /
by:
(Language materials, printed)
Computer science - CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers /
by:
(Language materials, printed)
Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
(Language materials, printed)
Applied cryptography and network security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019 : proceedings /
by:
(Language materials, printed)
Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part II /
by:
(Language materials, printed)
Knowledge management in organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II /
by:
(Language materials, printed)
Internet of things - ICIOT 2019 = 4th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings /
by:
(Language materials, printed)
Cloud computing - CLOUD 2019 = 12th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings /
by:
(Language materials, printed)
Practical Salesforce development without code = building declarative solutions on the Salesforce platform /
by:
(Language materials, printed)
Cloud computing and big data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers /
by:
(Language materials, printed)
Engineering multi-agent systems = 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018 : revised selected papers /
by:
(Language materials, printed)
Parallel computing technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I /
by:
(Language materials, printed)
Transactions on engineering technologies = World Congress on Engineering and Computer Science 2015 /
by:
(Language materials, printed)
A Practical Guide to TPM 2.0 = Using the Trusted Platform Module in the New Age of Security /
by:
(Language materials, printed)
Windows 10 Revealed = The Universal Windows Operating System for PC, Tablets, and Windows Phone /
by:
(Language materials, printed)
Practical Enterprise Software Development Techniques = Tools and Techniques for Large Scale Solutions /
by:
(Language materials, printed)
Learn JavaFX 8 = Building User Experience and Interfaces with Java 8 /
by:
(Language materials, printed)
High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Practical Salesforce.com Development Without Code = Customizing Salesforce on the Force.com Platform /
by:
(Language materials, printed)
Microservices, IoT and Azure = Leveraging DevOps and Microservice Architecture to deliver SaaS Solutions /
by:
(Language materials, printed)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Pro XAML with C# = Application Development Strategies (covers WPF, Windows 8.1, and Windows Phone 8.1) /
by:
(Language materials, printed)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Extending SSIS with .NET Scripting = A Toolkit for SQL Server Integration Services /
by:
(Language materials, printed)
Barrierefreiheit im virtuellen Raum = Benutzungszentrierte und modellgetriebene Entwicklung von Weboberflächen /
by:
(Language materials, printed)
Microsoft Mapping Second Edition = Geospatial Development in Windows 10 with Bing Maps and C# /
by:
(Language materials, printed)
SAP ERP Financial Accounting and Controlling = Configuration and Use Management /
by:
(Language materials, printed)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Computer Science and Its Applications = 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Cryptography and Cryptanalysis in MATLAB = Creating and Programming Advanced Algorithms /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(Language materials, printed)
Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
by:
(Language materials, printed)
Informatics and Cybernetics in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3 /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Service-Oriented and Cloud Computing = International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I /
by:
(Language materials, printed)
New Perspectives in Software Engineering = Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) /
by:
(Language materials, printed)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 2 /
by:
(Language materials, printed)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Quality of Information and Communications Technology = 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings /
by:
(Language materials, printed)
Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
by:
(Language materials, printed)
From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers /
by:
(Language materials, printed)
HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Human Aspects of IT for the Aged Population. Technology Design and Acceptance = 7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Business Modeling and Software Design = 11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5–7, 2021, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Knowledge Management in Organizations = 15th International Conference, KMO 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings /
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Practical System Programming with C = Pragmatic Example Applications in Linux and Unix-Based Operating Systems /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(Language materials, printed)
Cloud Computing, Big Data & Emerging Topics = 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings /
by:
(Language materials, printed)
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production = 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Knowledge Discovery, Knowledge Engineering and Knowledge Management = 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
(Language materials, printed)
IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning = Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Distributed Computer and Communication Networks: Control, Computation, Communications = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Multi-Agent Systems and Agreement Technologies = 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Design Patterns in .NET Core 3 = Reusable Approaches in C# and F# for Object-Oriented Software Design /
by:
(Language materials, printed)
Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI = 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Mobile Computing, Applications, and Services = 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V /
by:
(Language materials, printed)
Computer Security = ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Theory of Cryptography = 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Neue Möglichkeiten für die Motorsteuergeräte-Software durch Car-to-Cloud-Vernetzung
by:
(Language materials, printed)
Cryptology and Network Security = 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings /
by:
(Language materials, printed)
Service-Oriented Computing = 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings /
by:
(Language materials, printed)
Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY /
by:
(Language materials, printed)
Service-Oriented Computing = 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 /
by:
(Language materials, printed)
Software Verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Economics of Grids, Clouds, Systems, and Services = 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Cooperative Design, Visualization, and Engineering = 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings /
by:
(Language materials, printed)
Intelligent Computing Methodologies = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings /
by:
(Language materials, printed)
Information and Software Technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings /
by:
(Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI /
by:
(Language materials, printed)
Interactive Collaborative Robotics = 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings /
by:
(Language materials, printed)
Recent Advances in Data Science = Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part IV /
by:
(Language materials, printed)
Quality of Information and Communications Technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Information and Communication Technologies in Education, Research, and Industrial Applications = 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Internet of Things - ICIOT 2020 = 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings /
by:
(Language materials, printed)
Strategie, Planung und Organisation von Testprozessen = Basis für erfolgreiche Projektabwicklung im Softwaretest /
by:
(Language materials, printed)
Geoinformatics in Sustainable Ecosystem and Society = 7th International Conference, GSES 2019, and First International Conference, GeoAI 2019, Guangzhou, China, November 21–25, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings /
by:
(Language materials, printed)
Technical, Economic and Societal Effects of Manufacturing 4.0 = Automation, Adaption and Manufacturing in Finland and Beyond /
by:
(Language materials, printed)
New Frontiers in Artificial Intelligence = JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Pro C# 8 with .NET Core 3 = Foundational Principles and Practices in Programming /
by:
(Language materials, printed)
Computer Networks = 27th International Conference, CN 2020, Gdańsk, Poland, June 23–24, 2020, Proceedings /
by:
(Language materials, printed)
Services Computing – SCC 2020 = 17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings /
by:
(Language materials, printed)
Game Programming with Unity and C# = A Complete Beginner’s Guide /
by:
(Language materials, printed)
Benchmarking, Measuring, and Optimizing = Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14–16, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Distributed Applications and Interoperable Systems = 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings /
by:
(Language materials, printed)
Smart Applications and Data Analysis = Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Data Science and Analytics = 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
High Performance Computing = 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV = Special Issue on Data Management – Principles, Technologies, and Applications /
by:
(Language materials, printed)
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences = A Reference Model Guided Approach for Common Challenges /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Modelling and Development of Intelligent Systems = 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Modern Information Technology and IT Education = 13th International Conference, SITITO 2018, Moscow, Russia, November 29 – December 2, 2018, Revised Selected Papers /
by:
(Language materials, printed)
KI 2020: Advances in Artificial Intelligence = 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Computer Science – CACIC 2019 = 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14–18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Beyond Interactions = INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Graph and Model Transformation = General Framework and Applications /
by:
(Language materials, printed)
Systemkonsolidierung und Datenmigration als Erfolgsfaktoren = HMD Best Paper Award 2014 /
by:
(Language materials, printed)
Predictive Analytics with Microsoft Azure Machine Learning 2nd Edition
by:
(Language materials, printed)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
by:
(Language materials, printed)
Pro Bash Programming, Second Edition = Scripting the GNU/Linux Shell /
by:
(Language materials, printed)
Windows 10 Primer = What to Expect from Microsoft's New Operating System /
by:
(Language materials, printed)
Beginning HTML5 Media = Make the most of the new video and audio standards for the Web /
by:
(Language materials, printed)
Platzierung von Softwarekomponenten auf Mehrkernprozessoren = Automatisierte Konstruktion und Analyse für funktionssichere Systeme /
by:
(Language materials, printed)
Erhebung von Soll-Kompetenzen im Software Engineering = Anforderungen an Hochschulabsolventen aus industrieller Perspektive /
by:
(Language materials, printed)
Building Your Next Big Thing with Google Cloud Platform = A Guide for Developers and Enterprise Architects /
by:
(Language materials, printed)
Agile Performance Improvement = The New Synergy of Agile and Human Performance Technology /
by:
(Language materials, printed)
Grundkurs Mobile Kommunikationssysteme = LTE-Advanced, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth /
by:
(Language materials, printed)
Develop on Yammer = Social Integration for Modern Business Applications /
by:
(Language materials, printed)
Embedded Firmware Solutions = Development Best Practices for the Internet of Things /
by:
(Language materials, printed)
Advances in Complex Data Modeling and Computational Methods in Statistics
by:
(Language materials, printed)
Softwareentwicklung kompakt und verständlich = Wie Softwaresysteme entstehen /
by:
(Language materials, printed)
Build your own 2D Game Engine and Create Great Web Games = Using HTML5, JavaScript, and WebGL /
by:
(Language materials, printed)
Swing for Jython = Graphical Jython UI and Scripts Development using Java Swing and WebSphere Application Server /
by:
(Language materials, printed)
Building Great Software Engineering Teams = Recruiting, Hiring, and Managing Your Team from Startup to Success /
by:
(Language materials, printed)
Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Countdown to a Moon Launch = Preparing Apollo for Its Historic Journey /
by:
(Language materials, printed)
Distributed Applications and Interoperable Systems = 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
by:
(Language materials, printed)
Beginning Python Games Development, Second Edition = With PyGame /
by:
(Language materials, printed)
Agile Product Development = How to Design Innovative Products That Create Customer Value /
by:
(Language materials, printed)
Raspberry Pi - Das technische Handbuch = Konfiguration, Hardware, Applikationserstellung /
by:
(Language materials, printed)
Analyzing Time Interval Data = Introducing an Information System for Time Interval Data Analysis /
by:
(Language materials, printed)
Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods = Transportation by Road and Rail /
by:
(Language materials, printed)
Information Technology in Environmental Engineering = Proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015) /
by:
(Language materials, printed)
Intelligent Web Data Management: Software Architectures and Emerging Technologies
by:
(Language materials, printed)
High Performance Computing in Science and Engineering = Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Coordination of Complex Sociotechnical Systems = Self-organisation of Knowledge in MoK /
by:
(Language materials, printed)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Control Modes on Mobile Software Platforms = Empirical Studies on the Importance of Informal Control /
by:
(Language materials, printed)
Description and Selection of Communication Services for Service Oriented Network Architectures
by:
(Language materials, printed)
Working Around Disruptions of Network Infrastructures = Mobile Ad-Hoc Systems for Resilient Communication in Disasters /
by:
(Language materials, printed)
Wechselwirkung = Wie Prinzipien der Software die Philosophie verändern /
by:
(Language materials, printed)
Distributed Applications and Interoperable Systems = 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
by:
(Language materials, printed)
Transactions on Engineering Technologies = International MultiConference of Engineers and Computer Scientists 2015 /
by:
(Language materials, printed)
Variation Based Dense 3D Reconstruction = Application on Monocular Mini-Laparoscopic Sequences /
by:
(Language materials, printed)
Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse /
by:
(Language materials, printed)
Musterbasierte Parallelisierung sequenzieller Anwendungen = Konzept und Implementierung eines Verfahrens zur Softwaretransformation /
by:
(Language materials, printed)
Embedded Controller = Grundlagen und praktische Umsetzung für industrielle Anwendungen /
by:
(Language materials, printed)
Computer and Information Sciences = 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings /
by:
(Language materials, printed)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(Language materials, printed)
History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Mobile Computing = Grundlagen – Prozesse und Plattformen – Branchen und Anwendungsszenarien /
by:
(Language materials, printed)
Multidimensional Views on Enterprise Information Systems = Proceedings of ERP Future 2014 /
by:
(Language materials, printed)
Entwicklung eines skalierbaren und verteilten Datenbanksystems = Auf Basis von Apache Cassandra und SECONDO /
by:
(Language materials, printed)
Grundkurs Datenbankentwicklung = Von der Anforderungsanalyse zur komplexen Datenbankanfrage /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers /
by:
(Language materials, printed)
The Vixen Star Book User Guide = How to Use the Star Book TEN and the Original Star Book /
by:
(Language materials, printed)
Technologies and Innovation = Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings /
by:
(Language materials, printed)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(Language materials, printed)
Architekturbasiertes IT-Alignment = Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT /
by:
(Language materials, printed)
Functional Safety for Road Vehicles = New Challenges and Solutions for E-mobility and Automated Driving /
by:
(Language materials, printed)
Geschäftsprozessorientierte Systementwicklung = Von der Unternehmensarchitektur zum IT-System /
by:
(Language materials, printed)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(Language materials, printed)
Rolling Out 5G = Use Cases, Applications, and Technology Solutions /
by:
(Language materials, printed)
Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings /
by:
(Language materials, printed)
Electronic Voting = Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings /
by:
(Language materials, printed)
PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2018 = 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Informatics in Schools. Fundamentals of Computer Science and Software Engineering = 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings /
by:
(Language materials, printed)
Optimizing Data-to-Learning-to-Action = The Modern Approach to Continuous Performance Improvement for Businesses /
by:
(Language materials, printed)
Provable Security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings /
by:
(Language materials, printed)
Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Advances in Bioinformatics and Computational Biology = 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings /
by:
(Language materials, printed)
REST API Development with Node.js = Manage and Understand the Full Capabilities of Successful REST Development /
by:
(Language materials, printed)
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
(Language materials, printed)
New Trends in Information and Communications Technology Applications = Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings /
by:
(Language materials, printed)
Cryptology and Network Security = 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Agile Methods = 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13–14, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Social, Cultural, and Behavioral Modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings /
by:
(Language materials, printed)
HTML5 and JavaScript Projects = Build on your Basic Knowledge of HTML5 and JavaScript to Create Substantial HTML5 Applications /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2018 = 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings /
by:
(Language materials, printed)
Security and Cryptography for Networks = 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings /
by:
(Language materials, printed)
Best Practices für die Partizipation in der Produktentwicklung = HMD Best Paper Award 2017 /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(Language materials, printed)
Music Technology with Swing = 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Practical Bot Development = Designing and Building Bots with Node.js and Microsoft Bot Framework /
by:
(Language materials, printed)
Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings /
by:
(Language materials, printed)
Big Data Technologies and Applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2018 = 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII /
by:
(Language materials, printed)
Cryptology and Network Security = 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Financial Cryptography and Data Security = 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V /
by:
(Language materials, printed)
Information and Communications Security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings /
by:
(Language materials, printed)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI /
by:
(Language materials, printed)
Management Perspective for Transport Telematics = 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers /
by:
(Language materials, printed)
Metriken für das Testreporting = Analyse und Reporting für wirkungsvolles Testmanagement /
by:
(Language materials, printed)
Current Trends in Web Engineering = ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Agents and Artificial Intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Machine Learning for Dynamic Software Analysis: Potentials and Limits = International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2018 = 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
by:
(Language materials, printed)
Computer Science – CACIC 2017 = 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Advances in Computing = 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Data Privacy Management, Cryptocurrencies and Blockchain Technology = ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Security Protocols XXVI = 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Emerging Technologies for Authorization and Authentication = First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Mobile Web and Intelligent Information Systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings /
by:
(Language materials, printed)
Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I /
by:
(Language materials, printed)
New Trends in Model and Data Engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings /
by:
(Language materials, printed)
Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V /
by:
(Language materials, printed)
Understanding Modern Dive Computers and Operation = Protocols, Models, Tests, Data, Risk and Applications /
by:
(Language materials, printed)
Thread and Data Mapping for Multicore Systems = Improving Communication and Memory Accesses /
by:
(Language materials, printed)
Multi-Disciplinary Digital Signal Processing = A Functional Approach Using Matlab /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings /
by:
(Language materials, printed)
The Essential Guide to HTML5 = Using Games to Learn HTML5 and JavaScript /
by:
(Language materials, printed)
Intelligent Transport Systems – From Research and Development to the Market Uptake = First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings /
by:
(Language materials, printed)
Technology Trends = Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings /
by:
(Language materials, printed)
Internet of Things (IoT) Technologies for HealthCare = 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings /
by:
(Language materials, printed)
Information Security Education – Towards a Cybersecure Society = 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Applications of Computing and Communication Technologies = First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Beginning Serverless Computing = Developing with Amazon Web Services, Microsoft Azure, and Google Cloud /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2018 = 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2018 = 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2018 = 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Technologies and Innovation = 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings /
by:
(Language materials, printed)
Multiple Criteria Decision Aid = Methods, Examples and Python Implementations /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings /
by:
(Language materials, printed)
Wireless Sensor Networks = 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Programmierung mit PASCAL = Eine Einführung für Programmieranfänger /
by:
(Language materials, printed)
Bidirectional Transformations = International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /
by:
(Language materials, printed)
Pro PowerShell Desired State Configuration = An In-Depth Guide to Windows PowerShell DSC /
by:
(Language materials, printed)
Algorithmen für Ingenieure = Technische Realisierung mit Excel und VBA /
by:
(Language materials, printed)
Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Arbeit 4.0 – Digitalisierung, IT und Arbeit = IT als Treiber der digitalen Transformation /
by:
(Language materials, printed)
Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings /
by:
(Language materials, printed)
Database Systems for Advanced Applications = DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings /
by:
(Language materials, printed)
Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software /
by:
(Language materials, printed)
Public-Key Cryptography – PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Internet of Things – ICIOT 2018 = Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
by:
(Language materials, printed)
Grundkurs Mobile Kommunikationssysteme = LTE-Advanced Pro, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth /
by:
(Language materials, printed)
Services Computing – SCC 2018 = 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
by:
(Language materials, printed)
Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition = Anwenderwissen zur Unternehmenslösung von Microsoft /
by:
(Language materials, printed)
Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Public-Key Cryptography – PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Illustrated C# 7 = The C# Language Presented Clearly, Concisely, and Visually /
by:
(Language materials, printed)
Selected Areas in Cryptography – SAC 2017 = 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V /
by:
(Language materials, printed)
Pro JavaFX 9 = A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients /
by:
(Language materials, printed)
Programming LEGO® EV3 My Blocks = Teaching Concepts and Preparing for FLL® Competition /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computing, Analytics and Networks = First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Facilitating Daily Life Integration of Technologies for Active and Healthy Aging = Understanding Demands of Older Adults in Health Technology Design /
by:
(Language materials, printed)
Learn Computer Science with Swift = Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds /
by:
(Language materials, printed)
Cloud Computing – CLOUD 2019 = 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /
by:
(Language materials, printed)
Agile Methods = 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings /
by:
(Language materials, printed)
Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings /
by:
(Language materials, printed)
Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings /
by:
(Language materials, printed)
SQL & NoSQL Databases = Models, Languages, Consistency Options and Architectures for Big Data Management /
by:
(Language materials, printed)
Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen
by:
(Language materials, printed)
Beginning JavaScript = The Ultimate Guide to Modern JavaScript Development /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2019 = 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Practical Salesforce Development Without Code = Building Declarative Solutions on the Salesforce Platform /
by:
(Language materials, printed)
High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings /
by:
(Language materials, printed)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(Language materials, printed)
Logic Programming and Nonmonotonic Reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
by:
(Language materials, printed)
Knowledge Management in Organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings /
by:
(Language materials, printed)
Description Logic, Theory Combination, and All That = Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Cyber Physical Systems. Design, Modeling, and Evaluation = 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Intelligence = 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures /
by:
(Language materials, printed)
Applied Cryptography and Network Security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings /
by:
(Language materials, printed)
Risks and Security of Internet and Systems = 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Entwicklung von Echtzeitsystemen = Einführung in die Entwicklung zuverlässiger softwarebasierter Funktionen unter Echtzeitbedingungen /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(Language materials, printed)
Cryptography and Coding = 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings /
by:
(Language materials, printed)
New Trends in Model and Data Engineering = MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
The Multi-Agent Programming Contest 2018 = Agents Teaming Up in an Urban Environment /
by:
(Language materials, printed)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(Language materials, printed)
Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings /
by:
(Language materials, printed)
Knowledge Management and Acquisition for Intelligent Systems = 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings /
by:
(Language materials, printed)
Digitale Dienstleistungsinnovationen = Smart Services agil und kundenorientiert entwickeln /
by:
(Language materials, printed)
Implementation and Application of Automata = 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Cyberspace Safety and Security = 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Principles of Security and Trust = 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
by:
(Language materials, printed)
Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /
by:
(Language materials, printed)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Information and Computer Security = 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings /
by:
(Language materials, printed)
Industrial Applications of Holonic and Multi-Agent Systems = 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings /
by:
(Language materials, printed)
Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Using Microsoft Dynamics 365 for Finance and Operations = Learn and understand the functionality of Microsoft's enterprise solution /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Information Security = 22nd International Conference, ISC 2019, New York City, NY, USA, September 16–18, 2019, Proceedings /
by:
(Language materials, printed)
Cooperative Design, Visualization, and Engineering = 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings /
by:
(Language materials, printed)
Information, Communication and Computing Technology = 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings /
by:
(Language materials, printed)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2019 = 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Computing and Communication Systems in Urban Development = A Detailed Perspective /
by:
(Language materials, printed)
Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings /
by:
(Language materials, printed)
PRIMA 2019: Principles and Practice of Multi-Agent Systems = 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Patterns kompakt = Entwurfsmuster für effektive Softwareentwicklung /
by:
(Language materials, printed)
Futuristic Trends in Network and Communication Technologies = First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pro Spring Security = Securing Spring Framework 5 and Boot 2-based Java Applications /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2019 = 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Cryptology and Network Security = 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings /
by:
(Language materials, printed)
Internet of Things – ICIOT 2019 = 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering Paralleler Systeme = Grundlagen, Algorithmen, Programmierung /
by:
(Language materials, printed)
Angewandte Netzwerktechnik kompakt = Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen /
by:
(Language materials, printed)
Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /
by:
(Language materials, printed)
Discovery Science = 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Membrane Computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings /
by:
(Language materials, printed)
Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Attributionen in der Mensch-Computer-Interaktion = Einfluss auf die Bewertung und Gestaltung interaktiver Produkte /
by:
(Language materials, printed)
Agile Methods = 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Raspberry Pi – Das technische Handbuch = Konfiguration, Hardware, Applikationsentwicklung /
by:
(Language materials, printed)
Internet and Distributed Computing Systems = 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings /
by:
(Language materials, printed)
New Trends in Databases and Information Systems = ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings /
by:
(Language materials, printed)
Computer Vision, Imaging and Computer Graphics – Theory and Applications = 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papers /
by:
(Language materials, printed)
.NET DevOps for Azure = A Developer's Guide to DevOps Architecture the Right Way /
by:
(Language materials, printed)
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy = Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday /
by:
(Language materials, printed)
Digital Forensics and Cyber Crime = 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Information Security and Privacy = 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings /
by:
(Language materials, printed)
Technology Trends = 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Show more
Fewer
Subjects