Software Engineering.

Earth system modelling.[electronic resource] /Volume 3,Coupling software and strategies …で: (言語・文字資料 (印刷物))

Software engineering research, management and applications 2011[electronic resource] / …で: (言語・文字資料 (印刷物))

Principles and practice of multi-agent systems[electronic resource] :13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Proceedings of the International Conference on IT Convergence and Security 2011[electronic resource] / …で: (言語・文字資料 (印刷物))

Computer science and convergence[electronic resource] :CSA 2011 & WCC 2011 proceedings / …で: (言語・文字資料 (印刷物))

Design thinking research[electronic resource] :studying co-creation in practice / …で: (言語・文字資料 (印刷物))

Mathematical and engineering methods in computer science[electronic resource] :7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Theory of security and applications[electronic resource] :Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Resource discovery[electronic resource] :third International Workshop, RED 2010, Paris, France, November 5, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

SOFSEM 2012[electronic resource] :theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Foundations and practice of security[electronic resource] :4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Algebraic and numeric biology[electronic resource] :4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Software and systems traceability[electronic resource] / …で: (言語・文字資料 (印刷物))

Achieving systems safety[electronic resource] :proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / …で: (言語・文字資料 (印刷物))

Software quality[electronic resource] : process automation in software development : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Computer and computing technologies in agriculture V[electronic resource] :5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Computer and computing technologies in agriculture V[electronic resource] :5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Computer and computing technologies in agriculture V[electronic resource] :5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Web information systems and technologies[electronic resource] :7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Business process management workshops[electronic resource] :BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Business process management workshops[electronic resource] :BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Software engineering and knowledge engineering[electronic resource] :theory and practice.Volume 1 / …で: (言語・文字資料 (印刷物))

From the web to the grid and beyond[electronic resource] :computing paradigms driven by high-energy physics / …で: (言語・文字資料 (印刷物))

Improving software testing[electronic resource] :technical and organizational developments / …で: (言語・文字資料 (印刷物))

Practical aspects of declarative languages[electronic resource] :14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Grid and pervasive computing workshops[electronic resource] :International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Current trends in web engineering[electronic resource] :workshops, doctoral symposium, and tutorials, held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms for sensor systems[electronic resource] :7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Building a national distributed e-Infrastructure - PL-Grid[electronic resource] :scientific and technical achievements / …で: (言語・文字資料 (印刷物))

Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Architecture of computing systems - ARCS 2012[electronic resource] :25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Multi-agent-based simulation XII[electronic resource] :international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / …で: (言語・文字資料 (印刷物))

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / …で: (言語・文字資料 (印刷物))

Foundational Java[electronic resource] :key elements and practical programming / …で: (言語・文字資料 (印刷物))

Guide to scientific computing in C++[electronic resource] / …で: (言語・文字資料 (印刷物))

Advances in computer science and information technology[electronic resource] :computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Technological innovation for value creation[electronic resource] :third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Distributed, embedded and real-time Java systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Enterprise Interoperability V[electronic resource] :shaping enterprise interoperability in the future internet / …で: (言語・文字資料 (印刷物))

Data engineering and management[electronic resource] :second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Passive and active measurement[electronic resource] :13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance[electronic resource] :16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Self-organizing systems[electronic resource] :6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Compiler construction[electronic resource] :21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Economics of grids, clouds, systems, and services[electronic resource] :8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Requirements engineering: Foundation for software quality[electronic resource] :18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Foundations of software science and computational structures[electronic resource] :15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Tools and algorithms for the construction and analysis of systems[electronic resource] :18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Programming languages and systems[electronic resource] :21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Fundamental approaches to software engineering[electronic resource] :15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on petri nets and other models of concurrency V[electronic resource] / …で: (言語・文字資料 (印刷物))

Declarative agent languages and technologies IX[electronic resource] :9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / …で: (言語・文字資料 (印刷物))

S-BPM ONE - Scientific research[electronic resource] :4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Information systems, technology and management[electronic resource] :6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Testbeds and research infrastructure Development of Networks and Communities[electronic resource] :development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Agile service development[electronic resource] :combining adaptive methods and flexible solutions / …で: (言語・文字資料 (印刷物))

Advances in software engineering techniques[electronic resource] :4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers / …で: (言語・文字資料 (印刷物))

Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advanced computing, networking and security[electronic resource] :International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Games, actions and social software[electronic resource] :multidisciplinary aspects / …で: (言語・文字資料 (印刷物))

Logic programs, norms and action[electronic resource] :essays in honor of Marek J. Sergot on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / …で: (言語・文字資料 (印刷物))

Models in software engineering[electronic resource] :workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / …で: (言語・文字資料 (印刷物))

Euro-Par 2011: Parallel processing workshops[electronic resource] :CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Euro-Par 2011: Parallel processing workshops[electronic resource] :CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Web services and formal methods[electronic resource] :8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in computer science and information technology[electronic resource] :Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Advances in computer science and information technology[electronic resource] :computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

The correctness-by-construction approach to programming[electronic resource] / …で: (言語・文字資料 (印刷物))

Mobile and ubiquitous Systems: Computing, networking, and services[electronic resource] :7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Quality, reliability, security and robustness in heterogeneous networks[electronic resource] :7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Mobile computing, applications, and services[electronic resource] :second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Mobile lightweight wireless systems[electronic resource] :third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

IS Olympics[electronic resource] :Information systems in a diverse world : CAiSE Forum 2011, London, UK, June 20-24, 2011 : selected extended papers / …で: (言語・文字資料 (印刷物))

Business modeling and software design[electronic resource] :first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Broadband communications, networks, and systems[electronic resource] :7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Mobile multimedia communications[electronic resource] :7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Using Microsoft Dynamics AX 2012[electronic resource] / …で: (言語・文字資料 (印刷物))

Software process definition and management[electronic resource] / …で: (言語・文字資料 (印刷物))

Business process management[electronic resource] :concepts, languages, architectures / …で: (言語・文字資料 (印刷物))

Enterprise information systems[electronic resource] :13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Agile processes in software engineering and extreme programming[electronic resource] :13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings / …で: (言語・文字資料 (印刷物))

Game theory for networks[electronic resource] : …で: (言語・文字資料 (印刷物))

Mobile networks and management[electronic resource] :third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Mobile wireless middleware, operating systems, and applications[electronic resource] :4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Mobile and ubiquitous systems: Computing, networking, and services[electronic resource] :8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on compuational collective intelligence VI[electronic resource] / …で: (言語・文字資料 (印刷物))

Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Design science research in information systems[electronic resource] :advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas,NV, USA, May 14-15, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

NETWORKING 2012 workshops[electronic resource] :International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and practice of model transformations[electronic resource] :5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Wired/Wireless internet communication[electronic resource] :10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Dependable networks and services[electronic resource] :6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Analytical and stochastic modeling techniques and applications[electronic resource] :19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday / …で: (言語・文字資料 (印刷物))

Product-focused software process improvement[electronic resource] :13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Multicore software engineering, performance, and tools[electronic resource] :International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Software engineering research, management and applications 2012[electronic resource] / …で: (言語・文字資料 (印刷物))

Code generation with templates[electronic resource] / …で: (言語・文字資料 (印刷物))

Resilience assessment and evaluation of computing systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Model-based engineering of embedded systems[electronic resource] :the SPES 2020 methodology / …で: (言語・文字資料 (印刷物))

Computer applications for modeling, simulation, and automobile[electronic resource] :international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Green and smart technology with sensor applications[electronic resource] :international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Computer applications for software engineering, disaster recovery, and business continuity[electronic resource] :International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Search computing[electronic resource] :broadening web search / …で: (言語・文字資料 (印刷物))

Implementation and application of functional languages[electronic resource] :23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Ambient intelligence[electronic resource] :third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Multiple access communications[electronic resource] :5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Web information systems engineering - WISE 2012[electronic resource] :13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Middleware 2012[electronic resource] :ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on petri nets and other models of concurrency VI[electronic resource] / …で: (言語・文字資料 (印刷物))

Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Ubiquitous computing and ambient intelligence[electronic resource] :6th international conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Active knowledge modeling of enterprises[electronic resource] / …で: (言語・文字資料 (印刷物))

Model-driven testing[electronic resource] :using the UML testing profile / …で: (言語・文字資料 (印刷物))

Applications of graph transformations with industrial relevance[electronic resource] :third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers / …で: (言語・文字資料 (印刷物))

Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Computational methods in systems biology[electronic resource] :6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Conceptual modeling - ER 2008[electronic resource] :27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Engineering interactive systems 2008[electronic resource] :second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Generative and transformational techniques in software engineering II[electronic resource] :international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / …で: (言語・文字資料 (印刷物))

Information networking[electronic resource] :towards ubiquitous networking and services : International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007 : revised selected papers / …で: (言語・文字資料 (印刷物))

Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

On the move to meaningful internet systems: OTM 2008 workshops[electronic resource] :OTM Confederated international workshops and posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Quality of software architectures[electronic resource] :models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Rule representation, interchange and reasoning on the web[electronic resource] :international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / …で: (言語・文字資料 (印刷物))

