Software Engineering.

Earth system modelling.[electronic resource] /Volume 3,Coupling software and strategies by: (書目-語言資料,印刷品)

Software engineering research, management and applications 2011[electronic resource] / by: (書目-語言資料,印刷品)

Principles and practice of multi-agent systems[electronic resource] :13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Proceedings of the International Conference on IT Convergence and Security 2011[electronic resource] / by: (書目-語言資料,印刷品)

Computer science and convergence[electronic resource] :CSA 2011 & WCC 2011 proceedings / by: (書目-語言資料,印刷品)

Design thinking research[electronic resource] :studying co-creation in practice / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Theory of security and applications[electronic resource] :Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Resource discovery[electronic resource] :third International Workshop, RED 2010, Paris, France, November 5, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (書目-語言資料,印刷品)

Foundations and practice of security[electronic resource] :4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (書目-語言資料,印刷品)

Algebraic and numeric biology[electronic resource] :4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Software and systems traceability[electronic resource] / by: (書目-語言資料,印刷品)

Achieving systems safety[electronic resource] :proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / by: (書目-語言資料,印刷品)

Software quality[electronic resource] : process automation in software development : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Web information systems and technologies[electronic resource] :7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Business process management workshops[electronic resource] :BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part I / by: (書目-語言資料,印刷品)

Business process management workshops[electronic resource] :BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part II / by: (書目-語言資料,印刷品)

Software engineering and knowledge engineering[electronic resource] :theory and practice.Volume 1 / by: (書目-語言資料,印刷品)

From the web to the grid and beyond[electronic resource] :computing paradigms driven by high-energy physics / by: (書目-語言資料,印刷品)

Improving software testing[electronic resource] :technical and organizational developments / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages[electronic resource] :14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Building a national distributed e-Infrastructure - PL-Grid[electronic resource] :scientific and technical achievements / by: (書目-語言資料,印刷品)

Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2012[electronic resource] :25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / by: (書目-語言資料,印刷品)

Multi-agent-based simulation XII[electronic resource] :international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (書目-語言資料,印刷品)

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (書目-語言資料,印刷品)

Foundational Java[electronic resource] :key elements and practical programming / by: (書目-語言資料,印刷品)

Guide to scientific computing in C++[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Distributed, embedded and real-time Java systems[electronic resource] / by: (書目-語言資料,印刷品)

Enterprise Interoperability V[electronic resource] :shaping enterprise interoperability in the future internet / by: (書目-語言資料,印刷品)

Data engineering and management[electronic resource] :second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (書目-語言資料,印刷品)

Passive and active measurement[electronic resource] :13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Self-organizing systems[electronic resource] :6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Economics of grids, clouds, systems, and services[electronic resource] :8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Requirements engineering: Foundation for software quality[electronic resource] :18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency V[electronic resource] / by: (書目-語言資料,印刷品)

Declarative agent languages and technologies IX[electronic resource] :9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (書目-語言資料,印刷品)

S-BPM ONE - Scientific research[electronic resource] :4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Information systems, technology and management[electronic resource] :6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Agile service development[electronic resource] :combining adaptive methods and flexible solutions / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Advanced computing, networking and security[electronic resource] :International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Games, actions and social software[electronic resource] :multidisciplinary aspects / by: (書目-語言資料,印刷品)

Logic programs, norms and action[electronic resource] :essays in honor of Marek J. Sergot on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-語言資料,印刷品)

Models in software engineering[electronic resource] :workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Web services and formal methods[electronic resource] :8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

