Software engineering.
概要
作品: | 2531 作品在 210 項出版品 210 種語言 |
---|
書目資訊
Control software for mechanical systems : = object-oriented design in a real-time world /
by:
(書目-語言資料,印刷品)
Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle
by:
(書目-語言資料,印刷品)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(書目-語言資料,印刷品)
Software engineering for secure systems : = industrial and research perspectives /
by:
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(書目-語言資料,印刷品)
New software engineering paradigm based on complexity science = an introduction to NSE /
by:
(書目-語言資料,印刷品)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(書目-語言資料,印刷品)
Model-Based Software and Data Integration = First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming = 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Service intelligence and service science = evolutionary technologies and challenges /
by:
(書目-語言資料,印刷品)
Knowledge engineering for software development life cycles = support technologies and applications /
by:
(書目-語言資料,印刷品)
Adapting configuration management for Agile teams : = balancing sustainability and speed /
by:
(書目-語言資料,印刷品)
Formal development of a network-centric RTOS = software engineering for reliable embedded systems /
by:
(書目-語言資料,印刷品)
Evolutionary computation and optimization algorithms in software engineering : = applications and techniques /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in conceptual modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Agile product development = how to design innovative products that create customer value /
by:
(書目-語言資料,印刷品)
Data science = second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Distributed computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(書目-語言資料,印刷品)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Mobile, secure, and programmable networking = first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /
by:
(書目-語言資料,印刷品)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Risk assessment and risk-driven testing = third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
The practice of enterprise modeling = 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2015 = principles and practice of multi-agent systems :: 18th International Conference, Bertinoro, Italy, October 26-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Research in attacks,intrusions, and defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Service-oriented computing = 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Practical support for lean six sigma software process definition = using IEEE software engineering standards /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Research methodologies, innovations, and philosophies in software systems engineering and information systems
by:
(書目-語言資料,印刷品)
Pattern-oriented software architecture.. v. 4,. A patternlanguage for distributed computing /
by:
(書目-語言資料,印刷品)
Pattern-oriented software architecture.. Vol. 5,. On patterns and pattern languages /
by:
(書目-語言資料,印刷品)
Meta-programming and model-driven meta-program development = principles, processes and techniques /
by:
(書目-語言資料,印刷品)
Perspectives on the future of software engineering = essays in honor of Dieter Rombach /
by:
(書目-語言資料,印刷品)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
by:
(書目-語言資料,印刷品)
Measurement methodology and tools = first European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012 : Revised and Extended Papers /
by:
(書目-語言資料,印刷品)
The cognitive dynamics of computer science = cost-effective large scale software development /
by:
(書目-語言資料,印刷品)
IEEE Computer Society real-world software engineering problems = a self-study guide for today's software professional /
by:
(書目-語言資料,印刷品)
Practical support for CMMI-SW software project documentation = using IEEE software engineering standards /
by:
(書目-語言資料,印刷品)
Software engineering = Barry W. Boehm's lifetime contributions to software development, management, and research /
by:
(書目-語言資料,印刷品)
Software business = third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Geo-informatics in resource management and sustainable ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced parallel processing technologies = 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Multiple access communcations = 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of natural computing = Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Sensor systems and software = 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013: revised selected papers /
by:
(書目-語言資料,印刷品)
Cloud computing and services science = Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in service-oriented and cloud computing = Workshops of ESOCC 2013, Malaga, Spain, September 11-13, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software and data technologies = 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
by:
(書目-語言資料,印刷品)
Empirical methods and studies in software engineering = experiences from ESERNET /
by:
(書目-語言資料,印刷品)
Inductive synthesis of functional programs = universal planning, folding of finite programs, and schema abstraction by analogical reasoning /
by:
(書目-語言資料,印刷品)
Matchmaking in electronic markets = an agent-based approach towards matchmaking in electronic negotiations /
by:
(書目-語言資料,印刷品)
Software engineering for large-scale mulit-agent systems = research issues and practical applications /
by:
(書目-語言資料,印刷品)
Methodologies and software engineering for agent systems = the agent-oriented software engineering handbook /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings /
by:
(書目-語言資料,印刷品)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-語言資料,印刷品)
Social software engineering = development and collaboration with social networking /
by:
(書目-語言資料,印刷品)
Software engineering for embedded systems = methods, practical techniques, and applications /
by:
(書目-語言資料,印刷品)
Embedded and real time system development = a software engineering perspective : concepts, methods and principles /
by:
(書目-語言資料,印刷品)
Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 /
by:
(書目-語言資料,印刷品)
Time-frequency domain for segmentation and classification of non-stationary signals DUP_1 = the Stockwell Transform applied on bio-signals and electric signals /
by:
(書目-語言資料,印刷品)
Rapid prototyping of software for avionics systems DUP_1 = model-oriented approaches for complex systems certification /
by:
(書目-語言資料,印刷品)
Time-frequency domain for segmentation and classification of non-stationary signals = the Stockwell Transform applied on bio-signals and electric signals /
by:
(書目-語言資料,印刷品)
Rapid prototyping of software for avionics systems = model-oriented approaches for complex systems certification /
by:
(書目-語言資料,印刷品)
From requirements to Java in a snap = model-driven requirements engineering in practice /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Advanced information systems engineering workshops = CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Business modeling and software design = 5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Behavioural models = from modelling finite automata to analysing business processes /
by:
(書目-語言資料,印刷品)
Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
The practice of enterprise modeling = 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software developers as users = semiotic investigations in human-centered software development /
by:
(書目-語言資料,印刷品)
Software architecture in action = designing and executing architectural models with SysADL grounded on the OMG SysML standard /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Bridging the gap between requirements engineering and software architecture = a problem-oriented and quality-driven method /
by:
(書目-語言資料,印刷品)
Concise guide to software engineering = from fundamentals to application methods /
by:
(書目-語言資料,印刷品)
Empirical research in software engineering : = concepts, analysis, and applications /
by:
(書目-語言資料,印刷品)
The DevOps adoption playbook = a guide to adopting DevOps in a multi-speed IT enterprise /
by:
(書目-語言資料,印刷品)
Working with coders = a guide to software development for the perplexed non-techie /
by:
(書目-語言資料,印刷品)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Comparing and aligning process representations = foundations and technical solutions /
by:
(書目-語言資料,印刷品)
Information systems in the Big Data Era = CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Software development measurement programs = development, management and evolution /
by:
(書目-語言資料,印刷品)
Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
(書目-語言資料,印刷品)
Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Cross-cultural design = 9th International Conference, CCD 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Unconventional computation and natural computation = 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud /
by:
(書目-語言資料,印刷品)
Automotive systems and software engineering = state of the art and future trends /
by:
(書目-語言資料,印刷品)
Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model-driven development and operation of multi-cloud applications = the MODAClouds approach /
by:
(書目-語言資料,印刷品)
Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
by:
(書目-語言資料,印刷品)
A Practical Guide to TPM 2.0 = Using the Trusted Platform Module in the New Age of Security /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming = 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Globalizing Domain-Specific Languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Windows 10 Revealed = The Universal Windows Operating System for PC, Tablets, and Windows Phone /
by:
(書目-語言資料,印刷品)
Practical Enterprise Software Development Techniques = Tools and Techniques for Large Scale Solutions /
by:
(書目-語言資料,印刷品)
Information Security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
by:
(書目-語言資料,印刷品)
From Requirements to Java in a Snap = Model-Driven Requirements Engineering in Practice /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Open Source Systems: Adoption and Impact = 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
New Horizons in Design Science: Broadening the Research Agenda = 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Data Science = 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Nordic Contributions in IS Research = 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction – INTERACT 2015 = 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Wired/Wireless Internet Communications = 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms, Probability, Networks, and Games = Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2015: Principles and Practice of Multi-Agent Systems = 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Risk Assessment and Risk-Driven Testing = Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Security Standardisation Research = Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Engineering the Web in the Big Data Era = 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cloud Computing = 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction – INTERACT 2015 = 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Data Science = Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Salesforce.com Development Without Code = Customizing Salesforce on the Force.com Platform /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Microservices, IoT and Azure = Leveraging DevOps and Microservice Architecture to deliver SaaS Solutions /
by:
(書目-語言資料,印刷品)
SDL 2015: Model-Driven Engineering for Smart Cities = 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Pro XAML with C# = Application Development Strategies (covers WPF, Windows 8.1, and Windows Phone 8.1) /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Model Checking Software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Multiple Access Communications = 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Regulated Open Multi-Agent Systems (ROMAS) = A Multi-Agent Approach for Designing Normative Open Systems /
by:
(書目-語言資料,印刷品)
Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Extending SSIS with .NET Scripting = A Toolkit for SQL Server Integration Services /
by:
(書目-語言資料,印刷品)
Barrierefreiheit im virtuellen Raum = Benutzungszentrierte und modellgetriebene Entwicklung von Weboberflächen /
by:
(書目-語言資料,印刷品)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Microsoft Mapping Second Edition = Geospatial Development in Windows 10 with Bing Maps and C# /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Community Usability Engineering = Prozesse und Werkzeuge zur In-situ Feedbackunterstützung /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Process Improvement and Capability Determination = 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Process-Aware Systems = First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedings /
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Patterns of HCI Design and HCI Design of Patterns = Bridging HCI Design and Model-Driven Software Engineering /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science and Its Applications = 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cyber Physical Systems. Design, Modeling, and Evaluation = 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Enhanced Building Information Models = Using IoT Services and Integration Patterns /
by:
(書目-語言資料,印刷品)
Enterprise Interoperability = 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Systemkonsolidierung und Datenmigration als Erfolgsfaktoren = HMD Best Paper Award 2014 /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Introduction to Programming with Fortran = With Coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-語言資料,印刷品)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
by:
(書目-語言資料,印刷品)
The Design of Requirements Modelling Languages = How to Make Formalisms for Problem Solving in Requirements Engineering /
by:
(書目-語言資料,印刷品)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Business = 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Beginning HTML5 Media = Make the most of the new video and audio standards for the Web /
by:
(書目-語言資料,印刷品)
Programming Smalltalk – Object-Orientation from the Beginning = An introduction to the principles of programming /
by:
(書目-語言資料,印刷品)
Exploring Services Science = 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Software Methodologies, Tools and Techniques = 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Requirements Engineering in the Big Data Era = Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Platzierung von Softwarekomponenten auf Mehrkernprozessoren = Automatisierte Konstruktion und Analyse für funktionssichere Systeme /
by:
(書目-語言資料,印刷品)
Erhebung von Soll-Kompetenzen im Software Engineering = Anforderungen an Hochschulabsolventen aus industrieller Perspektive /
by:
(書目-語言資料,印刷品)
Building Your Next Big Thing with Google Cloud Platform = A Guide for Developers and Enterprise Architects /
by:
(書目-語言資料,印刷品)
Guide to DataFlow Supercomputing = Basic Concepts, Case Studies, and a Detailed Example /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Performance Improvement = The New Synergy of Agile and Human Performance Technology /
by:
(書目-語言資料,印刷品)
Grundkurs Mobile Kommunikationssysteme = LTE-Advanced, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth /
by:
(書目-語言資料,印刷品)
Information Systems Engineering in Complex Environments = CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers /
by:
(書目-語言資料,印刷品)
Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der Frühen Phase der Produktentstehung
by:
(書目-語言資料,印刷品)
Embedded System Technology = 13th National Conference, ESTC 2015, Beijing, China, October 10–11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Firmware Solutions = Development Best Practices for the Internet of Things /
by:
(書目-語言資料,印刷品)
Build your own 2D Game Engine and Create Great Web Games = Using HTML5, JavaScript, and WebGL /
by:
(書目-語言資料,印刷品)
Swing for Jython = Graphical Jython UI and Scripts Development using Java Swing and WebSphere Application Server /
by:
(書目-語言資料,印刷品)
Building Great Software Engineering Teams = Recruiting, Hiring, and Managing Your Team from Startup to Success /
by:
(書目-語言資料,印刷品)
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptographic Hardware and Embedded Systems -- CHES 2015 = 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile, Secure, and Programmable Networking = First International Conference, MSPN 2015, Paris, France, June 15-17, 2015, Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
FM 2015: Formal Methods = 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Collaboration and Technology = 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modelling Foundations and Applications = 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Research in Attacks, Intrusions, and Defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Service Oriented and Cloud Computing = 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Big Data = Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Web and Intelligent Information Systems = 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Web Reasoning and Rule Systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Networked Systems = Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
End-User Development = 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(書目-語言資料,印刷品)
Ad-hoc, Mobile, and Wireless Networks = 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Sicherheit von Webanwendungen in der Praxis = Wie sich Unternehmen schützen können – Hintergründe, Maßnahmen, Prüfverfahren und Prozesse /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Dynamic Data-Driven Environmental Systems Science = First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 /
by:
(書目-語言資料,印刷品)
Software Engineering for Resilient Systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Swarm, Evolutionary, and Memetic Computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Distributed Computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Product Development = How to Design Innovative Products That Create Customer Value /
by:
(書目-語言資料,印刷品)
Languages, Applications and Technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Raspberry Pi - Das technische Handbuch = Konfiguration, Hardware, Applikationserstellung /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Analyzing Time Interval Data = Introducing an Information System for Time Interval Data Analysis /
by:
(書目-語言資料,印刷品)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(書目-語言資料,印刷品)
A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods = Transportation by Road and Rail /
by:
(書目-語言資料,印刷品)
Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Process Improvement and Capability Determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented and Cloud Computing = 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Scala: From a Functional Programming Perspective = An Introduction to the Programming Language /
by:
(書目-語言資料,印刷品)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Network Science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile, Secure, and Programmable Networking = Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Managing Software Process Evolution = Traditional, Agile and Beyond – How to Handle Process Change /
by:
(書目-語言資料,印刷品)
Games and Learning Alliance = 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Controlled Natural Language = 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Cloud Computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems: Development, Research, Applications, Education = 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
System Analysis and Modeling. Technology-Specific Aspects of Models = 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Coordination of Complex Sociotechnical Systems = Self-organisation of Knowledge in MoK /
by:
(書目-語言資料,印刷品)
Proceedings of 4th International Conference in Software Engineering for Defence Applications = SEDA 2015 /
by:
(書目-語言資料,印刷品)
Rapid Mashup Development Tools = First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Research in Attacks, Intrusions, and Defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm, Evolutionary, and Memetic Computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Smart City 360° = First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Enterprise Interoperability VII = Enterprise Interoperability in the Digitized and Networked Factory of the Future /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skövde, Sweden, November 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Software Quality. The Future of Systems- and Software Development = 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Control Modes on Mobile Software Platforms = Empirical Studies on the Importance of Informal Control /
by:
(書目-語言資料,印刷品)
Qualità dei sistemi e del software = Il prossimo passo per l'industrializzazione /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Exploring Services Science = 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Description and Selection of Communication Services for Service Oriented Network Architectures
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agile Processes, in Software Engineering, and Extreme Programming = 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Working Around Disruptions of Network Infrastructures = Mobile Ad-Hoc Systems for Resilient Communication in Disasters /
by:
(書目-語言資料,印刷品)
Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactions on Engineering Technologies = International MultiConference of Engineers and Computer Scientists 2015 /
by:
(書目-語言資料,印刷品)
Advanced Model-Based Engineering of Embedded Systems = Extensions of the SPES 2020 Methodology /
by:
(書目-語言資料,印刷品)
Variation Based Dense 3D Reconstruction = Application on Monocular Mini-Laparoscopic Sequences /
by:
(書目-語言資料,印刷品)
Projektmanagement für die Praxis = Ein Leitfaden und Werkzeugkasten für erfolgreiche Projekte /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing – ICSOC 2015 Workshops = WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse /
by:
(書目-語言資料,印刷品)
Programming Languages = 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Musterbasierte Parallelisierung sequenzieller Anwendungen = Konzept und Implementierung eines Verfahrens zur Softwaretransformation /
by:
(書目-語言資料,印刷品)
Professional Sitecore 8 Development = A Complete Guide to Solutions and Best Practices /
by:
(書目-語言資料,印刷品)
Embedded Controller = Grundlagen und praktische Umsetzung für industrielle Anwendungen /
by:
(書目-語言資料,印刷品)
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
(書目-語言資料,印刷品)
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Logics in Artificial Intelligence = 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Security, Privacy, and Applied Cryptography Engineering = 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Open Source Systems: Integrating Communities = 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Rule Technologies. Research, Tools, and Applications = 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Project-Management in Practice = A Guideline and Toolbox for Successful Projects /
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer and Information Sciences = 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
App-Entwicklung – effizient und erfolgreich = Eine kompakte Darstellung von Konzepten, Methoden und Werkzeugen /
by:
(書目-語言資料,印刷品)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(書目-語言資料,印刷品)
History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Perspectives in Business Informatics Research = 15th International Conference, BIR 2016, Prague, Czech Republic, September 15–16, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Computing = Grundlagen – Prozesse und Plattformen – Branchen und Anwendungsszenarien /
by:
(書目-語言資料,印刷品)
Agile objektorientierte Software-Entwicklung = Schritt für Schritt vom Geschäftsprozess zum Java-Programm /
by:
(書目-語言資料,印刷品)
Software Developers as Users = Semiotic Investigations in Human-Centered Software Development /
by:
(書目-語言資料,印刷品)
Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 /
by:
(書目-語言資料,印刷品)
Multidimensional Views on Enterprise Information Systems = Proceedings of ERP Future 2014 /
by:
(書目-語言資料,印刷品)
Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL /
by:
(書目-語言資料,印刷品)
Entwicklung eines skalierbaren und verteilten Datenbanksystems = Auf Basis von Apache Cassandra und SECONDO /
by:
(書目-語言資料,印刷品)
Collaborative Quality Assurance in Information Systems Development = The Interaction of Software Development Techniques and Team Cognition /
by:
(書目-語言資料,印刷品)
Behavioural Models = From Modelling Finite Automata to Analysing Business Processes /
by:
(書目-語言資料,印刷品)
Grundkurs Datenbankentwicklung = Von der Anforderungsanalyse zur komplexen Datenbankanfrage /
by:
(書目-語言資料,印刷品)
Requirements Engineering Toward Sustainable World = Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 /
by:
(書目-語言資料,印刷品)
The Vixen Star Book User Guide = How to Use the Star Book TEN and the Original Star Book /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Interface Design = Usability, User Experience und Accessibility im Web gestalten /
by:
(書目-語言資料,印刷品)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(書目-語言資料,印刷品)
Software Engineering Education Going Agile = 11th China–Europe International Symposium on Software Engineering Education (CEISEE 2015) /
by:
(書目-語言資料,印刷品)
Software Business = 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Architekturbasiertes IT-Alignment = Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Grundkurs Datenbankentwurf = Eine beispielorientierte Einführung für Studierende und Praktiker /
by:
(書目-語言資料,印刷品)
Functional Safety for Road Vehicles = New Challenges and Solutions for E-mobility and Automated Driving /
by:
(書目-語言資料,印刷品)
Geschäftsprozessorientierte Systementwicklung = Von der Unternehmensarchitektur zum IT-System /
by:
(書目-語言資料,印刷品)
Tamed Agility = Pragmatic Contracting and Collaboration in Agile Software Projects /
by:
(書目-語言資料,印刷品)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cyber-Physical Systems of Systems = Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy /
by:
(書目-語言資料,印刷品)
Green, Pervasive, and Cloud Computing = 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computers and Games = 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Knowledge Engineering and Knowledge Management = 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Tackling Society's Grand Challenges with Design Science = 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Model Transformations = 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web Engineering = 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent Based Simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Foundational and Practical Aspects of Resource Analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Hybrid Systems Biology = 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Trust, Privacy and Security in Digital Business = 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
C++-Metaprogrammierung = Eine Einführung in die Präprozessor- und Template-Metaprogrammierung /
by:
(書目-語言資料,印刷品)
DevOps for Digital Leaders = Reignite Business with a Modern DevOps-Enabled Software Factory /
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Collaboration and Technology = 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Trends and Applications in Software Engineering = Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Web and Intelligent Information Systems = 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling Foundations and Applications = 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture in Action = Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard /
by:
(書目-語言資料,印刷品)
DevOps, DBAs, and DBaaS = Managing Data Platforms to Support Continuous Integration /
by:
(書目-語言資料,印刷品)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Databases and Information Systems = 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes
by:
(書目-語言資料,印刷品)
Electronic Voting = Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Software Business = 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Optimizing Data-to-Learning-to-Action = The Modern Approach to Continuous Performance Improvement for Businesses /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Provable Security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Software-Defined Cloud Centers = Operational and Management Technologies and Tools /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
REST API Development with Node.js = Manage and Understand the Full Capabilities of Successful REST Development /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Docker with Python = Build, Release and Distribute your Python App with Docker /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
(書目-語言資料,印刷品)
New Trends in Information and Communications Technology Applications = Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Methods = 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13–14, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Information Modelling for Archaeology and Anthropology = Software Engineering Principles for Cultural Heritage /
by:
(書目-語言資料,印刷品)
Social, Cultural, and Behavioral Modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
HTML5 and JavaScript Projects = Build on your Basic Knowledge of HTML5 and JavaScript to Create Substantial HTML5 Applications /
by:
(書目-語言資料,印刷品)
Software Processes and Life Cycle Models = An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Security and Cryptography for Networks = 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Best Practices für die Partizipation in der Produktentwicklung = HMD Best Paper Award 2017 /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Analysis, Testing, and Evolution = 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Music Technology with Swing = 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus = Test Techniques and Sample Mock Exams /
by:
(書目-語言資料,印刷品)
Practical Bot Development = Designing and Building Bots with Node.js and Microsoft Bot Framework /
by:
(書目-語言資料,印刷品)
Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Securing the Perimeter = Deploying Identity and Access Management with Free Open Source Software /
by:
(書目-語言資料,印刷品)
Transactions on Computational Science XXXI = Special Issue on Signal Processing and Security in Distributed Systems /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beginning Functional JavaScript = Uncover the Concepts of Functional Programming with EcmaScript 8 /
by:
(書目-語言資料,印刷品)
Big Data Technologies and Applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Progress in Cryptology – INDOCRYPT 2018 = 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Security, Privacy, and Applied Cryptography Engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Financial Cryptography and Data Security = 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Information Systems: Research, Development, Applications, Education = 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Metriken für das Testreporting = Analyse und Reporting für wirkungsvolles Testmanagement /
by:
(書目-語言資料,印刷品)
Proceedings of 5th International Conference in Software Engineering for Defence Applications = SEDA 2016 /
by:
(書目-語言資料,印刷品)
The Kitty Hawk Venture = A Novel About Continuous Testing in DevOps to Support Continuous Delivery and Business Success /
by:
(書目-語言資料,印刷品)
Business Process Management = 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Generic Pipelines Using Docker = The DevOps Guide to Building Reusable, Platform Agnostic CI/CD Frameworks /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Provenance and Annotation of Data and Processes = 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Systems Security = 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2017 = 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Learning Technology for Education Challenges = 7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Computing = 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Security Protocols XXVI = 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Sicherheitskonzepte in der mobilen Kommunikation = Drahtlose Kommunikation – Protokolle und Gefahren /
by:
(書目-語言資料,印刷品)
Emerging Technologies for Authorization and Authentication = First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mobile Web and Intelligent Information Systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Security Standardisation Research = 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V /
by:
(書目-語言資料,印刷品)
Understanding Modern Dive Computers and Operation = Protocols, Models, Tests, Data, Risk and Applications /
by:
(書目-語言資料,印刷品)
Thread and Data Mapping for Multicore Systems = Improving Communication and Memory Accesses /
by:
(書目-語言資料,印刷品)
Security and Trust Management = 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Disciplinary Digital Signal Processing = A Functional Approach Using Matlab /
by:
(書目-語言資料,印刷品)
Enjoying Natural Computing = Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Towards a Synergistic Combination of Research and Practice in Software Engineering
by:
(書目-語言資料,印刷品)
Service-Oriented and Cloud Computing = 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Network and System Security = 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Technology Trends = Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Service Science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Internet of Things (IoT) Technologies for HealthCare = 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applications of Computing and Communication Technologies = First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Beginning Serverless Computing = Developing with Amazon Web Services, Microsoft Azure, and Google Cloud /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Product Lifecycle Management to Support Industry 4.0 = 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Open Source Systems: Enterprise Software and Solutions = 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Collaboration Technologies and Social Computing = 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Design Patterns in Modern C++ = Reusable Approaches for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Sensor Networks = 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming = 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Bidirectional Transformations = International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Pro PowerShell Desired State Configuration = An In-Depth Guide to Windows PowerShell DSC /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Arbeit 4.0 – Digitalisierung, IT und Arbeit = IT als Treiber der digitalen Transformation /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent Based Simulation XVIII = International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
C++ mit Visual Studio 2017 und Windows Forms-Anwendungen = Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Web Engineering = 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
(書目-語言資料,印刷品)
New Frontiers in Quantitative Methods in Informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programmieren lernen mit Computergrafik = Eine Einführung mit Java und Processing /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems in the Big Data Era = CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software /
by:
(書目-語言資料,印刷品)
Global Thoughts, Local Designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Grundkurs Mobile Kommunikationssysteme = LTE-Advanced Pro, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth /
by:
(書目-語言資料,印刷品)
Sicherheit von Webanwendungen in der Praxis = Wie sich Unternehmen schützen können – Hintergründe, Maßnahmen, Prüfverfahren und Prozesse /
by:
(書目-語言資料,印刷品)
Simulating Nonlinear Circuits with Python Power Electronics = An Open-Source Simulator, Based on Python™ /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Comparing and Aligning Process Representations = Foundations and Technical Solutions /
by:
(書目-語言資料,印刷品)
Services – SERVICES 2018 = 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition = Anwenderwissen zur Unternehmenslösung von Microsoft /
by:
(書目-語言資料,印刷品)
Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Security = ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Complete Guide to Digital Project Management = From Pre-Sales to Post-Production /
by:
(書目-語言資料,印刷品)
Selected Areas in Cryptography – SAC 2017 = 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Membrane Computing = 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Design Thinking Research = Making Distinctions: Collaboration versus Cooperation /
by:
(書目-語言資料,印刷品)
Digging into Software Knowledge Generation in Cultural Heritage = Modeling Assistance Strategies for Large Archaeological Data Sets /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Safety and Security = Case Studies for Aerospace Applications /
by:
(書目-語言資料,印刷品)
Requirements Engineering for Internet of Things = 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Grundkurs Software-Engineering mit UML = Der pragmatische Weg zu erfolgreichen Softwareprojekten /
by:
(書目-語言資料,印刷品)
Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien /
by:
(書目-語言資料,印刷品)
Data Management Technologies and Applications = 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Pro JavaFX 9 = A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients /
by:
(書目-語言資料,印刷品)
Programming LEGO® EV3 My Blocks = Teaching Concepts and Preparing for FLL® Competition /
by:
(書目-語言資料,印刷品)
Bad Programming Practices 101 = Become a Better Coder by Learning How (Not) to Program /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing, Analytics and Networks = First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Facilitating Daily Life Integration of Technologies for Active and Healthy Aging = Understanding Demands of Older Adults in Health Technology Design /
by:
(書目-語言資料,印刷品)
Business Information Systems = 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Trends and Applications in Software Engineering = Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017) /
by:
(書目-語言資料,印刷品)
Software Development Measurement Programs = Development, Management and Evolution /
by:
(書目-語言資料,印刷品)
Learn Computer Science with Swift = Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds /
by:
(書目-語言資料,印刷品)
Software engineering for embedded systems = methods, practical techniques, and applications /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Design Thinking Research = Looking Further: Design Thinking Beyond Solution-Fixation /
by:
(書目-語言資料,印刷品)
Agile Methods = 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Perspectives in Business Informatics Research = 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Qualitätssicherung durch Softwaretests = Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen /
by:
(書目-語言資料,印刷品)
Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
SQL & NoSQL Databases = Models, Languages, Consistency Options and Architectures for Big Data Management /
by:
(書目-語言資料,印刷品)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen
by:
(書目-語言資料,印刷品)
Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software /
by:
(書目-語言資料,印刷品)
Software Technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Open Source Systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Science of Cyber Security = Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Salesforce Development Without Code = Building Declarative Solutions on the Salesforce Platform /
by:
(書目-語言資料,印刷品)
High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Implementing SAP S/4HANA = A Framework for Planning and Executing SAP S/4HANA Projects /
by:
(書目-語言資料,印刷品)
Knowledge Management in Organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Description Logic, Theory Combination, and All That = Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Security = ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Applied Cryptography and Network Security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software als Medizinprodukt = Entwicklung und Zulassung von Software in der Medizintechnik /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Entwicklung von Echtzeitsystemen = Einführung in die Entwicklung zuverlässiger softwarebasierter Funktionen unter Echtzeitbedingungen /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming = 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and Coding = 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
New Trends in Model and Data Engineering = MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction = 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Multi-Agent Programming Contest 2018 = Agents Teaming Up in an Urban Environment /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Central European Functional Programming School = 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering for Resilient Systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Digitale Dienstleistungsinnovationen = Smart Services agil und kundenorientiert entwickeln /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
An Executive’s Guide to Software Quality in an Agile Organization = A Continuous Improvement Journey /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical and Computational Oncology = First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cyberspace Safety and Security = 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Achieving Business Agility = Strategies for Becoming Pivot Ready in a Digital World /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Information and Computer Security = 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Industrial Applications of Holonic and Multi-Agent Systems = 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Using Microsoft Dynamics 365 for Finance and Operations = Learn and understand the functionality of Microsoft's enterprise solution /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Numerical Software Verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Topics in Cryptology – CT-RSA 2019 = The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Information Security = 22nd International Conference, ISC 2019, New York City, NY, USA, September 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cooperative Design, Visualization, and Engineering = 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Vibrations of Rotating Machinery = Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis /
by:
(書目-語言資料,印刷品)
Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Web Engineering = 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information, Communication and Computing Technology = 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Business = 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Trustworthy Cyber-Physical Systems = A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness /
by:
(書目-語言資料,印刷品)
Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Der Prozess mobiler Entwicklungsprojekte: Muster agiler Methoden = Herausforderungen und Lösungen in der professionellen App-Entwicklung /
by:
(書目-語言資料,印刷品)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Integrating Business Process Models and Rules = Empirical Evidence and Decision Framework /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Security and Quality in Cyber-Physical Systems Engineering = With Forewords by Robert M. Lee and Tom Gilb /
by:
(書目-語言資料,印刷品)
Computing and Communication Systems in Urban Development = A Detailed Perspective /
by:
(書目-語言資料,印刷品)
Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Soft Skills to Advance Your Developer Career = Actionable Steps to Help Maximize Your Potential /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Java lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2019: Principles and Practice of Multi-Agent Systems = 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reproducible Research in Pattern Recognition = Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Technologies and Applications = First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Progress in Cryptology – AFRICACRYPT 2019 = 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
ICT Systems Security and Privacy Protection = 34th IFIP TC 11 International Conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computing Hits the Power Wall = Principles, Challenges, and a Survey of Solutions /
by:
(書目-語言資料,印刷品)
Frontiers in Cyber Security = Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows /
by:
(書目-語言資料,印刷品)
Pro Spring Security = Securing Spring Framework 5 and Boot 2-based Java Applications /
by:
(書目-語言資料,印刷品)
Webanwendungen erstellen mit Vue.js = MVVM-Muster für konventionelle und Single-Page-Webseiten /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming – Workshops = XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Machine Learning = Effective Machine Learning Inspired by the Agile Manifesto /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Foundations and Practice of Security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering Paralleler Systeme = Grundlagen, Algorithmen, Programmierung /
by:
(書目-語言資料,印刷品)
Automotive Systems and Software Engineering = State of the Art and Future Trends /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Knowledge-Based Software Engineering: 2018 = Proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece /
by:
(書目-語言資料,印刷品)
Angewandte Netzwerktechnik kompakt = Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL /
by:
(書目-語言資料,印刷品)
Discovery Science = 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Surviving the Whiteboard Interview = A Developer’s Guide to Using Soft Skills to Get Hired /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Telematics and Computing = 8th International Congress, WITCOM 2019, Merida, Mexico, November 4–8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Business Information Systems = 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems Engineering in Responsible Information Systems = CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reuse in the Big Data Era = 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Attributionen in der Mensch-Computer-Interaktion = Einfluss auf die Bewertung und Gestaltung interaktiver Produkte /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agile Methods = 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer and Computing Technologies in Agriculture X = 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Raspberry Pi – Das technische Handbuch = Konfiguration, Hardware, Applikationsentwicklung /
by:
(書目-語言資料,印刷品)
Internet and Distributed Computing Systems = 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
.NET DevOps for Azure = A Developer's Guide to DevOps Architecture the Right Way /
by:
(書目-語言資料,印刷品)
Digital Forensics and Cyber Crime = 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Business Information Systems = 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Applied Informatics = Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Security and Privacy = 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Technology Trends = 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems: Research, Development, Applications, Education = 12th SIGSAND/PLAIS EuroSymposium 2019, Gdansk, Poland, September 19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Ein reduziertes Modell zur Simulation des transienten thermischen Verhaltens einer Fahrzeugkabine
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Designing Enterprise Information Systems = Merging Enterprise Modeling and Software Specification /
by:
(書目-語言資料,印刷品)
Interactive Storytelling = 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Connected Vehicles in the Internet of Things = Concepts, Technologies and Frameworks for the IoV /
by:
(書目-語言資料,印刷品)
Detection of Intrusions and Malware, and Vulnerability Assessment = 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Learn Java for Android Development = Migrating Java SE Programming Skills to Mobile Development /
by:
(書目-語言資料,印刷品)
Serviceology for Services = 7th International Conference, ICServ 2020, Osaka, Japan, March 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Building Information Modeling = First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Guide to Software Systems Development = Connecting Novel Theory and Current Practice /
by:
(書目-語言資料,印刷品)
Computational Advances in Bio and Medical Sciences = 9th International Conference, ICCABS 2019, Miami, FL, USA, November 15–17, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Dialog zwischen Mensch und Maschine = Conversational User Interfaces, intelligente Assistenten und Voice-Systeme /
by:
(書目-語言資料,印刷品)
Raspberry Pi im Informatik- und Technikunterricht = Konzeption eines handlungs- und problemorientierten Unterrichts mit der MicroBerry-Lernumgebung /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems Security and Privacy = 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cloud Computing, Big Data & Emerging Topics = 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Intelligent Technologies and Applications = Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Research Challenges in Information Science = 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Guide to Efficient Software Design = An MVC Approach to Concepts, Structures, and Models /
by:
(書目-語言資料,印刷品)
The Art of Immutable Architecture = Theory and Practice of Data Management in Distributed Systems /
by:
(書目-語言資料,印刷品)
Analysis and Design of Next-Generation Software Architectures = 5G, IoT, Blockchain, and Quantum Computing /
by:
(書目-語言資料,印刷品)
Beginning Jakarta EE Web Development = Using JSP, JSF, MySQL, and Apache Tomcat for Building Java Web Applications /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Multi-Agent-Based Simulation XX = 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Artificial Intelligent Systems = 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Domain-specific Software Languages with DjDSL = Design and Implementation /
by:
(書目-語言資料,印刷品)
Nutzerverhalten verstehen – Softwarenutzen optimieren = Kommunikationsanalyse bei der Softwareentwicklung /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented and Cloud Computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Cyber Security = Third International Conference, FCS 2020, Tianjin, China, November 15–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers /
by:
(書目-語言資料,印刷品)
Well-Being in the Information Society. Fruits of Respect = 8th International Conference, WIS 2020, Turku, Finland, August 26–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Computing - EDCC 2020 Workshops = AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing – ICSOC 2019 Workshops = WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
New Trends in Information and Communications Technology Applications = 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Security Protocols XXVII = 27th International Workshop, Cambridge, UK, April 10–12, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(書目-語言資料,印刷品)
Topics in Cryptology – CT-RSA 2020 = The Cryptographers’ Track at the RSA Conference 2020, San Francisco, CA, USA, February 24–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Information and Computer Security = 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Internet Computing = Principles of Distributed Systems and Emerging Internet-Based Technologies /
by:
(書目-語言資料,印刷品)
Optical Network Design and Modeling = 23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
From Lambda Calculus to Cybersecurity Through Program Analysis = Essays Dedicated to Chris Hankin on the Occasion of His Retirement /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information and Communications Security = 21st International Conference, ICICS 2019, Beijing, China, December 15–17, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactions on Computational Science XXXV = Special Issue on Signal Processing and Security in Distributed Systems /
by:
(書目-語言資料,印刷品)
Information and Cyber Security = 18th International Conference, ISSA 2019, Johannesburg, South Africa, August 15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = CAiSE Forum 2020, Grenoble, France, June 8–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Blockchain and Trustworthy Systems = Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Proceedings of 6th International Conference in Software Engineering for Defence Applications = SEDA 2018 /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(書目-語言資料,印刷品)
Wireless Internet = 12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Human Computer Interaction = 11th International Conference, IHCI 2019, Allahabad, India, December 12–14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Einstieg in Java und OOP = Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung /
by:
(書目-語言資料,印刷品)
On the Construction of Engineering Handbooks = with an Illustration from the Railway Safety Domain /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation for Software Engineers = With Applications to Model-Based Development and Domain-Specific Language Engineering /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2020 International Workshops, Grenoble, France, June 8–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Trends and Applications in Software Engineering = Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) /
by:
(書目-語言資料,印刷品)
Build a Next-Generation Digital Workplace = Transform Legacy Intranets to Employee Experience Platforms /
by:
(書目-語言資料,印刷品)
Critical Information Infrastructures Security = 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Provable and Practical Security = 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Beyond Interactions = INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Open Source Systems = 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2019 = 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14–18, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
KI 2020: Advances in Artificial Intelligence = 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
IT-Lösungen auf Basis von SysML und UML = Anwendungsentwicklung mit Eclipse UML Designer und Eclipse Papyrus /
by:
(書目-語言資料,印刷品)
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
by:
(書目-語言資料,印刷品)
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
(書目-語言資料,印刷品)
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Modern C++ for Absolute Beginners = A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards /
by:
(書目-語言資料,印刷品)
Modelling and Development of Intelligent Systems = 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences = A Reference Model Guided Approach for Common Challenges /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV = Special Issue on Data Management – Principles, Technologies, and Applications /
by:
(書目-語言資料,印刷品)
High Performance Computing = 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Smart Applications and Data Analysis = Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Strategie, Planung und Organisation von Testprozessen = Basis für erfolgreiche Projektabwicklung im Softwaretest /
by:
(書目-語言資料,印刷品)
Computer Networks = 27th International Conference, CN 2020, Gdańsk, Poland, June 23–24, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Pro C# 8 with .NET Core 3 = Foundational Principles and Practices in Programming /
by:
(書目-語言資料,印刷品)
Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Technical, Economic and Societal Effects of Manufacturing 4.0 = Automation, Adaption and Manufacturing in Finland and Beyond /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Technologies = First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Verteiltes Arbeiten kompakt = Virtuelle Projekte und Teams. Homeoffice. Digitales Arbeiten. /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Collaborative Robotics = 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
C++ mit Visual Studio 2019 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows Programme mit C++ entwickeln /
by:
(書目-語言資料,印刷品)
Innovations in Digital Economy = First International Conference, SPBPU IDE 2019, St. Petersburg, Russia, October 24–25, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Computing Methodologies = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Cooperative Design, Visualization, and Engineering = 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16–19, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 /
by:
(書目-語言資料,印刷品)
High Performance Computing = ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Progress in Cryptology – INDOCRYPT 2020 = 21st International Conference on Cryptology in India, Bangalore, India, December 13–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY /
by:
(書目-語言資料,印刷品)
Design Patterns in .NET Core 3 = Reusable Approaches in C# and F# for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Neue Möglichkeiten für die Motorsteuergeräte-Software durch Car-to-Cloud-Vernetzung
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Software Engineering Perspectives in Intelligent Systems = Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.2 /
by:
(書目-語言資料,印刷品)
Software Engineering Perspectives in Intelligent Systems = Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.1 /
by:
(書目-語言資料,印刷品)
Computer Security = ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Mobile Computing, Applications, and Services = 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Projektmanagement für die Praxis = Ein Leitfaden und Werkzeugkasten für erfolgreiche Projekte /
by:
(書目-語言資料,印刷品)
Current Trends in Web Engineering = ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9–12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing for Emerging Smart Networks = Second International Workshop, DiCES-N 2020, Bizerte, Tunisia, December 18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Environment modeling-based requirements engineering for software intensive systems
by:
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing, Big Data & Emerging Topics = 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Practical System Programming with C = Pragmatic Example Applications in Linux and Unix-Based Operating Systems /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Performance Testing = An ISTQB Certified Tester Foundation Level Specialist Certification Review /
by:
(書目-語言資料,印刷品)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(書目-語言資料,印刷品)
Knowledge Management in Organizations = 15th International Conference, KMO 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5–7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Programmieren lernen mit Python und JavaScript = Eine praxisorientierte Einführung für Einsteiger /
by:
(書目-語言資料,印刷品)
Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Creative Solutions for a Sustainable Development = 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 2 /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 28th European Conference, EuroSPI 2021, Krems, Austria, September 1–3, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
New Perspectives in Software Engineering = Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) /
by:
(書目-語言資料,印刷品)
Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Informatics and Cybernetics in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3 /
by:
(書目-語言資料,印刷品)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Grundlagen des Geschäftsprozessmanagements = übersetzt von Thomas Grisold, Steven Groß, Jan Mendling, Bastian Wurm /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Cryptography and Cryptanalysis in MATLAB = Creating and Programming Advanced Algorithms /
by:
(書目-語言資料,印刷品)
Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 20th International Conference, CISIM 2021, Ełk, Poland, September 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Agile Codex = Re-inventing Agile Through the Science of Invention and Assembly /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part X /
by:
(書目-語言資料,印刷品)
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Software Engineering and Algorithms = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1 /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Technologies = Second International Conference, ICAT 2020, Quito, Ecuador, December 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Grundkurs Relationale Datenbanken = Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf /
by:
(書目-語言資料,印刷品)
Distributed Computing and Internet Technology = 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model-Based Engineering of Collaborative Embedded Systems = Extensions of the SPES Methodology /
by:
(書目-語言資料,印刷品)
IT Crisisology: Smart Crisis Management in Software Engineering = Models, Methods, Patterns, Practices, Case Studies /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Microelectronic Devices, Circuits and Systems = Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Society 5.0 = First International Conference, Society 5.0 2021, Virtual Event, June 22–24, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Software Timing = Methodik, Analyse und Praxistipps am Beispiel Automotive /
by:
(書目-語言資料,印刷品)
Embedded Systems – A Hardware-Software Co-Design Approach = Unleash the Power of Arduino! /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Head and Neck Tumor Segmentation = First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Soft Computing and its Engineering Applications = Second International Conference, icSoftComp 2020, Changa, Anand, India, December 11–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Lean and Agile Software Development = 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent-Based Simulation XXI = 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Building Better Interfaces for Remote Autonomous Systems = An Introduction for Systems Engineers /
by:
(書目-語言資料,印刷品)
Software Business = 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering for Absolute Beginners = Your Guide to Creating Software Products /
by:
(書目-語言資料,印刷品)
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Smart Cities = Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive /
by:
(書目-語言資料,印刷品)
Excel + VBA für Ingenieure = Programmieren erlernen und technische Fragestellungen lösen /
by:
(書目-語言資料,印刷品)
Advanced Computing = 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2020: Principles and Practice of Multi-Agent Systems = 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 22nd International Conference, ICEIS 2020, Virtual Event, May 5–7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Open Source Systems = 17th IFIP WG 2.13 International Conference, OSS 2021, Virtual Event, May 12–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Digital Customer Experience Engineering = Strategies for Creating Effective Digital Experiences /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII = Special Issue In Memory of Univ. Prof. Dr. Roland Wagner /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cybersecurity in Emerging Digital Era = First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence in Education = 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Perception, Representations, Image, Sound, Music = 14th International Symposium, CMMR 2019, Marseille, France, October 14–18, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
A Holistic View of Software and Hardware Reuse = Dependable Reuse of Components and Systems /
by:
(書目-語言資料,印刷品)
Lean Software Systems Engineering for Developers = Managing Requirements, Complexity, Teams, and Change Like a Champ /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information Systems = CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Information, Communication and Computing Technology = 6th International Conference, ICICCT 2021, New Delhi, India, May 8, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Big Data and Security = Second International Conference, ICBDS 2020, Singapore, Singapore, December 20–22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information and Software Technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Statistical Language and Speech Processing = 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Requirements Engineering for Social Sector Software Applications = Innovating for a Diverse Set of User Needs /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming – Workshops = XP 2021 Workshops, Virtual Event, June 14–18, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Architekturen Verteilter Softwaresysteme = SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration /
by:
(書目-語言資料,印刷品)
Emerging Technologies in Computing = 4th EAI/IAER International Conference, iCETiC 2021, Virtual Event, August 18–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
HCI International 2021 - Late Breaking Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Data Engineering and Automated Learning – IDEAL 2021 = 22nd International Conference, IDEAL 2021, Manchester, UK, November 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Secure IT Systems = 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 7th International Conference, CITI 2021, Guayaquil, Ecuador, November 22–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Visual Informatics = 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering Application in Informatics = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 /
by:
(書目-語言資料,印刷品)
Data Science and Intelligent Systems = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 2 /
by:
(書目-語言資料,印刷品)
Electronic Government = 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Information and Communication Technologies = 9th Conference of Ecuador, TICEC 2021, Guayaquil, Ecuador, November 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Software Business = 12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Human-Computer Interaction = 7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Storytelling = 14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Progress in Cryptology – INDOCRYPT 2021 = 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 18th International Conference, GECON 2021, Virtual Event, September 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems Reengineering, Integration and Normalization = Heterogeneous Database Connectivity /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part X /
by:
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX /
by:
(書目-語言資料,印刷品)
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Economics of Grids, Clouds, Systems, and Services = 18th International Conference, GECON 2021, Virtual Event, September 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers in Software Engineering = First International Conference, ICFSE 2021, Innopolis, Russia, June 17–18, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Human-Centered Software Engineering = 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing – ICSOC 2021 Workshops = AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 – September 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Building web applications with Vue.js = MVVM patterns for conventional and single-page websites /
by:
(書目-語言資料,印刷品)
SQL Server Database Programming with Java = Concepts, Designs and Implementations /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Design Patterns in .NET 6 = Reusable Approaches in C# and F# for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
Strategy, Planning and Organization of Test Processes = Basis for Successful Project Execution in Software Testing /
by:
(書目-語言資料,印刷品)
Virtual Reality and Mixed Reality = 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Handbook on Artificial Intelligence-Empowered Applied Software Engineering = VOL.1: Novel Methodologies to Engineering Smart Software Systems /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Dependable Computing – EDCC 2022 Workshops = SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
ICTERI 2021 Workshops = ITER, MROL, RMSEBT, TheRMIT, UNLP 2021, Kherson, Ukraine, September 28–October 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Future Access Enablers for Ubiquitous and Intelligent Infrastructures = 6th EAI International Conference, FABULOUS 2022, Virtual Event, May 4, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Agile Product and Project Management = A Step-by-Step Guide to Building the Right Products Right /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Building Information Modeling = Second Eurasian BIM Forum, EBF 2021, Istanbul, Turkey, November 11–12, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Runtime Verification = 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Animated Program Design = Intermediate Program Design Using Video Game Development /
by:
(書目-語言資料,印刷品)
Concise Guide to Software Engineering = From Fundamentals to Application Methods /
by:
(書目-語言資料,印刷品)
Cooperative Information Systems = 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4–7, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Digitalization Across Organizational Levels = New Frontiers for Information Systems Research /
by:
(書目-語言資料,印刷品)
Networked Systems = 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Bangabandhu and Digital Bangladesh = First International Conference, ICBBDB 2021, Dhaka, Bangladesh, December 30, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model-Driven Organizational and Business Agility = Second International Workshop, MOBA 2022, Leuven, Belgium, June 6–7, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3–9, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agile objektorientierte Anforderungsanalyse = Planen – Ermitteln – Analysieren – Modellieren – Dokumentieren – Prüfen /
by:
(書目-語言資料,印刷品)
Information and Communication Technologies = 10th Ecuadorian Conference, TICEC 2022, Manta, Ecuador, October 12–14, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Security and Privacy in Social Networks and Big Data = 8th International Symposium, SocialSec 2022, Xi'an, China, October 16–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 41st International Conference, ER 2022, Hyderabad, India, October 17–20, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
From Data to Models and Back = 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Handbook on Artificial Intelligence-Empowered Applied Software Engineering = VOL.2: Smart Software Applications in Cyber-Physical Systems /
by:
(書目-語言資料,印刷品)
Meta Heuristic Techniques in Software Engineering and Its Applications = METASOFT 2022 /
by:
(書目-語言資料,印刷品)
Applied Informatics = 5th International Conference, ICAI 2022, Arequipa, Peru, October 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Technologies and Innovation = 8th International Conference, CITI 2022, Guayaquil, Ecuador, November 14–17, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Business = 13th International Conference, ICSOB 2022, Bolzano, Italy, November 8–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science and Education in Computer Science = 18th EAI International Conference, CSECS 2022, On-Site and Virtual Event, June 24-27, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Autonomous Agents and Multiagent Systems. Best and Visionary Papers = AAMAS 2022 Workshops, Virtual Event, May 9–13, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21–23, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Computing = 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22–26, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Software for Modern Challenges = First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Practice of Enterprise Modeling = 15th IFIP WG 8.1 Working Conference, PoEM 2022, London, UK, November 23–25, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Service-Oriented Computing = 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 – December 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Attacks and Defenses for the Internet-of-Things = 5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Introducing Spring Framework 6 = Learning and Building Java-based Applications With Spring /
by:
(書目-語言資料,印刷品)
Supercomputing = 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering Workshops = CAiSE 2022 International Workshops, Leuven, Belgium, June 6–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Information Systems = CAiSE Forum 2022, Leuven, Belgium, June 6–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Virtual Environments and Education = Third International Workshop, WAVE 2021, Fortaleza, Brazil, March 21–24, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reuse and Software Quality = 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15–17, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Applications of Neural Networks = 23rd International Conference, EAAAI/EANN 2022, Chersonissos, Crete, Greece, June 17–20, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
SAP S/4 HANA-Systeme in Hyperscaler Clouds = Architektur, Betrieb und Setup von S/4HANA-Systemen in Microsoft Azure, Amazon Web Services und Google Cloud /
by:
(書目-語言資料,印刷品)
Participative Urban Health and Healthy Aging in the Age of AI = 19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
(書目-語言資料,印刷品)
Received Signal Strength Based Target Localization and Tracking Using Wireless Sensor Networks
by:
(書目-語言資料,印刷品)
Digital Business and Intelligent Systems = 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4–6, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Security in Computer and Information Sciences = Second International Symposium, EuroCybersec 2021, Nice, France, October 25–26, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web Engineering = 22nd International Conference, ICWE 2022, Bari, Italy, July 5–8, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing Frontiers = 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Software Engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computing Science, Communication and Security = Third International Conference, COMS2 2022, Gujarat, India, February 6–7, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = Third EAI International Conference, SESC 2021, Virtual Event, November 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Link Technology to Your Long-Term Business Goals = How to Use Technology to Mobilize Your People, Strategy and Operations /
by:
(書目-語言資料,印刷品)
Cybernetics Perspectives in Systems = Proceedings of 11th Computer Science On-line Conference 2022, Vol. 3 /
by:
(書目-語言資料,印刷品)
IoT as a Service = 7th EAI International Conference, IoTaaS 2021, Sydney, Australia, December 13–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Enterprise Information Systems = 23rd International Conference, ICEIS 2021, Virtual Event, April 26–28, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Trends in Systems = Proceedings of 11th Computer Science On-line Conference 2022, Vol. 2 /
by:
(書目-語言資料,印刷品)
Research Challenges in Information Science = 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Deployment and Operation of Complex Software in Heterogeneous Execution Environments = The SODALITE Approach /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 = 22nd International Conference, Malaga, Spain, July 4–7, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15–17, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering Perspectives in Systems = Proceedings of 11th Computer Science On-line Conference 2022, Vol. 1 /
by:
(書目-語言資料,印刷品)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Safety and Security of Cyber-Physical Systems = Engineering dependable Software using Principle-based Development /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Database and Expert Systems Applications = 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Innovation Practices for Digital Transformation in the Global South = IFIP WG 13.8, 9.4, Invited Selection /
by:
(書目-語言資料,印刷品)
Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Design and Architecture for Signal and Image Processing = 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20–22, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Business Modeling and Software Design = 12th International Symposium, BMSD 2022, Fribourg, Switzerland, June 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2022: Parallel Processing = 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Remote Engineering Management = Managing an Engineering Team in a Remote-First World /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Grundkurs Mobile Kommunikationssysteme = 5G New Radio und Kernnetz, LTE-Advanced Pro, GSM, Wireless LAN und Bluetooth /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Database and Expert Systems Applications - DEXA 2022 Workshops = 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2021 = 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4–8, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
New Perspectives in Software Engineering = Proceedings of the 10th International Conference on Software Process Improvement (CIMPS 2021) /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Sense, Feel, Design = INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Simulation Tools and Techniques = 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computing for Emerging Smart Networks = Third International Workshop, DiCES-N 2022, Bizerte, Tunisia, February 11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Broadband Communications, Networks, and Systems = 12th EAI International Conference, BROADNETS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Enterprise Architecture Function = A Pattern Language for Planning, Design and Execution /
by:
(書目-語言資料,印刷品)
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
by:
(書目-語言資料,印刷品)
Critical Infrastructure Protection XV = 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15–16, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Technologies = Third International Conference, ICAT 2021, Quito, Ecuador, October 27–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Risks and Security of Internet and Systems = 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12–13, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Animated Problem Solving = An Introduction to Program Design Using Video Game Development /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Performance Evaluation and Benchmarking = 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Service-Oriented and Cloud Computing = 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Lean and Agile Software Development = 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems Security and Privacy = 6th International Conference, ICISSP 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Foundations for Data Interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cyber Security = 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Build Your Own 2D Game Engine and Create Great Web Games = Using HTML5, JavaScript, and WebGL2 /
by:
(書目-語言資料,印刷品)
Informatics and Intelligent Applications = First International Conference, ICIIA 2021, Ota, Nigeria, November 25–27, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Videogame Sciences and Arts = 12th International Conference, VJ 2020, Mirandela, Portugal, November 26–28, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Design Patterns in Modern C++20 = Reusable Approaches for Object-Oriented Software Design /
by:
(書目-語言資料,印刷品)
API Marketplace Engineering = Design, Build, and Run a Platform for External Developers /
by:
(書目-語言資料,印刷品)
Expert Oracle Database Architecture = Techniques and Solutions for High Performance and Productivity /
by:
(書目-語言資料,印刷品)
Tableau for Business Users = Learn to Automate and Simplify Dashboards for Better Decision Making /
by:
(書目-語言資料,印刷品)
Language Server Protocol and Implementation = Supporting Language-Smart Editing and Programming Tools /
by:
(書目-語言資料,印刷品)
Information Systems and Design = Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 21st International Conference, SAMOS 2021, Virtual Event, July 4–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
A Complete Guide to Docker for Operations and Development = Test-Prep for the Docker Certified Associate (DCA) Exam /
by:
(書目-語言資料,印刷品)
Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme
by:
(書目-語言資料,印刷品)
Evaluation of Novel Approaches to Software Engineering = 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Design Thinking for Software Engineering = Creating Human-oriented Software-intensive Products and Services /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
C++ mit Visual Studio 2022 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows-Programme mit C++ entwickeln /
by:
(書目-語言資料,印刷品)
Music Representation and Transformation in Software = Structure and Algorithms in Python /
by:
(書目-語言資料,印刷品)
Smart Cities = 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Testing Software and Systems = 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud computing, big data & emerging topics = 11th Conference, JCC-BD & ET 2023, La Plata, Argentina, June 27-29, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /
by:
(書目-語言資料,印刷品)
Become GCP cloud digital leader certified in 7 days = getting to know Google Cloud /
by:
(書目-語言資料,印刷品)
更多
較少的
主題