Service-oriented computing - ICSOC 2008[electronic resource] :6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Software process and product measurement[electronic resource] :international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions / …で: (言語・文字資料 (印刷物))

Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Web reasoning and rule systems[electronic resource] :second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Wireless algorithms, systems, and applications[electronic resource] :third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in information technology[electronic resource] :5th international conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Testbeds and research infrastructure[electronic resource] :development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Computer applications for communication, networking, and digital contents[electronic resource] :international conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Computer applications for graphics, grid computing, and industrial environment[electronic resource] :international conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Computer applications for database, education, and ubiquitous computing[electronic resource] :international conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Product lifecycle management[electronic resource] :towards knowledge rich enterprises : IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in new technologies, interactive interfaces and communicability[electronic resource] :second international conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in multimedia information processing - PCM 2012[electronic resource] :13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Economics of grids, clouds, systems, and services[electronic resource] :9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Ambient assisted living and home care[electronic resource] :4th international workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Artificial general intelligence[electronic resource] :5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on aspect-oriented software development IX[electronic resource] / …で: (言語・文字資料 (印刷物))

Future generation information technology[electronic resource] :4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Current trends in web engineering[electronic resource] :ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Swarm, evolutionary, and memetic computing[electronic resource] :third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Coordination, organizations, institutions, and norms in agent system VII[electronic resource] :COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / …で: (言語・文字資料 (印刷物))

The China information technology handbook[electronic resource] / …で: (言語・文字資料 (印刷物))

On the move to meaningful internet systems: OTM 2012[electronic resource] :confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

On the move to meaningful internet systems: OTM 2012[electronic resource] :confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Agile software development[electronic resource] :best practices for large software development projects / …で: (言語・文字資料 (印刷物))

Software reliability assessment with OR applications[electronic resource] / …で: (言語・文字資料 (印刷物))

The Fortran 2003 handbook[electronic resource] :the complete syntax, features and procedures / …で: (言語・文字資料 (印刷物))

Software project effort estimation[electronic resource] :foundations and best practice guidelines for success / …で: (言語・文字資料 (印刷物))

Introduction to software quality[electronic resource] / …で: (言語・文字資料 (印刷物))

Business modeling and software design[electronic resource] :third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Systems and software quality[electronic resource] :the next step for industrialisation / …で: (言語・文字資料 (印刷物))

Service-oriented computing - ICSOC 2013 workshops[electronic resource] :CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Formal methods for executable software models[electronic resource] :14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / …で: (言語・文字資料 (印刷物))

Engineering secure future internet services and systems[electronic resource] :current research / …で: (言語・文字資料 (印刷物))

Advances in practical applications of heterogeneous multi-agent systems[electronic resource] :The PAAMS Collection : 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Analytical and stochastic modeling techniques and applications[electronic resource] :21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Coordination models and languages[electronic resource] :16th IFIP WG 6.1 International Conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Formal techniques for distributed objects, components, and systems[electronic resource] :34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Nordic contributions in IS research[electronic resource] :5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Autonomy requirements engineering for space missions[electronic resource] / …で: (言語・文字資料 (印刷物))

Knowledge-based software engineering[electronic resource] :11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Agile kaizen[electronic resource] :managing continuous improvement far beyond retrospectives / …で: (言語・文字資料 (印刷物))

Mashups[electronic resource] :concepts, models and architectures / …で: (言語・文字資料 (印刷物))

Software architecture[electronic resource] :8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Business process management[electronic resource] :12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Mobile web information systems[electronic resource] :11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

CONCUR 2014 - concurrency theory[electronic resource] :25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Service-oriented and cloud computing[electronic resource] :Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Aligning organizations through measurement[electronic resource] :the GQM+ strategies approach / …で: (言語・文字資料 (印刷物))

High-performance computing on the Intel Xeon Phi[electronic resource] :how to fully exploit MIC architectures / …で: (言語・文字資料 (印刷物))

Agile processes in software engineering and extreme programming[electronic resource] :15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Advanced information systems engineering workshops[electronic resource] :CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Software business[electronic resource] :towards continuous value delivery : 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Situational method engineering[electronic resource] / …で: (言語・文字資料 (印刷物))

Agent-oriented software engineering[electronic resource] :reflections on architectures, methodologies, languages, and frameworks / …で: (言語・文字資料 (印刷物))

Enterprise, business-process and information systems modeling[electronic resource] :15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Systems, software and services process improvement[electronic resource] :21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Ad-hoc, mobile, and wireless networks[electronic resource] :13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Application and theory of petri nets and concurrency[electronic resource] :35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Future internet testing[electronic resource] :first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advanced information systems engineering[electronic resource] :26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Reliable software technologies - Ada-Europe 2014[electronic resource] :19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Interactive theorem proving[electronic resource] :5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Job scheduling strategies for parallel processing[electronic resource] :17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Socio-technical design of ubiquitous computing systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Enterprise information systems[electronic resource] :15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Web information systems and technologies[electronic resource] :9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Risk assessment and risk-driven testing[electronic resource] :first International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Automated reasoning[electronic resource] :7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and practice of model transformations[electronic resource] :7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Models@run.time[electronic resource] :foundations, applications, and roadmaps / …で: (言語・文字資料 (印刷物))

Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V / …で: (言語・文字資料 (印刷物))