The correctness-by-construction approach to programming[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Mobile computing, applications, and services[electronic resource] :second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Mobile lightweight wireless systems[electronic resource] :third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

IS Olympics[electronic resource] :Information systems in a diverse world : CAiSE Forum 2011, London, UK, June 20-24, 2011 : selected extended papers / by: (書目-語言資料,印刷品)

Business modeling and software design[electronic resource] :first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Broadband communications, networks, and systems[electronic resource] :7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Mobile multimedia communications[electronic resource] :7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Using Microsoft Dynamics AX 2012[electronic resource] / by: (書目-語言資料,印刷品)

Software process definition and management[electronic resource] / by: (書目-語言資料,印刷品)

Business process management[electronic resource] :concepts, languages, architectures / by: (書目-語言資料,印刷品)

Enterprise information systems[electronic resource] :13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

Agile processes in software engineering and extreme programming[electronic resource] :13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings / by: (書目-語言資料,印刷品)

Game theory for networks[electronic resource] : by: (書目-語言資料,印刷品)

Mobile networks and management[electronic resource] :third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

Mobile wireless middleware, operating systems, and applications[electronic resource] :4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Transactions on compuational collective intelligence VI[electronic resource] / by: (書目-語言資料,印刷品)

Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part I / by: (書目-語言資料,印刷品)

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part II / by: (書目-語言資料,印刷品)

Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Theory and practice of model transformations[electronic resource] :5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / by: (書目-語言資料,印刷品)

Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Wired/Wireless internet communication[electronic resource] :10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Analytical and stochastic modeling techniques and applications[electronic resource] :19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Product-focused software process improvement[electronic resource] :13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Multicore software engineering, performance, and tools[electronic resource] :International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software engineering research, management and applications 2012[electronic resource] / by: (書目-語言資料,印刷品)

Code generation with templates[electronic resource] / by: (書目-語言資料,印刷品)

Resilience assessment and evaluation of computing systems[electronic resource] / by: (書目-語言資料,印刷品)

Model-based engineering of embedded systems[electronic resource] :the SPES 2020 methodology / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Green and smart technology with sensor applications[electronic resource] :international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Search computing[electronic resource] :broadening web search / by: (書目-語言資料,印刷品)

Implementation and application of functional languages[electronic resource] :23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (書目-語言資料,印刷品)

Ambient intelligence[electronic resource] :third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Multiple access communications[electronic resource] :5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2012[electronic resource] :13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings / by: (書目-語言資料,印刷品)

Middleware 2012[electronic resource] :ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency VI[electronic resource] / by: (書目-語言資料,印刷品)

Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Ubiquitous computing and ambient intelligence[electronic resource] :6th international conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Active knowledge modeling of enterprises[electronic resource] / by: (書目-語言資料,印刷品)

Model-driven testing[electronic resource] :using the UML testing profile / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (書目-語言資料,印刷品)

Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology[electronic resource] :6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (書目-語言資料,印刷品)

Conceptual modeling - ER 2008[electronic resource] :27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-語言資料,印刷品)

Generative and transformational techniques in software engineering II[electronic resource] :international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (書目-語言資料,印刷品)

Information networking[electronic resource] :towards ubiquitous networking and services : International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Rule representation, interchange and reasoning on the web[electronic resource] :international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-語言資料,印刷品)

Service-oriented computing - ICSOC 2008[electronic resource] :6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / by: (書目-語言資料,印刷品)

Software process and product measurement[electronic resource] :international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings / by: (書目-語言資料,印刷品)

Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions / by: (書目-語言資料,印刷品)

Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: (書目-語言資料,印刷品)

Web reasoning and rule systems[electronic resource] :second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings / by: (書目-語言資料,印刷品)

Wireless algorithms, systems, and applications[electronic resource] :third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (書目-語言資料,印刷品)

Advances in information technology[electronic resource] :5th international conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Advances in multimedia information processing - PCM 2012[electronic resource] :13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012 : proceedings / by: (書目-語言資料,印刷品)

Economics of grids, clouds, systems, and services[electronic resource] :9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (書目-語言資料,印刷品)

Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (書目-語言資料,印刷品)

Ambient assisted living and home care[electronic resource] :4th international workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Artificial general intelligence[electronic resource] :5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development IX[electronic resource] / by: (書目-語言資料,印刷品)

Future generation information technology[electronic resource] :4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Swarm, evolutionary, and memetic computing[electronic resource] :third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / by: (書目-語言資料,印刷品)

Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (書目-語言資料,印刷品)

The China information technology handbook[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Agile software development[electronic resource] :best practices for large software development projects / by: (書目-語言資料,印刷品)

Software reliability assessment with OR applications[electronic resource] / by: (書目-語言資料,印刷品)

The Fortran 2003 handbook[electronic resource] :the complete syntax, features and procedures / by: (書目-語言資料,印刷品)

Software project effort estimation[electronic resource] :foundations and best practice guidelines for success / by: (書目-語言資料,印刷品)

Introduction to software quality[electronic resource] / by: (書目-語言資料,印刷品)

Business modeling and software design[electronic resource] :third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Systems and software quality[electronic resource] :the next step for industrialisation / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Engineering secure future internet services and systems[electronic resource] :current research / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Analytical and stochastic modeling techniques and applications[electronic resource] :21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014 : proceedings / by: (書目-語言資料,印刷品)

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Nordic contributions in IS research[electronic resource] :5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Autonomy requirements engineering for space missions[electronic resource] / by: (書目-語言資料,印刷品)

Knowledge-based software engineering[electronic resource] :11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014 : proceedings / by: (書目-語言資料,印刷品)

Agile kaizen[electronic resource] :managing continuous improvement far beyond retrospectives / by: (書目-語言資料,印刷品)

Mashups[electronic resource] :concepts, models and architectures / by: (書目-語言資料,印刷品)

Software architecture[electronic resource] :8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings / by: (書目-語言資料,印刷品)

Business process management[electronic resource] :12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / by: (書目-語言資料,印刷品)

Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings / by: (書目-語言資料,印刷品)

Mobile web information systems[electronic resource] :11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part II / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part I / by: (書目-語言資料,印刷品)

Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / by: (書目-語言資料,印刷品)

CONCUR 2014 - concurrency theory[electronic resource] :25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings / by: (書目-語言資料,印刷品)

Service-oriented and cloud computing[electronic resource] :Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 : proceedings / by: (書目-語言資料,印刷品)

Aligning organizations through measurement[electronic resource] :the GQM+ strategies approach / by: (書目-語言資料,印刷品)

High-performance computing on the Intel Xeon Phi[electronic resource] :how to fully exploit MIC architectures / by: (書目-語言資料,印刷品)

Agile processes in software engineering and extreme programming[electronic resource] :15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014 : proceedings / by: (書目-語言資料,印刷品)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014 : proceedings / by: (書目-語言資料,印刷品)

Software business[electronic resource] :towards continuous value delivery : 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014 : proceedings / by: (書目-語言資料,印刷品)

Situational method engineering[electronic resource] / by: (書目-語言資料,印刷品)

Agent-oriented software engineering[electronic resource] :reflections on architectures, methodologies, languages, and frameworks / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Systems, software and services process improvement[electronic resource] :21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings / by: (書目-語言資料,印刷品)

Ad-hoc, mobile, and wireless networks[electronic resource] :13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Application and theory of petri nets and concurrency[electronic resource] :35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings / by: (書目-語言資料,印刷品)

Future internet testing[electronic resource] :first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Advanced information systems engineering[electronic resource] :26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014 : proceedings / by: (書目-語言資料,印刷品)

Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2014[electronic resource] :19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing[electronic resource] :17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Socio-technical design of ubiquitous computing systems[electronic resource] / by: (書目-語言資料,印刷品)

Enterprise information systems[electronic resource] :15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Web information systems and technologies[electronic resource] :9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Models@run.time[electronic resource] :foundations, applications, and roadmaps / by: (書目-語言資料,印刷品)

Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / by: (書目-語言資料,印刷品)

Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V / by: (書目-語言資料,印刷品)

Modelling foundations and applications[electronic resource] :10th European Conference, ECMFA 2014, held as part of STAF 2014, York, UK, July 21-25, 2014 : proceedings / by: (書目-語言資料,印刷品)

Artificial general intelligence[electronic resource] :7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014 : proceedings / by: (書目-語言資料,印刷品)

Computational logic in multi-agent systems[electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings / by: (書目-語言資料,印刷品)

Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings / by: (書目-語言資料,印刷品)

RoboCup 2013[electronic resource] :Robot World Cup XVII / by: (書目-語言資料,印刷品)

Design thinking research[electronic resource] :building innovators / by: (書目-語言資料,印刷品)

Agile project management[electronic resource] :managing for success / by: (書目-語言資料,印刷品)

Regulated open multi-agent systems (ROMAS)[electronic resource] :a multi-agent approach for designing normative open systems / by: (書目-語言資料,印刷品)

Transactional memory[electronic resource] :foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (書目-語言資料,印刷品)

The scrum culture[electronic resource] :introducing agile methods in organizations / by: (書目-語言資料,印刷品)

From requirements to Java in a snap[electronic resource] :model-driven requirements engineering in practice / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Exploring services science[electronic resource] :6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015 : proceedings / by: (書目-語言資料,印刷品)

Programming Smalltalk - object-orientation from the beginning[electronic resource] :an introduction to the principles of programming / by: (書目-語言資料,印刷品)

Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods[electronic resource] :foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Wireless sensor networks[electronic resource] :12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Understanding network hacks[electronic resource] :attack and defense with Python / by: (書目-語言資料,印刷品)

Information systems reengineering, integration and normalization[electronic resource] / by: (書目-語言資料,印刷品)

UML @ classroom[electronic resource] :an introduction to object-oriented modeling / by: (書目-語言資料,印刷品)

Advances in service-oriented and cloud computing[electronic resource] :workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Process-aware systems[electronic resource] :first International Workshop, PAS 2014, Shanghai, China, October 17, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Software engineering research, management and applications[electronic resource] / by: (書目-語言資料,印刷品)

Design thinking research[electronic resource] :building innovation eco-systems / by: (書目-語言資料,印刷品)

Refinement in Z and Object-Z[electronic resource] :foundations and advanced applications / by: (書目-語言資料,印刷品)

Soft city culture and technology[electronic resource] :the Betaville Project / by: (書目-語言資料,印刷品)

High performance cloud auditing and applications[electronic resource] / by: (書目-語言資料,印刷品)

Software reliability modeling[electronic resource] :fundamentals and applications / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

JRuby Rails web application development[electronic resource] / by: (書目-語言資料,印刷品)

Exploring services science[electronic resource] :5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014 : proceedings / by: (書目-語言資料,印刷品)

Evolving software systems[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Wireless sensor networks[electronic resource] :11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / by: (書目-語言資料,印刷品)

Foundations of health information engineering and systems[electronic resource] :third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / by: (書目-語言資料,印刷品)

Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

The art of software thermal management for embedded systems[electronic resource] / by: (書目-語言資料,印刷品)

Future business software[electronic resource] :current trends in business software development / by: (書目-語言資料,印刷品)

Software engineering education for a global e-service economy[electronic resource] :state of the art, trends and developments / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2014[electronic resource] :27th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings / by: (書目-語言資料,印刷品)

Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Self-organizing systems[electronic resource] :7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Agile risk management[electronic resource] / by: (書目-語言資料,印刷品)

Handbook on agent-oriented design processes[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Requirements engineering[electronic resource] :foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Intelligent software methodologies, tools and techniques[electronic resource] :13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers / by: (書目-電子資源)

S-BPM in the wild[electronic resource] :practical value creation / by: (書目-電子資源)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015 : proceedings / by: (書目-電子資源)

Information systems engineering in complex environments[electronic resource] :CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014 : selected extended papers / by: (書目-電子資源)

Business modeling and software design[electronic resource] :4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014 : revised selected papers / by: (書目-電子資源)

Analytical and stochastic modelling techniques and applications[electronic resource] :22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015 : proceedings / by: (書目-電子資源)

RoboCup 2014[electronic resource] :Robot World Cup XVIII / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (書目-電子資源)

Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (書目-電子資源)

Software business[electronic resource] :6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software process improvement and capability determination[electronic resource] :15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Application and theory of petri nets and concurrency[electronic resource] :36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2015[electronic resource] :20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Ad-hoc, mobile, and wireless networks[electronic resource] :14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 - July 1, 2015 : proceedings / by: (書目-語言資料,印刷品)

Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings / by: (書目-語言資料,印刷品)

Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Engineering the web in the big data era[electronic resource] :15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Data science[electronic resource] :30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015 : proceedings / by: (書目-語言資料,印刷品)

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V / by: (書目-語言資料,印刷品)

Validation of evolving software[electronic resource] / by: (書目-語言資料,印刷品)

Nordic contributions in IS research[electronic resource] :6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings / by: (書目-語言資料,印刷品)

Enterprise information systems[electronic resource] :16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Swarm, evolutionary, and memetic computing[electronic resource] :5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Human-computer interaction[electronic resource] :interaction technologies : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings.Part II / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (書目-語言資料,印刷品)

Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Artificial general intelligence[electronic resource] :8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Behavior modeling[electronic resource] :foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / by: (書目-語言資料,印刷品)

Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings / by: (書目-語言資料,印刷品)

Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XVIII[electronic resource] / by: (書目-語言資料,印刷品)

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (書目-語言資料,印刷品)

Intelligent software methodologies, tools and techniques[electronic resource] :14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Stabilization, safety, and security of distributed systems[electronic resource] :17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015 : proceedings / by: (書目-語言資料,印刷品)

Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (書目-語言資料,印刷品)

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings / by: (書目-語言資料,印刷品)

Wired/wireless internet communications[electronic resource] :13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Human-computer interaction - INTERACT 2015[electronic resource] :15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.Part II / by: (書目-語言資料,印刷品)

Human-computer interaction - INTERACT 2015[electronic resource] :15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.Part I / by: (書目-語言資料,印刷品)

Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / by: (書目-語言資料,印刷品)

Mobile web and intelligent information systems[electronic resource] :12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies[electronic resource] :11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (書目-語言資料,印刷品)

Internet and distributed computing systems[electronic resource] :8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015 : proceedings / by: (書目-語言資料,印刷品)

Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Multiple access communications[electronic resource] :8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015 : proceedings / by: (書目-語言資料,印刷品)

Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Cryptographic hardware and embedded systems - CHES 2015[electronic resource] :17th International Workshop, Saint-Malo, France, September 13-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

The design of requirements modelling languages[electronic resource] :how to make formalisms for problem solving in requirements engineering / by: (書目-語言資料,印刷品)

Enhanced building information models[electronic resource] :using IoT services and integration patterns / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Systems, software and services process improvement[electronic resource] :22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings / by: (書目-語言資料,印刷品)

Information and software technologies[electronic resource] :21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

The practice of enterprise modeling[electronic resource] :8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings / by: (書目-語言資料,印刷品)

Real-Time C++[electronic resource] :efficient object-oriented and template microcontroller programming / by: (書目-語言資料,印刷品)

Requirements engineering in the big data era[electronic resource] :Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015 : proceedings / by: (書目-語言資料,印刷品)

Collaboration and technology[electronic resource] :21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings / by: (書目-語言資料,印刷品)

Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Software architecture[electronic resource] :9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Model and data engineering[electronic resource] :5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Algorithms, probability, networks, and games[electronic resource] :scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Service oriented and cloud computing[electronic resource] :4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security[electronic resource] :34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computational logistics[electronic resource] :6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (書目-語言資料,印刷品)

Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis[electronic resource] :13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / by: (書目-語言資料,印刷品)

Cyber physical systems[electronic resource] :design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (書目-語言資料,印刷品)

PRIMA 2015[electronic resource] :principles and practice of multi-agent systems : by: (書目-語言資料,印刷品)

Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Mobile, secure, and programmable networking[electronic resource] :first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers / by: (書目-語言資料,印刷品)

Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I / by: (書目-語言資料,印刷品)

Hardware and software[electronic resource] :verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part II / by: (書目-語言資料,印刷品)

Algorithms and architectures from parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part III / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings / by: (書目-語言資料,印刷品)

Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency X[electronic resource] / by: (書目-語言資料,印刷品)

Distributed computing[electronic resource] :29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings / by: (書目-語言資料,印刷品)

Exploring the Raspberry Pi 2 with C++[electronic resource] / by: (書目-語言資料,印刷品)

Model-driven engineering and software development[electronic resource] :second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering[electronic resource] :9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Languages, applications and technologies[electronic resource] :4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (書目-語言資料,印刷品)

Security standardisation research[electronic resource] :second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

Information security[electronic resource] :16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings / by: (書目-語言資料,印刷品)

Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XIX[electronic resource] / by: (書目-語言資料,印刷品)

Beginning django CMS[electronic resource] / by: (書目-語言資料,印刷品)

Make an e-commerce site in a weekend[electronic resource] :using PHP / by: (書目-語言資料,印刷品)

Selenium WebDriver recipes in C#[electronic resource] / by: (書目-語言資料,印刷品)

Broken Agile[electronic resource] :stories from the trenches / by: (書目-語言資料,印刷品)

JavaScript object programming[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Model-driven engineering and software development[electronic resource] :third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XX[electronic resource] / by: (書目-語言資料,印刷品)

Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / by: (書目-語言資料,印刷品)

Cloud computing and big data[electronic resource] :second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Models of strategic reasoning[electronic resource] :logics, games, and communities / by: (書目-語言資料,印刷品)

Networked systems[electronic resource] :third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Enterprise information systems[electronic resource] :17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

RoboCup 2015[electronic resource] :Robot World Cup XIX / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering[electronic resource] :10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods: foundations and applications[electronic resource] :18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / by: (書目-語言資料,印刷品)

Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (書目-語言資料,印刷品)

Verified software[electronic resource] :theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Requirements engineering[electronic resource] :foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2016[electronic resource] :29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings / by: (書目-語言資料,印刷品)

Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Multi-agent based simulation XVI[electronic resource] :International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

OSS reliability measurement and assessment[electronic resource] / by: (書目-語言資料,印刷品)

Tangible interactive systems[electronic resource] :grasping the real world with computers / by: (書目-語言資料,印刷品)

Hagenberg business process modelling method[electronic resource] / by: (書目-語言資料,印刷品)

Advances in service-oriented and cloud computing[electronic resource] :workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Process mining[electronic resource] :data science in action / by: (書目-語言資料,印刷品)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / by: (書目-語言資料,印刷品)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / by: (書目-語言資料,印刷品)

Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Transactions on computational science XXVII[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Computational sustainability[electronic resource] / by: (書目-語言資料,印刷品)

Modelling and implementation of complex systems[electronic resource] :proceedings of the 4th International Symposium, MISC 2016, May 7-8, 2016, Constantine, Algeria / by: (書目-語言資料,印刷品)

Devops on the Microsoft stack[electronic resource] / by: (書目-語言資料,印刷品)

Jumpstart Tableau[electronic resource] :a step-by-step guide to better data visualization / by: (書目-語言資料,印刷品)

Software engineering education going agile[electronic resource] :11th China-Europe International Symposium on Software Engineering Education (CEISEE 2015) / by: (書目-語言資料,印刷品)

Exploring services science[electronic resource] :7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016 : proceedings / by: (書目-語言資料,印刷品)

Agile processes in software engineering and extreme programming[electronic resource] :17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016 : proceedings / by: (書目-語言資料,印刷品)

Cloud computing[electronic resource] :6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software process improvement and capability determination[electronic resource] :16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings / by: (書目-語言資料,印刷品)

Open source systems[electronic resource] :integrating communities : 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016 : proceedings / by: (書目-語言資料,印刷品)

Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (書目-語言資料,印刷品)

Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings / by: (書目-語言資料,印刷品)

Web engineering[electronic resource] :16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings / by: (書目-語言資料,印刷品)

Green, pervasive, and cloud computing[electronic resource] :11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2016[electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Advanced information systems engineering workshops[electronic resource] :28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Mobile and wireless technologies 2016[electronic resource] / by: (書目-語言資料,印刷品)

Beginning Samsung ARTIK[electronic resource] :a guide for developers / by: (書目-語言資料,印刷品)

Hybrid soft computing approaches[electronic resource] :research and applications / by: (書目-語言資料,印刷品)

Collaborative quality assurance in information systems development[electronic resource] :the interaction of software development techniques and team cognition / by: (書目-語言資料,印刷品)

Trends and applications in software engineering[electronic resource] :proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 / by: (書目-語言資料,印刷品)

Agile Software Development Teams[electronic resource] / by: (書目-語言資料,印刷品)

Software quality[electronic resource] :the future of systems- and software development : 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016 : proceedings / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation[electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (書目-語言資料,印刷品)

Program arcade games[electronic resource] :with Python and Pygame / by: (書目-語言資料,印刷品)

Pro Docker[electronic resource] / by: (書目-語言資料,印刷品)

Distributed simulation[electronic resource] :a model driven engineering approach / by: (書目-語言資料,印刷品)

Rapid mashup development tools[electronic resource] :first International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / by: (書目-語言資料,印刷品)

Advances in network science[electronic resource] :12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Computational intelligence and quantitative software engineering[electronic resource] / by: (書目-語言資料,印刷品)

Proceedings of 4th International Conference in Software Engineering for Defence Applications[electronic resource] :SEDA 2015 / by: (書目-語言資料,印刷品)

Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Cloud computing and services sciences[electronic resource] :5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Software technologies[electronic resource] :10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing[electronic resource] :28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Graphical models for security[electronic resource] :second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Software design for resilient computer systems[electronic resource] / by: (書目-語言資料,印刷品)

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 / by: (書目-電子資源)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (書目-電子資源)

Business modeling and software design[electronic resource] :5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers / by: (書目-電子資源)

Software business[electronic resource] :7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / by: (書目-電子資源)

Trustworthy open self-organising systems[electronic resource] / by: (書目-電子資源)

Smart city 360[electronic resource] :first EAI International Summit, Smart City 360, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015 : revised selected papers / by: (書目-電子資源)

Automated software and service composition[electronic resource] :a survey and evaluating review / by: (書目-電子資源)

Pragmatic evaluation of software architectures[electronic resource] / by: (書目-電子資源)

Databases and information systems[electronic resource] :12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

Human-computer interaction[electronic resource] :novel user experiences : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.Part III / by: (書目-電子資源)

Games and learning alliance[electronic resource] :4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015 : revised selected papers / by: (書目-電子資源)

Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (書目-電子資源)

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

Rule technologies[electronic resource] :research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings / by: (書目-電子資源)

Modelling foundations and applications[electronic resource] :12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V / by: (書目-電子資源)

Finite difference computing with exponential decay models[electronic resource] / by: (書目-電子資源)

Creating Google Chrome extensions[electronic resource] / by: (書目-電子資源)

Migrating large-scale services to the cloud[electronic resource] / by: (書目-電子資源)

Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications / by: (書目-電子資源)

Beginning Backdrop CMS[electronic resource] / by: (書目-電子資源)

.NET development using the compiler API[electronic resource] / by: (書目-電子資源)

Managing humans[electronic resource] :biting and humorous tales of a software engineering manager / by: (書目-電子資源)

Managing information technology[electronic resource] / by: (書目-電子資源)

Domain-specific conceptual modeling[electronic resource] :concepts, methods and tools / by: (書目-電子資源)

Controlled natural language[electronic resource] :5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III / by: (書目-電子資源)

Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

Economics of grids, clouds, systems, and services[electronic resource] :12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015 : revised selected papers / by: (書目-電子資源)

Penetration testing basics[electronic resource] :a quick-start guide to breaking into systems / by: (書目-電子資源)

Project management basics[electronic resource] :how to manage your project with checklists / by: (書目-電子資源)

Design thinking research[electronic resource] :taking breakthrough innovation home / by: (書目-電子資源)

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 / by: (書目-電子資源)

Tamed agility[electronic resource] :pragmatic contracting and collaboration in agile software projects / by: (書目-電子資源)

Systems, software and services process improvement[electronic resource] :23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings / by: (書目-電子資源)

Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications[electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Mobile web and intelligent information systems[electronic resource] :13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016 : proceedings / by: (書目-電子資源)

Trust, privacy, and security in digital business[electronic resource] :13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016 : proceedings / by: (書目-電子資源)

Service-oriented and cloud computing[electronic resource] :5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Computational logistics[electronic resource] :7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / by: (書目-電子資源)

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / by: (書目-電子資源)

Static analysis[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (書目-電子資源)

Moving to responsive web design[electronic resource] :bring existing static sites into today's multi-device world with responsive web design / by: (書目-電子資源)

Perpectives in business informatics research[electronic resource] :15th International Conference, BIR 2016, Prague, Czech Republic, September 15-16, 2016 : proceedings / by: (書目-電子資源)

Information systems: development, research, applications, education[electronic resource] :9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings / by: (書目-電子資源)

Understanding control flow[electronic resource] :concurrent programming using [mu]C++ / by: (書目-電子資源)

Managing software process evolution[electronic resource] :traditional, agile and beyond - how to handle process change / by: (書目-電子資源)

Integrating user-centred design in agile development[electronic resource] / by: (書目-電子資源)

Ontology-based procedural modelling of traversable buildings composed by arbitrary shapes[electronic resource] / by: (書目-電子資源)

Architectural design[electronic resource] :conception and specification of interactive systems / by: (書目-電子資源)

Big data technologies and applications[electronic resource] / by: (書目-電子資源)

Behavioural models[electronic resource] :from modelling finite automata to analysing business processes / by: (書目-電子資源)

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 / by: (書目-電子資源)

Information and software technologies[electronic resource] :22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (書目-電子資源)

Collaboration and technology[electronic resource] :22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016 : proceedings / by: (書目-電子資源)

Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (書目-電子資源)

Programming languages[electronic resource] :20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security[electronic resource] :35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings / by: (書目-電子資源)

Model and data engineering[electronic resource] :6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016 : proceedings / by: (書目-電子資源)

OpenMP[electronic resource] :memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / by: (書目-電子資源)

Research in attacks, intrusions, and defenses[electronic resource] :19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016 : proceedings / by: (書目-電子資源)

Multiagent System Technologies[electronic resource] :14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

Networked systems[electronic resource] :4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers / by: (書目-電子資源)

Graphical models for security[electronic resource] :third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers / by: (書目-電子資源)

Service-oriented computing[electronic resource] :14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016 : proceedings / by: (書目-電子資源)

Computer performance engineering[electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (書目-電子資源)

Scala[electronic resource] :from a functional programming perspective : an introduction to the programming language / by: (書目-電子資源)

Transactions on foundations for mastering change I[electronic resource] / by: (書目-電子資源)

Foundational and practical aspects of resource analysis[electronic resource] :4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / by: (書目-電子資源)

System analysis and modeling[electronic resource] :technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings / by: (書目-電子資源)

Autonomous agents and multiagent systems[electronic resource] :AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / by: (書目-電子資源)

Transactions on modularity and composition I[electronic resource] / by: (書目-電子資源)

Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (書目-電子資源)

Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency XI[electronic resource] / by: (書目-電子資源)

Transactions on computational collective intelligence XXV[electronic resource] / by: (書目-電子資源)

Pro ASP.NET Core MVC[electronic resource] / by: (書目-電子資源)

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 / by: (書目-電子資源)

The practice of enterprise modeling[electronic resource] :9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings / by: (書目-電子資源)

Quality in business process modeling[electronic resource] / by: (書目-電子資源)

Software developers as users[electronic resource] :semiotic investigations in human-centered software development / by: (書目-電子資源)

Software architecture in action[electronic resource] :designing and executing architectural models with SysADL grounded on the OMG SysML standard / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

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 / by: (書目-電子資源)

Testing software and systems[electronic resource] :28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (書目-電子資源)

Dependable software engineering[electronic resource] :theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-電子資源)

Programming languages and systems[electronic resource] :14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

Enterprise interoperability VII[electronic resource] :enterprise interoperability in the digitized and networked factory of the future / by: (書目-電子資源)

Migrating to Swift from Flash and ActionScript[electronic resource] / by: (書目-電子資源)

Requirements writing for system engineering[electronic resource] / by: (書目-電子資源)

The art of scrum[electronic resource] :how Scrum masters bind dev teams and unleash agility / by: (書目-語言資料,印刷品)

DevOps for digital leaders[electronic resource] :reignite business with a modern DevOps-enabled software factory / by: (書目-語言資料,印刷品)

Data science[electronic resource] :create teams that ask the right questions and deliver real value / by: (書目-語言資料,印刷品)

Interactive modeling and simulation in business system design[electronic resource] / by: (書目-語言資料,印刷品)

Internet of things[electronic resource] :IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.Part I / by: (書目-語言資料,印刷品)

Internet of things[electronic resource] :IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.Part II / by: (書目-語言資料,印刷品)

Project-management in practice[electronic resource] :a guideline and toolbox for successful projects / by: (書目-語言資料,印刷品)

Requirements engineering toward sustainable world[electronic resource] :third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part I / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part II / by: (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments[electronic resource] :8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Swarm, evolutionary, and mimetic computing[electronic resource] :6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: (書目-語言資料,印刷品)

Software architecture[electronic resource] :10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings / by: (書目-語言資料,印刷品)

Knowledge engineering and knowledge management[electronic resource] :20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Product-focused software process improvement[electronic resource] :17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (書目-語言資料,印刷品)

Stabilization, safety, and security of distributed systems[electronic resource] :18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (書目-語言資料,印刷品)

Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Professional Sitecore 8 development[electronic resource] :a complete guide to solutions and best practices / by: (書目-語言資料,印刷品)

Practical Microsoft Visual Studio 2015[electronic resource] / by: (書目-語言資料,印刷品)

C++/CLI primer[electronic resource] :for .NET development / by: (書目-語言資料,印刷品)

Lean Python[electronic resource] :learn just enough Python to build useful tools / by: (書目-語言資料,印刷品)

Real-world decision support systems[electronic resource] / by: (書目-語言資料,印刷品)

Advanced model-based engineering of embedded systems[electronic resource] :extensions of the SPES 2020 methodology / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Internetware[electronic resource] :a new software paradigm for internet computing / by: (書目-語言資料,印刷品)

Cyber-physical systems of systems[electronic resource] :foundations - a conceptual model and some derivations: the AMADEOS legacy / by: (書目-語言資料,印刷品)

Deductive software verification - The KeY Book[electronic resource] :from theory to practice / by: (書目-語言資料,印刷品)

Mobile, secure, and programmable networking[electronic resource] :second International Conference, MSPN 2016, Paris, France, June 1-3, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Computers and games[electronic resource] :9th International Conference, CG 2016, Leiden, the Netherlands, June 29 - July 1, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Engineering Multi-Agent Systems[electronic resource] :4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Collaboration meets interactive spaces[electronic resource] / by: (書目-語言資料,印刷品)

Software engineering and methodology for emerging domains[electronic resource] :15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Stakeholders and information technology in education[electronic resource] :IFIP TC 3 International Conference, SaITE 2016, Guimaraes, Portugal, July 5-8, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering[electronic resource] :11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Web engineering[electronic resource] :5th international conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 : proceedings / by: (書目-電子資源)

Formal concept analysis[electronic resource] :foundations and applications / by: (書目-電子資源)

Scientific Engineering of Distributed Java Applications[electronic resource] :4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (書目-電子資源)

Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (書目-電子資源)

Software Engineering for Multi-Agent Systems III[electronic resource] :Research Issues and Practical Applications / by: (書目-電子資源)

Distributed Computing and Internet Technology :[electronic resource] /Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings by: (書目-電子資源)

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.