Modelling foundations and applications[electronic resource] :10th European Conference, ECMFA 2014, held as part of STAF 2014, York, UK, July 21-25, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Artificial general intelligence[electronic resource] :7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Computational logic in multi-agent systems[electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

From programs to systems - the systems perspective in computing[electronic resource] :ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

RoboCup 2013[electronic resource] :Robot World Cup XVII / …で: (言語・文字資料 (印刷物))

Design thinking research[electronic resource] :building innovators / …で: (言語・文字資料 (印刷物))

Agile project management[electronic resource] :managing for success / …で: (言語・文字資料 (印刷物))

Regulated open multi-agent systems (ROMAS)[electronic resource] :a multi-agent approach for designing normative open systems / …で: (言語・文字資料 (印刷物))

Transactional memory[electronic resource] :foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 / …で: (言語・文字資料 (印刷物))

Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

The scrum culture[electronic resource] :introducing agile methods in organizations / …で: (言語・文字資料 (印刷物))

From requirements to Java in a snap[electronic resource] :model-driven requirements engineering in practice / …で: (言語・文字資料 (印刷物))

Software quality[electronic resource] :Software and systems quality in distributed and mobile environments : 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Exploring services science[electronic resource] :6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Programming Smalltalk - object-orientation from the beginning[electronic resource] :an introduction to the principles of programming / …で: (言語・文字資料 (印刷物))

Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Formal methods[electronic resource] :foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Software engineering and formal methods[electronic resource] :SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Wireless sensor networks[electronic resource] :12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

SOFSEM 2015[electronic resource] :theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Understanding network hacks[electronic resource] :attack and defense with Python / …で: (言語・文字資料 (印刷物))

Information systems reengineering, integration and normalization[electronic resource] / …で: (言語・文字資料 (印刷物))

UML @ classroom[electronic resource] :an introduction to object-oriented modeling / …で: (言語・文字資料 (印刷物))

Advances in service-oriented and cloud computing[electronic resource] :workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Environmental software systems[electronic resource] :infrastructures, services and applications : 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Process-aware systems[electronic resource] :first International Workshop, PAS 2014, Shanghai, China, October 17, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Solving software challenges for exascale[electronic resource] :International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Ad-hoc networks and wireless[electronic resource] :ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22-27, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Software engineering research, management and applications[electronic resource] / …で: (言語・文字資料 (印刷物))

Design thinking research[electronic resource] :building innovation eco-systems / …で: (言語・文字資料 (印刷物))

Refinement in Z and Object-Z[electronic resource] :foundations and advanced applications / …で: (言語・文字資料 (印刷物))

Soft city culture and technology[electronic resource] :the Betaville Project / …で: (言語・文字資料 (印刷物))

High performance cloud auditing and applications[electronic resource] / …で: (言語・文字資料 (印刷物))

Software reliability modeling[electronic resource] :fundamentals and applications / …で: (言語・文字資料 (印刷物))

Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Software quality[electronic resource] :model-based approaches for advanced software and systems engineering : 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

JRuby Rails web application development[electronic resource] / …で: (言語・文字資料 (印刷物))

Exploring services science[electronic resource] :5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Evolving software systems[electronic resource] / …で: (言語・文字資料 (印刷物))

SOFSEM 2014[electronic resource] :theory and practice of computer science : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 26-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Wireless sensor networks[electronic resource] :11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Frontiers in gaming simulation[electronic resource] :44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Foundations of health information engineering and systems[electronic resource] :third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

The art of software thermal management for embedded systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Future business software[electronic resource] :current trends in business software development / …で: (言語・文字資料 (印刷物))

Software engineering education for a global e-service economy[electronic resource] :state of the art, trends and developments / …で: (言語・文字資料 (印刷物))

Architecture of computing systems - ARCS 2014[electronic resource] :27th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance[electronic resource] :17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Self-organizing systems[electronic resource] :7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Information technology and open source: applications for education, innovation, and sustainability[electronic resource] :SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers / …で: (言語・文字資料 (印刷物))

Web information systems engineering - WISE 2013 workshops[electronic resource] :WISE 2013 international workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Agile risk management[electronic resource] / …で: (言語・文字資料 (印刷物))

Handbook on agent-oriented design processes[electronic resource] / …で: (言語・文字資料 (印刷物))

Software Engineering and Formal Methods[electronic resource] :SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Requirements engineering[electronic resource] :foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Fundamental approaches to software engineering[electronic resource] :17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Compiler Construction[electronic resource] :23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Foundations of software science and computation structures[electronic resource] :17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Programming languages and systems[electronic resource] :23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Tools and algorithms for the construction and analysis of systems[electronic resource] :20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent software methodologies, tools and techniques[electronic resource] :13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers / …で: (コンピュータ・メディア)

S-BPM in the wild[electronic resource] :practical value creation / …で: (コンピュータ・メディア)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015 : proceedings / …で: (コンピュータ・メディア)

Information systems engineering in complex environments[electronic resource] :CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014 : selected extended papers / …で: (コンピュータ・メディア)

Business modeling and software design[electronic resource] :4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014 : revised selected papers / …で: (コンピュータ・メディア)

Analytical and stochastic modelling techniques and applications[electronic resource] :22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015 : proceedings / …で: (コンピュータ・メディア)

RoboCup 2014[electronic resource] :Robot World Cup XVIII / …で: (コンピュータ・メディア)

Formal methods for multicore programming[electronic resource] :15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures / …で: (コンピュータ・メディア)

Formal techniques for distributed objects, components, and systems[electronic resource] :35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings / …で: (コンピュータ・メディア)

FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / …で: (コンピュータ・メディア)

Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / …で: (コンピュータ・メディア)

Software business[electronic resource] :6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Software process improvement and capability determination[electronic resource] :15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Application and theory of petri nets and concurrency[electronic resource] :36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Reliable software technologies - Ada-Europe 2015[electronic resource] :20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Ad-hoc, mobile, and wireless networks[electronic resource] :14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 - July 1, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Engineering the web in the big data era[electronic resource] :15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Web information systems engineering - WISE 2014 Workshops[electronic resource] :15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers / …で: (言語・文字資料 (印刷物))

Data science[electronic resource] :30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V / …で: (言語・文字資料 (印刷物))

Validation of evolving software[electronic resource] / …で: (言語・文字資料 (印刷物))

Nordic contributions in IS research[electronic resource] :6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Enterprise information systems[electronic resource] :16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Swarm, evolutionary, and memetic computing[electronic resource] :5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Human aspects of information security, privacy, and trust[electronic resource] :third International Conference, HAS 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Human-computer interaction[electronic resource] :design and evaluation : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Human-computer interaction[electronic resource] :interaction technologies : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Human-computer interaction[electronic resource] :users and contexts : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Modelling foundations and applications[electronic resource] :11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and practice of model transformations[electronic resource] :8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Artificial general intelligence[electronic resource] :8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Behavior modeling[electronic resource] :foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on computational collective intelligence XVIII[electronic resource] / …で: (言語・文字資料 (印刷物))

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / …で: (言語・文字資料 (印刷物))

Intelligent software methodologies, tools and techniques[electronic resource] :14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Stabilization, safety, and security of distributed systems[electronic resource] :17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Wired/wireless internet communications[electronic resource] :13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Human-computer interaction - INTERACT 2015[electronic resource] :15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Human-computer interaction - INTERACT 2015[electronic resource] :15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Mobile web and intelligent information systems[electronic resource] :12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday / …で: (言語・文字資料 (印刷物))

Advanced parallel processing technologies[electronic resource] :11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Internet and distributed computing systems[electronic resource] :8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Multiple access communications[electronic resource] :8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Cryptographic hardware and embedded systems - CHES 2015[electronic resource] :17th International Workshop, Saint-Malo, France, September 13-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

The design of requirements modelling languages[electronic resource] :how to make formalisms for problem solving in requirements engineering / …で: (言語・文字資料 (印刷物))

Enhanced building information models[electronic resource] :using IoT services and integration patterns / …で: (言語・文字資料 (印刷物))

Software measurement[electronic resource] :25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krakow, Poland, October 5-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Systems, software and services process improvement[electronic resource] :22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Information and software technologies[electronic resource] :21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

The practice of enterprise modeling[electronic resource] :8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Real-Time C++[electronic resource] :efficient object-oriented and template microcontroller programming / …で: (言語・文字資料 (印刷物))

Requirements engineering in the big data era[electronic resource] :Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Collaboration and technology[electronic resource] :21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Service-oriented computing - ICSOC 2014 Workshops[electronic resource] :WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and satellite events, Paris, France, November 3-6, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Correct system design[electronic resource] :symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Software architecture[electronic resource] :9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Model and data engineering[electronic resource] :5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms, probability, networks, and games[electronic resource] :scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Service oriented and cloud computing[electronic resource] :4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computer safety, reliability, and security[electronic resource] :34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computational logistics[electronic resource] :6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Current Trends in Web Engineering[electronic resource] :15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Automated technology for verification and analysis[electronic resource] :13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Cyber physical systems[electronic resource] :design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

PRIMA 2015[electronic resource] :principles and practice of multi-agent systems : …で: (言語・文字資料 (印刷物))

Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / …で: (言語・文字資料 (印刷物))

Mobile, secure, and programmable networking[electronic resource] :first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers / …で: (言語・文字資料 (印刷物))

Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Testing Software and Systems[electronic resource] :27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

On the move to meaningful internet systems[electronic resource] :OTM 2015 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

On the move to meaningful internet systems[electronic resource] :OTM 2015 Conferences : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / …で: (言語・文字資料 (印刷物))

Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Hardware and software[electronic resource] :verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Ambient assisted living[electronic resource] :ICT-based solutions in real life situations : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Algorithms and architectures from parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on petri nets and other models of concurrency X[electronic resource] / …で: (言語・文字資料 (印刷物))

Distributed computing[electronic resource] :29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Exploring the Raspberry Pi 2 with C++[electronic resource] / …で: (言語・文字資料 (印刷物))

Model-driven engineering and software development[electronic resource] :second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Evaluation of novel approaches to software engineering[electronic resource] :9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Languages, applications and technologies[electronic resource] :4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Security standardisation research[electronic resource] :second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Information security[electronic resource] :16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on computational collective intelligence XIX[electronic resource] / …で: (言語・文字資料 (印刷物))

Beginning django CMS[electronic resource] / …で: (言語・文字資料 (印刷物))

Make an e-commerce site in a weekend[electronic resource] :using PHP / …で: (言語・文字資料 (印刷物))

Selenium WebDriver recipes in C#[electronic resource] / …で: (言語・文字資料 (印刷物))

Broken Agile[electronic resource] :stories from the trenches / …で: (言語・文字資料 (印刷物))

JavaScript object programming[electronic resource] / …で: (言語・文字資料 (印刷物))

Cloud computing and services sciences[electronic resource] :International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Model-driven engineering and software development[electronic resource] :third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on computational collective intelligence XX[electronic resource] / …で: (言語・文字資料 (印刷物))

Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / …で: (言語・文字資料 (印刷物))

Cloud computing and big data[electronic resource] :second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Adaptive Resource Management and Scheduling for Cloud Computing[electronic resource] :Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastian, Spain, July 20, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Models of strategic reasoning[electronic resource] :logics, games, and communities / …で: (言語・文字資料 (印刷物))

Networked systems[electronic resource] :third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Enterprise information systems[electronic resource] :17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

RoboCup 2015[electronic resource] :Robot World Cup XIX / …で: (言語・文字資料 (印刷物))

Evaluation of novel approaches to software engineering[electronic resource] :10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Formal methods: foundations and applications[electronic resource] :18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Verified software[electronic resource] :theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Mathematical and engineering methods in computer science[electronic resource] :10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Requirements engineering[electronic resource] :foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Architecture of computing systems - ARCS 2016[electronic resource] :29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Multi-agent based simulation XVI[electronic resource] :International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Measurement, modelling and evaluation of dependable computer and communication systems[electronic resource] :18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Programming languages and systems[electronic resource] :25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Foundations of software science and computation structures[electronic resource] :19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Fundamental approaches to software engineering[electronic resource] :19th International Conference, FASE 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

OSS reliability measurement and assessment[electronic resource] / …で: (言語・文字資料 (印刷物))

Tangible interactive systems[electronic resource] :grasping the real world with computers / …で: (言語・文字資料 (印刷物))

Hagenberg business process modelling method[electronic resource] / …で: (言語・文字資料 (印刷物))

Advances in service-oriented and cloud computing[electronic resource] :workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Process mining[electronic resource] :data science in action / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Multi-agent systems and agreement technologies[electronic resource] :13th European Conference, EUMAS 2015, and third International Conference, AT 2015, Athens, Greece, December 17-18, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Web services, formal methods, and behavioral types[electronic resource] :11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Tools and algorithms for the construction and analysis of systems[electronic resource] :22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on computational science XXVII[electronic resource] / …で: (言語・文字資料 (印刷物))

Service-oriented computing - ICSOC 2015 Workshops[electronic resource] :WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Computational sustainability[electronic resource] / …で: (言語・文字資料 (印刷物))

Modelling and implementation of complex systems[electronic resource] :proceedings of the 4th International Symposium, MISC 2016, May 7-8, 2016, Constantine, Algeria / …で: (言語・文字資料 (印刷物))

Devops on the Microsoft stack[electronic resource] / …で: (言語・文字資料 (印刷物))

Jumpstart Tableau[electronic resource] :a step-by-step guide to better data visualization / …で: (言語・文字資料 (印刷物))

Software engineering education going agile[electronic resource] :11th China-Europe International Symposium on Software Engineering Education (CEISEE 2015) / …で: (言語・文字資料 (印刷物))

Exploring services science[electronic resource] :7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Agile processes in software engineering and extreme programming[electronic resource] :17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Cloud computing[electronic resource] :6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Software process improvement and capability determination[electronic resource] :16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Open source systems[electronic resource] :integrating communities : 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Web engineering[electronic resource] :16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Green, pervasive, and cloud computing[electronic resource] :11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Reliable software technologies - Ada-Europe 2016[electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Coordination models and languages[electronic resource] :18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Formal techniques for distributed objects components, and systems[electronic resource] :36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Advanced information systems engineering workshops[electronic resource] :28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Mobile and wireless technologies 2016[electronic resource] / …で: (言語・文字資料 (印刷物))

Beginning Samsung ARTIK[electronic resource] :a guide for developers / …で: (言語・文字資料 (印刷物))

Hybrid soft computing approaches[electronic resource] :research and applications / …で: (言語・文字資料 (印刷物))

Collaborative quality assurance in information systems development[electronic resource] :the interaction of software development techniques and team cognition / …で: (言語・文字資料 (印刷物))

Trends and applications in software engineering[electronic resource] :proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 / …で: (言語・文字資料 (印刷物))

Agile Software Development Teams[electronic resource] / …で: (言語・文字資料 (印刷物))

Software quality[electronic resource] :the future of systems- and software development : 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Verification, model checking, and abstract interpretation[electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Program arcade games[electronic resource] :with Python and Pygame / …で: (言語・文字資料 (印刷物))

Pro Docker[electronic resource] / …で: (言語・文字資料 (印刷物))

Distributed simulation[electronic resource] :a model driven engineering approach / …で: (言語・文字資料 (印刷物))

Rapid mashup development tools[electronic resource] :first International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in network science[electronic resource] :12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

SOFSEM 2016[electronic resource] :theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Computational intelligence and quantitative software engineering[electronic resource] / …で: (言語・文字資料 (印刷物))

Proceedings of 4th International Conference in Software Engineering for Defence Applications[electronic resource] :SEDA 2015 / …で: (言語・文字資料 (印刷物))

Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Cloud computing and services sciences[electronic resource] :5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Software technologies[electronic resource] :10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Information and communication technologies in education, research, and industrial applications[electronic resource] :11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / …で: (言語・文字資料 (印刷物))

Languages and compilers for parallel computing[electronic resource] :28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Graphical models for security[electronic resource] :second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Software design for resilient computer systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Enterprise, business-process and information systems modeling[electronic resource] :17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, held at CAiSE 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / …で: (コンピュータ・メディア)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / …で: (コンピュータ・メディア)

Business modeling and software design[electronic resource] :5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Software business[electronic resource] :7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / …で: (コンピュータ・メディア)

Trustworthy open self-organising systems[electronic resource] / …で: (コンピュータ・メディア)

Smart city 360[electronic resource] :first EAI International Summit, Smart City 360, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Automated software and service composition[electronic resource] :a survey and evaluating review / …で: (コンピュータ・メディア)

Pragmatic evaluation of software architectures[electronic resource] / …で: (コンピュータ・メディア)

Databases and information systems[electronic resource] :12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings / …で: (コンピュータ・メディア)

Reliability, safety, and security of railway systems[electronic resource] :modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings / …で: (コンピュータ・メディア)

Formal methods for the quantitative evaluation of collective adaptive systems[electronic resource] :16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / …で: (コンピュータ・メディア)

Human-computer interaction[electronic resource] :theory, design, development and practice : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Human-computer interaction[electronic resource] :novel user experiences : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.Part III / …で: (コンピュータ・メディア)

Games and learning alliance[electronic resource] :4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / …で: (コンピュータ・メディア)

Design, user experience, and usability[electronic resource] :novel user experiences : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Design, user experience, and usability[electronic resource] :technological contexts : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.Part III / …で: (コンピュータ・メディア)

Design, user experience, and usability[electronic resource] :design thinking and methods : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Graph transformation[electronic resource] :9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 : proceedings / …で: (コンピュータ・メディア)

NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Biomedical data management and graph online querying[electronic resource] :VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Perspectives of system informatics[electronic resource] :10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Software engineering and formal methods[electronic resource] :14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Rule technologies[electronic resource] :research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Modelling foundations and applications[electronic resource] :12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Theory and practice of model transformations[electronic resource] :9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016 : proceedings / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V / …で: (コンピュータ・メディア)

Finite difference computing with exponential decay models[electronic resource] / …で: (コンピュータ・メディア)

Creating Google Chrome extensions[electronic resource] / …で: (コンピュータ・メディア)

Migrating large-scale services to the cloud[electronic resource] / …で: (コンピュータ・メディア)

Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications / …で: (コンピュータ・メディア)

Beginning Backdrop CMS[electronic resource] / …で: (コンピュータ・メディア)

.NET development using the compiler API[electronic resource] / …で: (コンピュータ・メディア)

Managing humans[electronic resource] :biting and humorous tales of a software engineering manager / …で: (コンピュータ・メディア)

Managing information technology[electronic resource] / …で: (コンピュータ・メディア)

Domain-specific conceptual modeling[electronic resource] :concepts, methods and tools / …で: (コンピュータ・メディア)

Controlled natural language[electronic resource] :5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016 : proceedings / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III / …で: (コンピュータ・メディア)

Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / …で: (コンピュータ・メディア)

Coordination, organizations, institutions, and norms in agent systems XI[electronic resource] :COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Economics of grids, clouds, systems, and services[electronic resource] :12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Penetration testing basics[electronic resource] :a quick-start guide to breaking into systems / …で: (コンピュータ・メディア)

Project management basics[electronic resource] :how to manage your project with checklists / …で: (コンピュータ・メディア)

Design thinking research[electronic resource] :taking breakthrough innovation home / …で: (コンピュータ・メディア)

Nordic contributions in IS research[electronic resource] :7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings / …で: (コンピュータ・メディア)

Tamed agility[electronic resource] :pragmatic contracting and collaboration in agile software projects / …で: (コンピュータ・メディア)

Systems, software and services process improvement[electronic resource] :23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings / …で: (コンピュータ・メディア)

Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / …で: (コンピュータ・メディア)

Analytical and stochastic modeling techniques and applications[electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Mobile web and intelligent information systems[electronic resource] :13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016 : proceedings / …で: (コンピュータ・メディア)

Trust, privacy, and security in digital business[electronic resource] :13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Service-oriented and cloud computing[electronic resource] :5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Rewriting logic and its applications[electronic resource] :11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Computational logistics[electronic resource] :7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Human-centered and error-resilient systems development[electronic resource] :IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016 : proceedings / …で: (コンピュータ・メディア)

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings / …で: (コンピュータ・メディア)

Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / …で: (コンピュータ・メディア)

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / …で: (コンピュータ・メディア)

Static analysis[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / …で: (コンピュータ・メディア)

Moving to responsive web design[electronic resource] :bring existing static sites into today's multi-device world with responsive web design / …で: (コンピュータ・メディア)

Perpectives in business informatics research[electronic resource] :15th International Conference, BIR 2016, Prague, Czech Republic, September 15-16, 2016 : proceedings / …で: (コンピュータ・メディア)

Information systems: development, research, applications, education[electronic resource] :9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings / …で: (コンピュータ・メディア)

Understanding control flow[electronic resource] :concurrent programming using [mu]C++ / …で: (コンピュータ・メディア)

Managing software process evolution[electronic resource] :traditional, agile and beyond - how to handle process change / …で: (コンピュータ・メディア)

Integrating user-centred design in agile development[electronic resource] / …で: (コンピュータ・メディア)

Ontology-based procedural modelling of traversable buildings composed by arbitrary shapes[electronic resource] / …で: (コンピュータ・メディア)

Architectural design[electronic resource] :conception and specification of interactive systems / …で: (コンピュータ・メディア)

Big data technologies and applications[electronic resource] / …で: (コンピュータ・メディア)

Behavioural models[electronic resource] :from modelling finite automata to analysing business processes / …で: (コンピュータ・メディア)

Collaboration in a hyperconnected world[electronic resource] :17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016 : proceedings / …で: (コンピュータ・メディア)

Information and software technologies[electronic resource] :22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / …で: (コンピュータ・メディア)

Collaboration and technology[electronic resource] :22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016 : proceedings / …で: (コンピュータ・メディア)

Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Programming languages[electronic resource] :20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Computer safety, reliability, and security[electronic resource] :35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Model and data engineering[electronic resource] :6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016 : proceedings / …で: (コンピュータ・メディア)

OpenMP[electronic resource] :memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Research in attacks, intrusions, and defenses[electronic resource] :19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016 : proceedings / …で: (コンピュータ・メディア)

Multiagent System Technologies[electronic resource] :14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / …で: (コンピュータ・メディア)

Usability- and accessibility-focused requirements engineering[electronic resource] :first International Workshop, UsARE 2012, held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and second International Workshop, UsARE 2014, held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014 : revised selected papers / …で: (コンピュータ・メディア)

Critical systems[electronic resource] :formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / …で: (コンピュータ・メディア)

Networked systems[electronic resource] :4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Graphical models for security[electronic resource] :third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Service-oriented computing[electronic resource] :14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016 : proceedings / …で: (コンピュータ・メディア)

Computer performance engineering[electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Scala[electronic resource] :from a functional programming perspective : an introduction to the programming language / …で: (コンピュータ・メディア)

Transactions on foundations for mastering change I[electronic resource] / …で: (コンピュータ・メディア)

Foundational and practical aspects of resource analysis[electronic resource] :4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / …で: (コンピュータ・メディア)

System analysis and modeling[electronic resource] :technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings / …で: (コンピュータ・メディア)

Autonomous agents and multiagent systems[electronic resource] :AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Transactions on modularity and composition I[electronic resource] / …で: (コンピュータ・メディア)

Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / …で: (コンピュータ・メディア)

Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / …で: (コンピュータ・メディア)

Transactions on petri nets and other models of concurrency XI[electronic resource] / …で: (コンピュータ・メディア)

Transactions on computational collective intelligence XXV[electronic resource] / …で: (コンピュータ・メディア)

Pro ASP.NET Core MVC[electronic resource] / …で: (コンピュータ・メディア)

Information systems for crisis response and management in mediterranean countries[electronic resource] :third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings / …で: (コンピュータ・メディア)

The practice of enterprise modeling[electronic resource] :9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings / …で: (コンピュータ・メディア)

Quality in business process modeling[electronic resource] / …で: (コンピュータ・メディア)

Software developers as users[electronic resource] :semiotic investigations in human-centered software development / …で: (コンピュータ・メディア)

Software architecture in action[electronic resource] :designing and executing architectural models with SysADL grounded on the OMG SysML standard / …で: (コンピュータ・メディア)

ICT education[electronic resource] :45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Current trends in web engineering[electronic resource] :ICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Leveraging applications of formal methods, verification and validation[electronic resource] :foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Leveraging applications of formal methods, verification and validation[electronic resource] :discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Testing software and systems[electronic resource] :28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / …で: (コンピュータ・メディア)

Dependable software engineering[electronic resource] :theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / …で: (コンピュータ・メディア)

Advances in conceptual modeling[electronic resource] :ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016 : proceedings / …で: (コンピュータ・メディア)

Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / …で: (コンピュータ・メディア)

Programming languages and systems[electronic resource] :14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / …で: (コンピュータ・メディア)

On the move to meaningful internet systems[electronic resource] :OTM 2016 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016 : proceedings / …で: (コンピュータ・メディア)

Enterprise interoperability VII[electronic resource] :enterprise interoperability in the digitized and networked factory of the future / …で: (コンピュータ・メディア)

Migrating to Swift from Flash and ActionScript[electronic resource] / …で: (コンピュータ・メディア)

Requirements writing for system engineering[electronic resource] / …で: (コンピュータ・メディア)

The art of scrum[electronic resource] :how Scrum masters bind dev teams and unleash agility / …で: (言語・文字資料 (印刷物))

DevOps for digital leaders[electronic resource] :reignite business with a modern DevOps-enabled software factory / …で: (言語・文字資料 (印刷物))

Data science[electronic resource] :create teams that ask the right questions and deliver real value / …で: (言語・文字資料 (印刷物))

Interactive modeling and simulation in business system design[electronic resource] / …で: (言語・文字資料 (印刷物))

Internet of things[electronic resource] :IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Internet of things[electronic resource] :IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Project-management in practice[electronic resource] :a guideline and toolbox for successful projects / …で: (言語・文字資料 (印刷物))

Requirements engineering toward sustainable world[electronic resource] :third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Principles of practice in multi-agent systems[electronic resource] :International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Verified Software. Theories, Tools, and Experiments[electronic resource] :8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Swarm, evolutionary, and mimetic computing[electronic resource] :6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Software architecture[electronic resource] :10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Knowledge engineering and knowledge management[electronic resource] :20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Product-focused software process improvement[electronic resource] :17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Stabilization, safety, and security of distributed systems[electronic resource] :18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Software technologies[electronic resource] :applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Professional Sitecore 8 development[electronic resource] :a complete guide to solutions and best practices / …で: (言語・文字資料 (印刷物))

Practical Microsoft Visual Studio 2015[electronic resource] / …で: (言語・文字資料 (印刷物))

C++/CLI primer[electronic resource] :for .NET development / …で: (言語・文字資料 (印刷物))

Lean Python[electronic resource] :learn just enough Python to build useful tools / …で: (言語・文字資料 (印刷物))

Real-world decision support systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Advanced model-based engineering of embedded systems[electronic resource] :extensions of the SPES 2020 methodology / …で: (言語・文字資料 (印刷物))

Leveraging applications of formal methods, verification, and validation[electronic resource] :6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Internetware[electronic resource] :a new software paradigm for internet computing / …で: (言語・文字資料 (印刷物))

Cyber-physical systems of systems[electronic resource] :foundations - a conceptual model and some derivations: the AMADEOS legacy / …で: (言語・文字資料 (印刷物))

Deductive software verification - The KeY Book[electronic resource] :from theory to practice / …で: (言語・文字資料 (印刷物))

Mobile, secure, and programmable networking[electronic resource] :second International Conference, MSPN 2016, Paris, France, June 1-3, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Computers and games[electronic resource] :9th International Conference, CG 2016, Leiden, the Netherlands, June 29 - July 1, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Engineering Multi-Agent Systems[electronic resource] :4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers / …で: (言語・文字資料 (印刷物))

OpenSHMEM and related technologies[electronic resource] :enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Collaboration meets interactive spaces[electronic resource] / …で: (言語・文字資料 (印刷物))

Software engineering and methodology for emerging domains[electronic resource] :15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in production management systems[electronic resource] :initiatives for a sustainable world : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Stakeholders and information technology in education[electronic resource] :IFIP TC 3 International Conference, SaITE 2016, Guimaraes, Portugal, July 5-8, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Evaluation of novel approaches to software engineering[electronic resource] :11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Web engineering[electronic resource] :5th international conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 : proceedings / …で: (コンピュータ・メディア)

Formal concept analysis[electronic resource] :foundations and applications / …で: (コンピュータ・メディア)

Scientific Engineering of Distributed Java Applications[electronic resource] :4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / …で: (コンピュータ・メディア)

Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / …で: (コンピュータ・メディア)

Software Engineering for Multi-Agent Systems III[electronic resource] :Research Issues and Practical Applications / …で: (コンピュータ・メディア)

Distributed Computing and Internet Technology :[electronic resource] /Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings …で: (コンピュータ・メディア)

Earth Sciences.

Software Engineering.

Earth sciences

Earth Sciences, general.

Software engineering

Software Engineering.

Artificial Intelligence (incl. Robotics)

Computational Intelligence.

Engineering.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Multiagent systems

Communications Engineering, Networks.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Computer security

Information technology

Engineering.

Systems and Data Security.

Software engineering

Communications Engineering, Networks.

Software Engineering.

Data Mining and Knowledge Discovery.

Computer science

Engineering.

Software Engineering.

Engineering Design.

Creative ability in technology.

Media Management.

Industrial management

Humanities, general.

Economics/Management Science, general.

Business Information Systems.

Economics/Management Science.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Computer science

Computer Science.

Computer Communication Networks.

Software Engineering.

Electronic data processing

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Formal methods (Computer science)

Software engineering.

Logic design.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer networks.

Computer Science.

Computer Communication Networks.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Programming Languages, Compilers, Interpreters.

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Computers and Society.

Software Engineering.

Communications Engineering, Networks.

Data mining

Information retrieval

Information Systems Applications (incl. Internet)

Database Management.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Artificial intelligence

Software Engineering.

Data Storage Representation.

Computer software

Cryptography

Algorithm Analysis and Problem Complexity.

Database Management.

Computer science

Computers

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Biomathematics

Computer Science.

Computational biology

Symbolic and Algebraic Manipulation.

Computational Biology/Bioinformatics.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Computer software

Software engineering.

Computer Science.

Software Engineering.

Data protection

Reliability (Engineering)

Computer networks

Computer Science.

Systems and Data Security.

System Performance and Evaluation.

System safety

Software Engineering.

Computer software

Management of Computing and Information Systems.

Computer Science.

Project Management.

Artificial intelligence

Software Engineering.

Agriculture

Information Systems Applications (incl. Internet).

Special Purpose and Application-Based Systems.

Computer Science.

Artificial Intelligence (incl. Robotics).

Computer Communication Networks.

Simulation and Modeling.

Artificial intelligence

Software Engineering.

Agriculture

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet).

Special Purpose and Application-Based Systems.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Artificial intelligence

Software Engineering.

Agriculture

Information Systems Applications (incl. Internet).

Special Purpose and Application-Based Systems.

Computer Science.

Artificial Intelligence (incl. Robotics).

Computer Communication Networks.

Simulation and Modeling.

Web services

Software Engineering.

World Wide Webv

Information Systems Applications (incl. Internet)

User Interfaces and Human Computer Interaction.

Business Information Systems.

Information technology

Cloud computing

Computer Science.

e-Commerce/e-business.

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Management information systems

Computer Appl. in Administrative Data Processing.

Business Information Systems.

Workflow

Computer Science.

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Management information systems

Computer Appl. in Administrative Data Processing.

Production/Logistics/Supply Chain Management.

Business Information Systems.

Workflow

Computer Science.

Software engineering

Software Engineering.

Computational Intelligence.

Engineering.

Artificial Intelligence (incl. Robotics).

Particle Acceleration and Detection, Beam Physics.

Software Engineering.

Elementary Particles, Quantum Field Theory.

Particles (Nuclear physics)

Computer Science.

Computer Communication Networks.

Computer Applications.

Software Engineering.

Computer software

Business Information Systems.

Economics/Management Science.

System Performance and Evaluation.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Computational grids (Computer systems)

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Ubiquitous computing

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Internet programming

Information Systems and Communication Service.

Semantic computing

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Information Storage and Retrieval.

World Wide Web

Computer Science.

Computer Communication Networks.

Wireless sensor networks

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Information Systems Applications (incl. Internet)

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Ad hoc networks (Computer networks)

Software Engineering.

Sensor networks

Computer algorithms

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Special Purpose and Application-Based Systems.

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Software Engineering.

Electronic data processing

Distributed databases.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Cyberinfrastructure.

Computer Science.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Models and Principles.

Simulation methods.

Computer Science.

System design.

Software Engineering.

Operating Systems.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

Computer architecture

Computer Science.

Computer Communication Networks.

Computer System Implementation.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Special Purpose and Application-Based Systems.

Computer simulation

Computer Science.

Simulation and Modeling.

Multiagent systems

Software Engineering.

Appl.Mathematics/Computational Methods of Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Formal methods (Computer science)

Computer science

Biologically-inspired computing.

Computer Science.

Computer Communication Networks.

FORTRAN (Computer program language)

FORTRAN 95 (Computer program language)

Software Engineering.

FORTRAN 90 (Computer program language)

FORTRAN 2003 (Computer program language)

Programming Techniques.

Data Structures.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

FORTRAN 77 (Computer program language)

Computer Science.

Software Engineering.

Java (Computer program language)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Science

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

Computer Science.

Simulation and Modeling.

Math Applications in Computer Science.

C++ (Computer program language)

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Software Engineering.

Technological innovations

Management of Computing and Information Systems.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Computer Science.

Computer Communication Networks.

Software Engineering.

Java (Computer program language)

Computer-Aided Engineering (CAD, CAE) and Design.

Circuits and Systems.

Embedded computer systems

Engineering.

Communications Engineering, Networks.

Software Engineering.

Enterprise application integration (Computer systems)

Management of Computing and Information Systems.

Internetworking (Telecommunication)

Engineering Economics, Organization, Logistics, Marketing.

Business Information Systems.

Engineering.

Industrial and Production Engineering.

Software Engineering.

Mathematical Logic and Formal Languages.

Data mining

Logics and Meanings of Programs.

Semantic Web

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Database management

Computer Science.

Computer Communication Networks.

Digital libraries

Software Engineering.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Programming Techniques.

Adaptive computing systems

Computer architecture

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software Engineering.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Internet

Computer networks

Software measurement

Computer Science.

Computer Communication Networks.

Computers and Society.

Software Engineering.

Telecommunication systems

Logics and Meanings of Programs.

Computer systems

Computer software

Information Systems Applications (incl. Internet)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Communications Engineering, Networks.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Computer Science.

Computer Communication Networks.

Self-organizing systems

Software Engineering.

Mathematical Logic and Formal Languages.

Compilers (Computer programs)

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Electronic data processing

Computational grids (Computer systems)

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

Special Purpose and Application-Based Systems.

Computer Appl. in Administrative Data Processing.

Cloud computing

Computer Science.

System Performance and Evaluation.

Software Engineering.

Requirements engineering

Computer software

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Computers and Society.

Artificial intelligence

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logic Computer programming

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer logic

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Computer software

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

System design

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

System analysis

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Computer software

Operating Systems.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Fault-tolerant computing

Computer Science.

System analysis

Software Engineering.

Software Engineering/Programming and Operating Systems.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer programming

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Multiagent systems

Theory of Computation.

Software Engineering.

Petri nets

Algorithm Analysis and Problem Complexity.

Models and Principles.

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Models and Principles.

Computer Science.

Computer Communication Networks.

Intelligent agents (Computer software)

Software engineering

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Management information systems

Organization/Planning.

Business Information Systems.

Computer Science.

Computer network architectures

Software Engineering.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Information Storage and Retrieval.

Database management

Computer Communication Networks.

Information technology

Computer networks

Computer Science.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Wireless communication systems

Computer networks

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

System Performance and Evaluation.

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Computer Appl. in Administrative Data Processing.

Management information systems.

Models and Principles.

Organization/Planning.

Agile software development.

Business Information Systems.

Economics/Management Science.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Information Systems Applications (incl. Internet)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Programming languages (Electronic computers)

Programming Languages, Compilers, Interpreters.

User Interfaces and Human Computer Interaction.

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Computer security

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Computer network architectures

Software Engineering.

Logic, Symbolic and mathematical.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Software engineering.

User Interfaces and Human Computer Interaction.

Social media.

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Logic programming.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Computer Science.

Computer Communication Networks.

Artificial intelligence.

Computer logic.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Software engineering.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer programming.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computer logic

Programming Languages, Compilers, Interpreters.

Computer science

Computer Science.

Computer Communication Networks.

Model-integrated computing

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Special Purpose and Application-Based Systems.

Parallel programming (Computer science)

Parallel processing (Electronic computers)

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Special Purpose and Application-Based Systems.

Parallel programming (Computer science)

Parallel processing (Electronic computers)

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Web services

Software Engineering.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Formal methods (Computer science)

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Software engineering.

Formal methods (Computer science)

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Ubiquitous computing

Computer Science.

Computer Communication Networks.

Mobile computing

Software Engineering.

Telecommunication systems

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer networks

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Software engineering

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

User Interfaces and Human Computer Interaction.

Information Storage and Retrieval.

Application software

Computer Science.

Computer Systems Organization and Communication Networks.

Mobile computing

Software Engineering.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Wireless communication systems

Performance and Reliability.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Mobile computing

Software Engineering.

Systems engineering

Computer systems

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Computer Appl. in Administrative Data Processing.

Computer-aided software engineering

Business Information Systems.

Information technology

Economics/Management Science.

Software engineering

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Management information systems

Computer Appl. in Administrative Data Processing.

Business Information Systems.

Economics/Management Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Computers and Society.

Broadband communication systems

Software Engineering.

Mobile communication systems

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Multimedia communications

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Computer Communication Networks.

Software Engineering.

Computer Science, general.

Software Engineering/Programming and Operating Systems.

Business

Computer Science.

Software engineering

Software Engineering.

Computer software

Management of Computing and Information Systems.

Software engineering.

Computer Science.

Project Management.

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Computer Appl. in Administrative Data Processing.

Management information systems.

Business Information Systems.

Workflow

Computer Science.

e-Commerce/e-business.

Software Engineering.

Enterprise application integration (Computer systems)

Systems engineering

Information Systems Applications (incl. Internet)

Management information systems

User Interfaces and Human Computer Interaction.

Business Information Systems.

Economics/Management Science.

Software engineering

Software Engineering.

Agile software development

Management of Computing and Information Systems.

eXtreme programming

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Game theory

Computer networks

Computer Science.

Computer Communication Networks.

Software Engineering.

Mobile communication systems

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Software Engineering.

Mobile communication systems

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

User Interfaces and Human Computer Interaction.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Mobile computing

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Ubiquitous computing

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Mobile computing

Swarm intelligence.

Software Engineering.

Computational intelligence.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Systems engineering

Logics and Meanings of Programs.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Computer science

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

System design

User Interfaces and Human Computer Interaction.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

System analysis

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data Encryption.

Computer networks

Cloud computing

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Wireless communication systems

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software Engineering.

Mathematical Logic and Formal Languages.

Model-driven software architecture

Logics and Meanings of Programs.

Computer software

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Model-driven software architecture

Logics and Meanings of Programs.

Programming Techniques.

Object-oriented methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Object-oriented programming (Computer science)

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems and Communication Service.

Wireless Internet

Information Systems Applications (incl. Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Operating Systems.

Programming Techniques.

Computer security

Computer Science.

Computer networks

Software Engineering.

Computational grids (Computer systems)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Operating Systems.

Programming Techniques.

Ubiquitous computing

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Computer simulation

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Stochastic processes

Software Engineering.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Information Systems Applications (incl. Internet)

Software engineering.

Computer science

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Computer software

Management of Computing and Information Systems.

Computer Appl. in Administrative Data Processing.

Business Information Systems.

Software measurement

Computer Science.

Computers and Society.

Simulation and Modeling.

Software engineering

Multiprocessors

Software Engineering.

Operating Systems.

Programming Techniques.

Special Purpose and Application-Based Systems.

Programming Languages, Compilers, Interpreters.

Parallel programming (Computer science)

Computer Science.

System Performance and Evaluation.

Software engineering

Software Engineering.

Artificial Intelligence (incl. Robotics)

Computational Intelligence.

Engineering.

Software Engineering.

Computer Science, general.

Programming Techniques.

Computer Science.

Code generators.

Computer programming.

Software Engineering.

Computer software

Mathematical Applications in Computer Science.

Computers

Computer Science.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Quality Control, Reliability, Safety and Risk.

Software Engineering.

Special Purpose and Application-Based Systems.

Automotive Engineering.

Health Informatics.

Embedded computer systems

Aerospace Technology and Astronautics.

Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Automotive Engineering.

Computer simulation

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Green technology

Detectors

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Data recovery (Computer science)

Business

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Theory of Computation.

Internet searching.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Functional programming languages

Computer Science.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Computer Science.

Computer Communication Networks.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

User Interfaces and Human Computer Interaction.

Ambient intelligence

Computer Science.

Computer Communication Networks.

Computers and Society.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Digital communications

Multiple access protocols (Computer network protocols)

Data Encryption.

Computer Science.

Computer Communication Networks.

Web services

Software engineering

Software Engineering.

Systems engineering

Information Systems and Communication Service.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Information storage and retrieval systems

Data Mining and Knowledge Discovery.

Computer Science.

Software engineering

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Middleware

Software Engineering.

Petri nets

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Computer software

Artificial Intelligence (incl. Robotics)

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer science

Computer Science.

Symbolic and Algebraic Manipulation.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Ubiquitous computing

User Interfaces and Human Computer Interaction.

Ambient intelligence

Computer Science.

Computer Communication Networks.

Computers and Society.

Software Engineering.

Business planning

Management of Computing and Information Systems.

Information modeling.

Management information systems.

Business Information Systems.

Information Systems Applications (incl.Internet)

Computer Science.

Knowledge management.

UML (Computer science)

Software Engineering.

Computer software

Management of Computing and Information Systems.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Data Structures.

Algorithm Analysis and Problem Complexity.

Computer Science.

Discrete Mathematics in Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Information Systems and Communication Service.

Automatic theorem proving

Special Purpose and Application-Based Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Performance and Reliability.

Computer Science.

Computer Appl. in Life Sciences.

Software Engineering.

Molecular biology

Database Management.

Computation by Abstract Devices.

Proteomics

Computer Science.

Simulation and Modeling.

Bioinformatics

Computational Biology/Bioinformatics.

Software Engineering.

Computer simulation.

Programming Techniques.

Database Management.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Information Systems Applications (incl.Internet)

Computer Science.

Software engineering

User interfaces (Computer systems)

Software Engineering.

Logics and Meanings of Programs.

User Interfaces and Human Computer Interaction.

Multimedia Information Systems.

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Human-computer interaction

Task analysis

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Models and Principles.

Computer Science.

Software engineering

Software Engineering.

Computation by Abstract Devices.

Control Structures and Microprogramming.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Computer System Implementation.

Software Engineering.

Communications Engineering, Networks.

Information Storage and Retrieval.

Information Systems Applications (incl.Internet)

Information networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Software Engineering.

Intranets (Computer networks)

Database Management.

User Interfaces and Human Computer Interaction.

Internet

Data Mining and Knowledge Discovery.

Information Systems Applications (incl.Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Software architecture

Software Engineering/Programming and Operating Systems.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Data Mining and Knowledge Discovery.

Computer Science.

Software Engineering.

Information Systems and Communication Service.

Logics and Meanings of Programs.

Document markup languages

Semantic Web

Management information systems

Decision making

Data Mining and Knowledge Discovery.

Models and Principles.

Computer Science.

Metadata

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Performance and Reliability.

Computer Science.

System Performance and Evaluation.

Software engineering

Software Engineering.

Information Storage and Retrieval.

Service-oriented architecture (Computer science)

Information Systems Applications (incl.Internet)

Business Information Systems.

Computer Science.

Computer Communication Networks.

Computers and Society.

Software engineering

Software Engineering.

Management of Computing and Information Systems.

Computer Appl. in Administrative Data Processing.

Software measurement

Computer Science.

Computers and Education.

Software engineering

Artificial intelligence

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Logic Design.

Computer Science.

Software Engineering.

Information Systems and Communication Service.

Semantic Web

Logic programming

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Rule-based programming

Multimedia Information Systems.

Information Systems Applications (incl.Internet)

Computer Science.

Software Engineering.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Wireless communication systems

System design

Information Systems Applications (incl.Internet)

Multiplexing

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

User Interfaces and Human Computer Interaction.

Data Encryption.

Information technology

Computer Science.

Computer Systems Organization and Communication Networks.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Wireless communication systems

Performance and Reliability.

Computer networks

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Wireless communication systems

Information Storage and Retrieval.

Computer networks

Computer Science.

Computer Communication Networks.

Software Engineering.

Computational grids (Computer systems)

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Application software

Computer Science.

Computer Communication Networks.

Computer graphics

Software Engineering.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Ubiquitous computing

Information Storage and Retrieval.

Databases

Computer science

Educational technology

Computer Science.

Computer Communication Networks.

Product life cycle

Software Engineering.

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Management information systems

Knowledge management

Computer Science.

Computers and Society.

Computer Applications.

User interfaces (Computer systems)

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

User Interfaces and Human Computer Interaction.

Information Storage and Retrieval.

User-centered system design

Computer Science.

Computer Communication Networks.

Human-computer interaction

Software Engineering.

Multimedia systems

Multimedia communications Congresses.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Multimedia Information Systems.

Computer Science.

Computer Communication Networks.

Software Engineering.

Electronic data processing

Computational grids (Computer systems)

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

Special Purpose and Application-Based Systems.

Computer Appl. in Administrative Data Processing.

Cloud computing

Computer Science.

System Performance and Evaluation.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Internet

Electronic commerce

Computer networks

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Assistive computer technology

Information Storage and Retrieval.

User Interfaces and Human Computer Interaction.

Self-help devices for people with disabilities

Ambient intelligence

Computer Science.

Computer Communication Networks.

Artificial intelligence

Mathematical Logic and Formal Languages.

Software Engineering.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer Science.

Software Engineering.

Aspect-oriented programming.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Web applications

Information Systems and Communication Service.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Information Storage and Retrieval.

Social media

World Wide Web

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming languages (Electronic computers)

Computer programming

Programming Languages, Compilers, Interpreters.

Computer Science.

Systems and Data Security.

Software Engineering.

Pattern Recognition.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Evolutionary computation

Swarm intelligence

Computer Science.

Computer Communication Networks.

Evolutionary programming (Computer science)

Software Engineering.

Electronic data processing

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer networks

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Communication Networks.

Computers and Society.

Intelligent agents (Computer software)

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Technology Management.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Economics/Management Science, general.

Information technology

Computer Science.

Software Engineering.

Distributed databases

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Computer Appl. in Administrative Data Processing.

Information storage and retrieval systems

Internet

Semantic networks (Information theory)

Web databases

Computer Science.

Systems and Data Security.

Software Engineering.

Distributed databases

Information Storage and Retrieval.

Information Systems Applications (incl. Internet).

Computer Appl. in Administrative Data Processing.

Information storage and retrieval systems

Internet

Semantic networks (Information theory)

Web databases

Computer Science.

Artificial Intelligence (incl. Robotics).

Systems and Data Security.

Software Engineering.

Input/Output and Data Communications.

Complexity.

Agile software development.

Information Systems Applications (incl.Internet)

Computer Science.

Computer Communication Networks.

Software Engineering.

Operations research.

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

Computer software

Performance and Reliability.

Engineering Economics, Organization, Logistics, Marketing.

Engineering.

Quality Control, Reliability, Safety and Risk.

Software Engineering.

FORTRAN 2003 (Computer program language)

Programming Languages, Compilers, Interpreters.

Computational Intelligence.

Numeric Computing.

Computer Science.

Theoretical, Mathematical and Computational Physics.

Computer Applications in Chemistry.

Software Engineering.

Project management.

Computer software

Management of Computing and Information Systems.

Computer Science.

Project Management.

Software Engineering.

Mathematical Logic and Formal Languages.

Computer software

Programming Techniques.

Management of Computing and Information Systems.

Computer Science.

System Performance and Evaluation.

Software Engineering.

Software architecture

Business

Information Systems Applications (incl. Internet)

Management information systems

Computer Appl. in Administrative Data Processing.

Business Information Systems.

Economics/Management Science.

Software Engineering.

Computer software

Software engineering.

Computer software industry.

Computer Science.

Web services

Software Engineering.

Computer Science, general.

Electronic data processing

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Computer Appl. in Administrative Data Processing.

Service-oriented architecture (Computer science)

Business Information Systems.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Functional programming (Computer science)

Computer Science.

Software Engineering.

Theory of Computation.

Logics and Meanings of Programs.

Computer software

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Internet

Data Encryption.

Computer networks

Computer Science.

Systems and Data Security.

Artificial intelligence

Software Engineering.

Artificial Intelligence (incl. Robotics)

Computer Science.

Simulation and Modeling.

Intelligent agents (Computer software)

Computer Applications.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Computer simulation

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Stochastic processes

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Electronic data processing

Computer Science.

Computer network protocols

Software Engineering.

Mathematical Logic and Formal Languages.

Electronic data processing

Logics and Meanings of Programs.

Computation by Abstract Devices.

Formal methods (Computer science)

Computer Science.

Information resources management

Software Engineering.

Management information systems

Computer Appl. in Administrative Data Processing.

Information technology

Computer Science.

Computers and Society.

Software Engineering.

Computing Methodologies.

Artificial Intelligence (incl. Robotics)

Software engineering.

Models and Principles.

Requirements engineering.

Space vehicles

Computer Science.

Software engineering

Software Engineering.

Information Systems and Communication Service.

Artificial Intelligence (incl. Robotics)

Management of Computing and Information Systems.

Business Information Systems.

Computer Science.

Software Engineering.

Computer software

Management of Computing and Information Systems.

Agile software development.

Computer Science.

Project Management.

Management/Business for Professionals.

Mashups (World Wide Web)

Application program interfaces (Computer software)

Software Engineering.

Information Systems Applications (incl. Internet)

Software engineering.

Computer Science.

Software Engineering.

Software architecture

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Management information systems

Computer Appl. in Administrative Data Processing.

Business Information Systems.

Workflow

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Formal methods (Computer science)

System design

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Digital communications

Multiple access protocols (Computer network protocols)

Software engineering.

Computer science.

Information Systems.

Computer Science.

Computer Communication Networks.

Computers and Society.

Computer software.

Software Engineering.

Information Systems and Communication Service.

Multimedia systems

Mobile communication systems

Ambient intelligence

Computer Science.

Computers and Society.

Mobile computing

e-Commerce/e-business.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Formal methods (Computer science)

Computer simulation

Computer Science.

Temporal automata

System analysis

Computer Applications.

Software Engineering.

Logics and Meanings of Programs.

Computer systems

Computer security

Computer Science.

Computer Systems Organization and Communication Networks.

Systems and Data Security.

Software Engineering.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Database Management.

Computer architecture

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Software Engineering.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Database Management.

Computer architecture

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Software Engineering.

Programming Techniques.

Programming languages (Electronic computers)

Software engineering.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer multitasking

Parallel processing (Electronic computers)

Computer Science.

Probability and Statistics in Computer Science.

Software Engineering.

Management of Computing and Information Systems.

Database Management.

Information Storage and Retrieval.

Service-oriented architecture (Computer science)

Business Information Systems.

Cloud computing

Computer Science.

Systems and Data Security.

Software engineering

Software Engineering.

Project management.

Management of Computing and Information Systems.

Computer Science.

Project Management.

High performance computing.

Software Engineering.

Processor Architectures.

Special Purpose and Application-Based Systems.

Computational Science and Engineering.

Circuits and Systems.

Computer Science.

Software Engineering.

Agile software development

Management of Computing and Information Systems.

eXtreme programming

Computer Science.

Software Engineering.

Systems engineering

Information Systems Applications (incl. Internet)

Computer Appl. in Administrative Data Processing.

Computer-aided software engineering

Business Information Systems.

Computer Science.

Systems and Data Security.

Software engineering

Software Engineering.

Computer software

Management of Computing and Information Systems.

Computer software industry

Computer Science.

The Computer Industry.

Entrepreneurship.

Software Engineering.

Computer software

Management of Computing and Information Systems.

Software engineering.

Computer Science.

Software engineering

Software Engineering.

Artificial Intelligence (incl. Robotics)

Special Purpose and Application-Based Systems.

Computer Science.

Computer Communication Networks.

Intelligent agents (Computer software)

Software Engineering.

Business

Information Systems Applications (incl. Internet)

Management information systems

Information Storage and Retrieval.

Computer Appl. in Administrative Data Processing.

Business Information Systems.

Economics/Management Science.

Software engineering

Software Engineering.

Computer software

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Business Information Systems.

Computer Science.

Communications Engineering, Networks.

Software Engineering.

Mobile communication systems

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Wireless communication systems

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Logics and Meanings of Programs.

Petri nets

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Computer software

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Internet

Computer Science.

Software Engineering.

Systems engineering

Information Systems Applications (incl. Internet)

Database Management.

Computer Appl. in Administrative Data Processing.

Computer-aided software engineering

Business Information Systems.

Computer Science.

Web services

Software Engineering.

Logics and Meanings of Programs.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

User Interfaces and Human Computer Interaction.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Logic, Symbolic and mathematical

Computer Science.

Systems and Data Security.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Operating Systems.

Algorithm Analysis and Problem Complexity.

Computer scheduling

Computer capacity

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software Engineering.

Ubiquitous computing.

Information Systems Applications (incl. Internet)

User Interfaces and Human Computer Interaction.

Systems and Data Security.

Computers and Society.

Computer Science.

System design.

Software Engineering.

Enterprise application integration (Computer systems)

Systems engineering

Information Systems Applications (incl. Internet)

Management information systems

User Interfaces and Human Computer Interaction.

Economics/Management Science, general.

Computer Science.

Web services

Software Engineering.

Information Systems Applications (incl. Internet)

Management information systems

Electronic commerce

Business Information Systems.

Information technology

Computer Science.

e-Commerce/e-business.

Software Engineering.

Management of Computing and Information Systems.

Risk assessment

Computer security

Computer Science.

Systems and Data Security.

Software Engineering.

Computer Science, general.

Files.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computer logic

Logic Design.

Computer science

Reversible computing

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Mathematics of Computing.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Computer logic

Numeric Computing.

Computer Science.

Software Engineering.

Model-driven software architecture

Logics and Meanings of Programs.

Computer software

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Programming Techniques.

Management of Computing and Information Systems.

Computer Science.

Simulation and Modeling.

Model-driven software architecture.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Simulation and Modeling.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Data Structures.

Algorithm Analysis and Problem Complexity.

Computer science

Graph theory

Computer Science.

Discrete Mathematics in Computer Science.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer-aided software engineering

Computer Science.

Computer Communication Networks.

Artificial intelligence

Mathematical Logic and Formal Languages.

Software Engineering.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Programming Languages, Compilers, Interpreters.

Computational intelligence

Computer Science.

Multiagent systems

Software engineering

Software Engineering.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Programming Languages, Compilers, Interpreters.

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Computer systems

Computation by Abstract Devices.

Programming Languages, Compilers, Interpreters.

Computer programs

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Object-oriented programming (Computer science)

Artificial intelligence

Software Engineering.

Artificial Intelligence (incl. Robotics)

User Interfaces and Human Computer Interaction.

Roboics

Soccer

Computer Science.

Robotics and Automation.

Software Engineering.

Engineering design.

Management of Computing and Information Systems.

Business Information Systems.

Economics/Management Science.

Innovation/Technology Management.

Design

Software Engineering.

Project management.

Management of Computing and Information Systems.

Agile software development.

Engineering.

Job Careers in Science and Engineering.

Innovation/Technology Management.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Computational Intelligence.

Engineering.

Multiagent systems.

System design.

Transaction systems (Computer systems)

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Parallel programming (Computer science)

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Software engineering

Logics and Meanings of Programs.

Computation by Abstract Devices.

Computer software

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Business Strategy/Leadership.

Software Engineering.

Organizational change.

Management.

Computing Milieux.

Organization/Planning.

Corporate culture.

Economics/Management Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Software engineering.

Requirements engineering.

Computer Science.

Model-driven software architecture.

Software Engineering.

Computer software

Management of Computing and Information Systems.

Computer Science.

Project Management.

Software Engineering.

Services.

Management

Business

Information Systems Applications (incl. Internet)

Computer Appl. in Administrative Data Processing.

Computer science

IT in Business.

Economics/Management Science.

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Smalltalk (Computer program language)

Computer Science.

Object-oriented programming (Computer science)

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Computer programming

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Management of Computing and Information Systems.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Wireless sensor networks

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Special Purpose and Application-Based Systems.

Context-aware computing

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Software engineering

Software Engineering.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Computer science

Data Encryption.

Computer Science.

Discrete Mathematics in Computer Science.

Computer security.

Software Engineering.

Computer Engineering.

Software Engineering/Programming and Operating Systems.

Python (Computer program language)

Programming Languages, Compilers, Interpreters.

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Reengineering (Management)

Database Management.

Database management.

Management information systems.

Software reengineering.

Computer Science.

UML (Computer science)

Software Engineering.

Management of Computing and Information Systems.

Object-oriented methods (Computer science)

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Service-oriented architecture (Computer science)

IT in Business.

Cloud computing

Computer Science.

Software Engineering.

Sensor networks

Information Systems Applications (incl. Internet)

Database Management.

Artificial Intelligence (incl. Robotics)

Ubiquitous computing

Cloud computing

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Environmental sciences

Workflow management systems

Software Engineering.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

IT in Business.

Workflow

Cloud computing

Computer Science.

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Supercomputers

Ad hoc networks (Computer networks)

Communications Engineering, Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Computer software

Computational Intelligence.

Engineering.

Artificial Intelligence (incl. Robotics).

Sustainable engineering.

Software Engineering.

Sustainable design.

Industrial design

Management of Computing and Information Systems.

Media Management.

Business Information Systems.

Economics/Management Science.

Innovation/Technology Management.

Media Design.

Mathematical Logic and Formal Languages.

Software Engineering.

Z (Computer program language)

Computer Science.

Object-oriented programming (Computer science)

Communications Engineering, Networks.

Software Engineering.

Multimedia systems.

Software engineering.

City planning

Engineering.

Media Design.

High performance computing.

Software Engineering.

Database Management.

Information Systems Applications (incl. Internet)

Computational Intelligence.

Cloud computing.

Engineering.

Software Engineering.

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

Computer software

Statistics.

Statistics and Computing/Statistics Programs.

Software Engineering.

Logics and Meanings of Programs.

Programming Techniques.

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Computer software

Management of Computing and Information Systems.

Computer Science.

Project Management.

Software Engineering.

Ruby (Computer program language)

Information Systems Applications (incl. Internet)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Management

Business

Information Systems Applications (incl. Internet)

Computer Appl. in Administrative Data Processing.

Computer science

Business Information Systems.

Economics/Management Science.

Software Engineering.

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Software engineering.

Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Data Structures.

Information Storage and Retrieval.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Wireless sensor networks

Software Engineering.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Special Purpose and Application-Based Systems.

Context-aware computing

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Software Engineering.

Simulation games in education

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Game theory

Simulation methods

Computer Science.

Computer Communication Networks.

Simulation games

Software Engineering.

Electronic data processing

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Computer Science, general.

Medical informatics

Information Systems Applications (incl. Internet)

Database Management.

Health Informatics.

Computer Science.

Simulation and Modeling.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Compilers (Computer programs)

Logics and Meanings of Programs.

Computer software

Programming Techniques.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software Engineering.

Electronics and Microelectronics, Instrumentation.

Circuits and Systems.

Energy Efficiency (incl. Buildings)

Embedded computer systems

Engineering.

Software Engineering.

Information Systems and Communication Service.

Computer software

Business

Information Systems Applications (incl. Internet)

User Interfaces and Human Computer Interaction.

Business Information Systems.

Computer Science.

Systems and Data Security.

Software engineering

Software Engineering.

Educational Policy and Politics.

Business Information Systems.

Computer Science.

e-Commerce/e-business.

Software Engineering.

Operating Systems.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

Computer architecture

Computer Science.

Computer Communication Networks.

Computer System Implementation.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Formal methods (Computer science)

Object-oriented methods (Computer science)

Software engineering.

Logic design.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Application program interfaces (Computer software)

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computer programming

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Telecommunication systems

Logics and Meanings of Programs.

Computer systems

Computer software

Information Systems Applications (incl. Internet)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Communications Engineering, Networks.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Self-organizing systems

Software Engineering.

Artificial Intelligence (incl. Robotics)

Information technology

Computer Science.

Simulation and Modeling.

Computers and Society.

Education

Computers and Education.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Web site development

Information storage and retrieval systems

Business Information Systems.

Computer Science.

Computer Communication Networks.

Software Engineering.

Management of Computing and Information Systems.

Agile software development.

Risk management.

Computer Science.

Project Management.

Quality Control, Reliability, Safety and Risk.

Software Engineering.

Software architecture

Artificial Intelligence (incl. Robotics)

Computer Science.

Intelligent agents (Computer software)

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Software Engineering.