Software Engineering.

Earth system modelling.[electronic resource] /Volume 3,Coupling software and strategies by: (Language materials, printed)

Software engineering research, management and applications 2011[electronic resource] / by: (Language materials, printed)

Principles and practice of multi-agent systems[electronic resource] :13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / by: (Language materials, printed)

Proceedings of the International Conference on IT Convergence and Security 2011[electronic resource] / by: (Language materials, printed)

Computer science and convergence[electronic resource] :CSA 2011 & WCC 2011 proceedings / by: (Language materials, printed)

Design thinking research[electronic resource] :studying co-creation in practice / by: (Language materials, printed)

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: (Language materials, printed)

Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Theory of security and applications[electronic resource] :Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (Language materials, printed)

Resource discovery[electronic resource] :third International Workshop, RED 2010, Paris, France, November 5, 2010 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (Language materials, printed)

Foundations and practice of security[electronic resource] :4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (Language materials, printed)

Algebraic and numeric biology[electronic resource] :4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (Language materials, printed)

Software and systems traceability[electronic resource] / by: (Language materials, printed)

Achieving systems safety[electronic resource] :proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / by: (Language materials, printed)

Software quality[electronic resource] : process automation in software development : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Web information systems and technologies[electronic resource] :7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011 : revised selected papers / by: (Language materials, printed)

Business process management workshops[electronic resource] :BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part I / by: (Language materials, printed)

Business process management workshops[electronic resource] :BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.Part II / by: (Language materials, printed)

Software engineering and knowledge engineering[electronic resource] :theory and practice.Volume 1 / by: (Language materials, printed)

From the web to the grid and beyond[electronic resource] :computing paradigms driven by high-energy physics / by: (Language materials, printed)

Improving software testing[electronic resource] :technical and organizational developments / by: (Language materials, printed)

Practical aspects of declarative languages[electronic resource] :14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Building a national distributed e-Infrastructure - PL-Grid[electronic resource] :scientific and technical achievements / by: (Language materials, printed)

Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (Language materials, printed)

Architecture of computing systems - ARCS 2012[electronic resource] :25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / by: (Language materials, printed)

Multi-agent-based simulation XII[electronic resource] :international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (Language materials, printed)

Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (Language materials, printed)

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Foundational Java[electronic resource] :key elements and practical programming / by: (Language materials, printed)

Guide to scientific computing in C++[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Distributed, embedded and real-time Java systems[electronic resource] / by: (Language materials, printed)

Enterprise Interoperability V[electronic resource] :shaping enterprise interoperability in the future internet / by: (Language materials, printed)

Data engineering and management[electronic resource] :second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers / by: (Language materials, printed)

Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (Language materials, printed)

Passive and active measurement[electronic resource] :13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Self-organizing systems[electronic resource] :6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Economics of grids, clouds, systems, and services[electronic resource] :8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (Language materials, printed)

Requirements engineering: Foundation for software quality[electronic resource] :18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Language materials, printed)

Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency V[electronic resource] / by: (Language materials, printed)

Declarative agent languages and technologies IX[electronic resource] :9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (Language materials, printed)

S-BPM ONE - Scientific research[electronic resource] :4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings / by: (Language materials, printed)

Information systems, technology and management[electronic resource] :6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Agile service development[electronic resource] :combining adaptive methods and flexible solutions / by: (Language materials, printed)

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: (Language materials, printed)

Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (Language materials, printed)

Advanced computing, networking and security[electronic resource] :International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / by: (Language materials, printed)

Games, actions and social software[electronic resource] :multidisciplinary aspects / by: (Language materials, printed)

Logic programs, norms and action[electronic resource] :essays in honor of Marek J. Sergot on the occasion of his 60th birthday / by: (Language materials, printed)

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (Language materials, printed)

Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Web services and formal methods[electronic resource] :8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

The correctness-by-construction approach to programming[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Mobile lightweight wireless systems[electronic resource] :third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (Language materials, printed)

IS Olympics[electronic resource] :Information systems in a diverse world : CAiSE Forum 2011, London, UK, June 20-24, 2011 : selected extended papers / by: (Language materials, printed)

Business modeling and software design[electronic resource] :first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers / by: (Language materials, printed)

Broadband communications, networks, and systems[electronic resource] :7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / by: (Language materials, printed)

Mobile multimedia communications[electronic resource] :7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011 : revised selected papers / by: (Language materials, printed)

Using Microsoft Dynamics AX 2012[electronic resource] / by: (Language materials, printed)

Software process definition and management[electronic resource] / by: (Language materials, printed)

Business process management[electronic resource] :concepts, languages, architectures / by: (Language materials, printed)

Enterprise information systems[electronic resource] :13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers / by: (Language materials, printed)

Agile processes in software engineering and extreme programming[electronic resource] :13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings / by: (Language materials, printed)

Game theory for networks[electronic resource] : by: (Language materials, printed)

Mobile networks and management[electronic resource] :third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Transactions on compuational collective intelligence VI[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (Language materials, printed)

Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part I / by: (Language materials, printed)

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part II / by: (Language materials, printed)

Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Theory and practice of model transformations[electronic resource] :5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / by: (Language materials, printed)

Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / by: (Language materials, printed)

Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Wired/Wireless internet communication[electronic resource] :10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications[electronic resource] :19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (Language materials, printed)

Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (Language materials, printed)

Product-focused software process improvement[electronic resource] :13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / by: (Language materials, printed)

Multicore software engineering, performance, and tools[electronic resource] :International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Software engineering research, management and applications 2012[electronic resource] / by: (Language materials, printed)

Code generation with templates[electronic resource] / by: (Language materials, printed)

Resilience assessment and evaluation of computing systems[electronic resource] / by: (Language materials, printed)

Model-based engineering of embedded systems[electronic resource] :the SPES 2020 methodology / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Search computing[electronic resource] :broadening web search / by: (Language materials, printed)

Implementation and application of functional languages[electronic resource] :23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / by: (Language materials, printed)

Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (Language materials, printed)

Ambient intelligence[electronic resource] :third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings / by: (Language materials, printed)

Multiple access communications[electronic resource] :5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / by: (Language materials, printed)

Web information systems engineering - WISE 2012[electronic resource] :13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings / by: (Language materials, printed)

Middleware 2012[electronic resource] :ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency VI[electronic resource] / by: (Language materials, printed)

Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Language materials, printed)

Ubiquitous computing and ambient intelligence[electronic resource] :6th international conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (Language materials, printed)

Active knowledge modeling of enterprises[electronic resource] / by: (Language materials, printed)

Model-driven testing[electronic resource] :using the UML testing profile / by: (Language materials, printed)

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: (Language materials, printed)

Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (Language materials, printed)

Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (Language materials, printed)

Computational methods in systems biology[electronic resource] :6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (Language materials, printed)

Conceptual modeling - ER 2008[electronic resource] :27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Generative and transformational techniques in software engineering II[electronic resource] :international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (Language materials, printed)

Information networking[electronic resource] :towards ubiquitous networking and services : International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007 : revised selected papers / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Rule representation, interchange and reasoning on the web[electronic resource] :international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (Language materials, printed)

Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (Language materials, printed)

Service-oriented computing - ICSOC 2008[electronic resource] :6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / by: (Language materials, printed)

Software process and product measurement[electronic resource] :international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings / by: (Language materials, printed)

Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions / by: (Language materials, printed)

Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: (Language materials, printed)

Web reasoning and rule systems[electronic resource] :second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications[electronic resource] :third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (Language materials, printed)

Advances in information technology[electronic resource] :5th international conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Advances in multimedia information processing - PCM 2012[electronic resource] :13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012 : proceedings / by: (Language materials, printed)

Economics of grids, clouds, systems, and services[electronic resource] :9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (Language materials, printed)

Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (Language materials, printed)

Ambient assisted living and home care[electronic resource] :4th international workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (Language materials, printed)

Artificial general intelligence[electronic resource] :5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / by: (Language materials, printed)

Transactions on aspect-oriented software development IX[electronic resource] / by: (Language materials, printed)

Future generation information technology[electronic resource] :4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing[electronic resource] :third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / by: (Language materials, printed)

Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (Language materials, printed)

The China information technology handbook[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Agile software development[electronic resource] :best practices for large software development projects / by: (Language materials, printed)

Software reliability assessment with OR applications[electronic resource] / by: (Language materials, printed)

The Fortran 2003 handbook[electronic resource] :the complete syntax, features and procedures / by: (Language materials, printed)

Software project effort estimation[electronic resource] :foundations and best practice guidelines for success / by: (Language materials, printed)

Introduction to software quality[electronic resource] / by: (Language materials, printed)

Business modeling and software design[electronic resource] :third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013 : revised selected papers / by: (Language materials, printed)

Systems and software quality[electronic resource] :the next step for industrialisation / by: (Language materials, printed)

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: (Language materials, printed)

Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Engineering secure future internet services and systems[electronic resource] :current research / by: (Language materials, printed)

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: (Language materials, printed)

Analytical and stochastic modeling techniques and applications[electronic resource] :21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Nordic contributions in IS research[electronic resource] :5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014 : proceedings / by: (Language materials, printed)

Autonomy requirements engineering for space missions[electronic resource] / by: (Language materials, printed)

Knowledge-based software engineering[electronic resource] :11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014 : proceedings / by: (Language materials, printed)

Agile kaizen[electronic resource] :managing continuous improvement far beyond retrospectives / by: (Language materials, printed)

Mashups[electronic resource] :concepts, models and architectures / by: (Language materials, printed)

Software architecture[electronic resource] :8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings / by: (Language materials, printed)

Business process management[electronic resource] :12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014 : proceedings / by: (Language materials, printed)

Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / by: (Language materials, printed)

Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings / by: (Language materials, printed)

Mobile web information systems[electronic resource] :11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014 : proceedings / by: (Language materials, printed)

Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part I / by: (Language materials, printed)

Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / by: (Language materials, printed)

CONCUR 2014 - concurrency theory[electronic resource] :25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings / by: (Language materials, printed)

Service-oriented and cloud computing[electronic resource] :Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014 : proceedings / by: (Language materials, printed)

Aligning organizations through measurement[electronic resource] :the GQM+ strategies approach / by: (Language materials, printed)

High-performance computing on the Intel Xeon Phi[electronic resource] :how to fully exploit MIC architectures / by: (Language materials, printed)

Agile processes in software engineering and extreme programming[electronic resource] :15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014 : proceedings / by: (Language materials, printed)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014 : proceedings / by: (Language materials, printed)

Software business[electronic resource] :towards continuous value delivery : 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014 : proceedings / by: (Language materials, printed)

Situational method engineering[electronic resource] / by: (Language materials, printed)

Agent-oriented software engineering[electronic resource] :reflections on architectures, methodologies, languages, and frameworks / by: (Language materials, printed)

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: (Language materials, printed)

Systems, software and services process improvement[electronic resource] :21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings / by: (Language materials, printed)

Ad-hoc, mobile, and wireless networks[electronic resource] :13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 : proceedings / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: (Language materials, printed)

Application and theory of petri nets and concurrency[electronic resource] :35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings / by: (Language materials, printed)

Future internet testing[electronic resource] :first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers / by: (Language materials, printed)

Advanced information systems engineering[electronic resource] :26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014 : proceedings / by: (Language materials, printed)

Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Job scheduling strategies for parallel processing[electronic resource] :17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / by: (Language materials, printed)

Socio-technical design of ubiquitous computing systems[electronic resource] / by: (Language materials, printed)

Enterprise information systems[electronic resource] :15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013 : revised selected papers / by: (Language materials, printed)

Web information systems and technologies[electronic resource] :9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Models@run.time[electronic resource] :foundations, applications, and roadmaps / by: (Language materials, printed)

Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / by: (Language materials, printed)

Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V / by: (Language materials, printed)

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: (Language materials, printed)

Artificial general intelligence[electronic resource] :7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014 : proceedings / by: (Language materials, printed)

Computational logic in multi-agent systems[electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings / by: (Language materials, printed)

Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings / by: (Language materials, printed)

RoboCup 2013[electronic resource] :Robot World Cup XVII / by: (Language materials, printed)

Design thinking research[electronic resource] :building innovators / by: (Language materials, printed)

Agile project management[electronic resource] :managing for success / by: (Language materials, printed)

Regulated open multi-agent systems (ROMAS)[electronic resource] :a multi-agent approach for designing normative open systems / by: (Language materials, printed)

Transactional memory[electronic resource] :foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 / by: (Language materials, printed)

Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (Language materials, printed)

The scrum culture[electronic resource] :introducing agile methods in organizations / by: (Language materials, printed)

From requirements to Java in a snap[electronic resource] :model-driven requirements engineering in practice / by: (Language materials, printed)

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: (Language materials, printed)

Exploring services science[electronic resource] :6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015 : proceedings / by: (Language materials, printed)

Programming Smalltalk - object-orientation from the beginning[electronic resource] :an introduction to the principles of programming / by: (Language materials, printed)

Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / by: (Language materials, printed)

Formal methods[electronic resource] :foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (Language materials, printed)

Wireless sensor networks[electronic resource] :12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Understanding network hacks[electronic resource] :attack and defense with Python / by: (Language materials, printed)

Information systems reengineering, integration and normalization[electronic resource] / by: (Language materials, printed)

UML @ classroom[electronic resource] :an introduction to object-oriented modeling / by: (Language materials, printed)

Advances in service-oriented and cloud computing[electronic resource] :workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Process-aware systems[electronic resource] :first International Workshop, PAS 2014, Shanghai, China, October 17, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Software engineering research, management and applications[electronic resource] / by: (Language materials, printed)

Design thinking research[electronic resource] :building innovation eco-systems / by: (Language materials, printed)

Refinement in Z and Object-Z[electronic resource] :foundations and advanced applications / by: (Language materials, printed)

Soft city culture and technology[electronic resource] :the Betaville Project / by: (Language materials, printed)

High performance cloud auditing and applications[electronic resource] / by: (Language materials, printed)

Software reliability modeling[electronic resource] :fundamentals and applications / by: (Language materials, printed)

Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

JRuby Rails web application development[electronic resource] / by: (Language materials, printed)

Exploring services science[electronic resource] :5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014 : proceedings / by: (Language materials, printed)

Evolving software systems[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

Wireless sensor networks[electronic resource] :11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / by: (Language materials, printed)

Foundations of health information engineering and systems[electronic resource] :third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / by: (Language materials, printed)

Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / by: (Language materials, printed)

The art of software thermal management for embedded systems[electronic resource] / by: (Language materials, printed)

Future business software[electronic resource] :current trends in business software development / by: (Language materials, printed)

Software engineering education for a global e-service economy[electronic resource] :state of the art, trends and developments / by: (Language materials, printed)

Architecture of computing systems - ARCS 2014[electronic resource] :27th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Agile risk management[electronic resource] / by: (Language materials, printed)

Handbook on agent-oriented design processes[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

Requirements engineering[electronic resource] :foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Intelligent software methodologies, tools and techniques[electronic resource] :13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers / by: (Electronic resources)

S-BPM in the wild[electronic resource] :practical value creation / by: (Electronic resources)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015 : proceedings / by: (Electronic resources)

Information systems engineering in complex environments[electronic resource] :CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014 : selected extended papers / by: (Electronic resources)

Business modeling and software design[electronic resource] :4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014 : revised selected papers / by: (Electronic resources)

Analytical and stochastic modelling techniques and applications[electronic resource] :22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015 : proceedings / by: (Electronic resources)

RoboCup 2014[electronic resource] :Robot World Cup XVIII / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (Electronic resources)

Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (Electronic resources)

Software business[electronic resource] :6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015 : proceedings / by: (Language materials, printed)

Software process improvement and capability determination[electronic resource] :15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015 : proceedings / by: (Language materials, printed)

Application and theory of petri nets and concurrency[electronic resource] :36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Ad-hoc, mobile, and wireless networks[electronic resource] :14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 - July 1, 2015 : proceedings / by: (Language materials, printed)

Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings / by: (Language materials, printed)

Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers / by: (Language materials, printed)

Engineering the web in the big data era[electronic resource] :15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Data science[electronic resource] :30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015 : proceedings / by: (Language materials, printed)

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V / by: (Language materials, printed)

Validation of evolving software[electronic resource] / by: (Language materials, printed)

Nordic contributions in IS research[electronic resource] :6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings / by: (Language materials, printed)

Enterprise information systems[electronic resource] :16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014 : revised selected papers / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing[electronic resource] :5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (Language materials, printed)

Artificial general intelligence[electronic resource] :8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings / by: (Language materials, printed)

Behavior modeling[electronic resource] :foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / by: (Language materials, printed)

Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings / by: (Language materials, printed)

Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (Language materials, printed)

Transactions on computational collective intelligence XVIII[electronic resource] / by: (Language materials, printed)

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Intelligent software methodologies, tools and techniques[electronic resource] :14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems[electronic resource] :17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015 : proceedings / by: (Language materials, printed)

Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings / by: (Language materials, printed)

Wired/wireless internet communications[electronic resource] :13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015 : revised selected papers / by: (Language materials, printed)

Human-computer interaction - INTERACT 2015[electronic resource] :15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.Part II / by: (Language materials, printed)

Human-computer interaction - INTERACT 2015[electronic resource] :15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015 : proceedings.Part I / by: (Language materials, printed)

Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (Language materials, printed)

Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / by: (Language materials, printed)

Mobile web and intelligent information systems[electronic resource] :12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015 : proceedings / by: (Language materials, printed)

Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: (Language materials, printed)

Advanced parallel processing technologies[electronic resource] :11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (Language materials, printed)

Internet and distributed computing systems[electronic resource] :8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015 : proceedings / by: (Language materials, printed)

Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (Language materials, printed)

Multiple access communications[electronic resource] :8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015 : proceedings / by: (Language materials, printed)

Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2015[electronic resource] :17th International Workshop, Saint-Malo, France, September 13-16, 2015 : proceedings / by: (Language materials, printed)

The design of requirements modelling languages[electronic resource] :how to make formalisms for problem solving in requirements engineering / by: (Language materials, printed)

Enhanced building information models[electronic resource] :using IoT services and integration patterns / by: (Language materials, printed)

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: (Language materials, printed)

Systems, software and services process improvement[electronic resource] :22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings / by: (Language materials, printed)

Information and software technologies[electronic resource] :21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings / by: (Language materials, printed)

Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Language materials, printed)

The practice of enterprise modeling[electronic resource] :8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings / by: (Language materials, printed)

Real-Time C++[electronic resource] :efficient object-oriented and template microcontroller programming / by: (Language materials, printed)

Requirements engineering in the big data era[electronic resource] :Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015 : proceedings / by: (Language materials, printed)

Collaboration and technology[electronic resource] :21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (Language materials, printed)

Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Software architecture[electronic resource] :9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings / by: (Language materials, printed)

Model and data engineering[electronic resource] :5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015 : proceedings / by: (Language materials, printed)

Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (Language materials, printed)

Algorithms, probability, networks, and games[electronic resource] :scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday / by: (Language materials, printed)

Service oriented and cloud computing[electronic resource] :4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security[electronic resource] :34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (Language materials, printed)

Computational logistics[electronic resource] :6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (Language materials, printed)

Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Automated technology for verification and analysis[electronic resource] :13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / by: (Language materials, printed)

Cyber physical systems[electronic resource] :design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / by: (Language materials, printed)

Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (Language materials, printed)

PRIMA 2015[electronic resource] :principles and practice of multi-agent systems : by: (Language materials, printed)

Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (Language materials, printed)

Mobile, secure, and programmable networking[electronic resource] :first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers / by: (Language materials, printed)

Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (Language materials, printed)

Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II / by: (Language materials, printed)

Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I / by: (Language materials, printed)

Hardware and software[electronic resource] :verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part II / by: (Language materials, printed)

Algorithms and architectures from parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part III / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings / by: (Language materials, printed)

Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency X[electronic resource] / by: (Language materials, printed)

Distributed computing[electronic resource] :29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings / by: (Language materials, printed)

Exploring the Raspberry Pi 2 with C++[electronic resource] / by: (Language materials, printed)

Model-driven engineering and software development[electronic resource] :second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (Language materials, printed)

Evaluation of novel approaches to software engineering[electronic resource] :9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers / by: (Language materials, printed)

Languages, applications and technologies[electronic resource] :4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (Language materials, printed)

Security standardisation research[electronic resource] :second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 : proceedings / by: (Language materials, printed)

Information security[electronic resource] :16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings / by: (Language materials, printed)

Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers / by: (Language materials, printed)

Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Language materials, printed)

Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / by: (Language materials, printed)

Transactions on computational collective intelligence XIX[electronic resource] / by: (Language materials, printed)

Beginning django CMS[electronic resource] / by: (Language materials, printed)

Make an e-commerce site in a weekend[electronic resource] :using PHP / by: (Language materials, printed)

Selenium WebDriver recipes in C#[electronic resource] / by: (Language materials, printed)

Broken Agile[electronic resource] :stories from the trenches / by: (Language materials, printed)

JavaScript object programming[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

Model-driven engineering and software development[electronic resource] :third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers / by: (Language materials, printed)

Transactions on computational collective intelligence XX[electronic resource] / by: (Language materials, printed)

Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / by: (Language materials, printed)

Cloud computing and big data[electronic resource] :second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Models of strategic reasoning[electronic resource] :logics, games, and communities / by: (Language materials, printed)

Networked systems[electronic resource] :third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers / by: (Language materials, printed)

Enterprise information systems[electronic resource] :17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015 : revised selected papers / by: (Language materials, printed)

RoboCup 2015[electronic resource] :Robot World Cup XIX / by: (Language materials, printed)

Evaluation of novel approaches to software engineering[electronic resource] :10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015 : revised selected papers / by: (Language materials, printed)

Formal methods: foundations and applications[electronic resource] :18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / by: (Language materials, printed)

Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Requirements engineering[electronic resource] :foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016 : proceedings / by: (Language materials, printed)

Architecture of computing systems - ARCS 2016[electronic resource] :29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings / by: (Language materials, printed)

Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Language materials, printed)

A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (Language materials, printed)

Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (Language materials, printed)

Multi-agent based simulation XVI[electronic resource] :International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

OSS reliability measurement and assessment[electronic resource] / by: (Language materials, printed)

Tangible interactive systems[electronic resource] :grasping the real world with computers / by: (Language materials, printed)

Hagenberg business process modelling method[electronic resource] / by: (Language materials, printed)

Advances in service-oriented and cloud computing[electronic resource] :workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015 : revised selected papers / by: (Language materials, printed)

Process mining[electronic resource] :data science in action / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / by: (Language materials, printed)

Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Transactions on computational science XXVII[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

Computational sustainability[electronic resource] / by: (Language materials, printed)

Modelling and implementation of complex systems[electronic resource] :proceedings of the 4th International Symposium, MISC 2016, May 7-8, 2016, Constantine, Algeria / by: (Language materials, printed)

Devops on the Microsoft stack[electronic resource] / by: (Language materials, printed)

Jumpstart Tableau[electronic resource] :a step-by-step guide to better data visualization / by: (Language materials, printed)

Software engineering education going agile[electronic resource] :11th China-Europe International Symposium on Software Engineering Education (CEISEE 2015) / by: (Language materials, printed)

Exploring services science[electronic resource] :7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016 : proceedings / by: (Language materials, printed)

Agile processes in software engineering and extreme programming[electronic resource] :17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016 : proceedings / by: (Language materials, printed)

Cloud computing[electronic resource] :6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings / by: (Language materials, printed)

Software process improvement and capability determination[electronic resource] :16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / by: (Language materials, printed)

Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (Language materials, printed)

Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings / by: (Language materials, printed)

Web engineering[electronic resource] :16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings / by: (Language materials, printed)

Green, pervasive, and cloud computing[electronic resource] :11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Advanced information systems engineering workshops[electronic resource] :28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (Language materials, printed)

Mobile and wireless technologies 2016[electronic resource] / by: (Language materials, printed)

Beginning Samsung ARTIK[electronic resource] :a guide for developers / by: (Language materials, printed)

Hybrid soft computing approaches[electronic resource] :research and applications / by: (Language materials, printed)

Collaborative quality assurance in information systems development[electronic resource] :the interaction of software development techniques and team cognition / by: (Language materials, printed)

Trends and applications in software engineering[electronic resource] :proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 / by: (Language materials, printed)

Agile Software Development Teams[electronic resource] / by: (Language materials, printed)

Software quality[electronic resource] :the future of systems- and software development : 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016 : proceedings / by: (Language materials, printed)

Verification, model checking, and abstract interpretation[electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (Language materials, printed)

Program arcade games[electronic resource] :with Python and Pygame / by: (Language materials, printed)

Pro Docker[electronic resource] / by: (Language materials, printed)

Distributed simulation[electronic resource] :a model driven engineering approach / by: (Language materials, printed)

Rapid mashup development tools[electronic resource] :first International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015 : revised selected papers / by: (Language materials, printed)

Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / by: (Language materials, printed)

Advances in network science[electronic resource] :12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016 : proceedings / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Computational intelligence and quantitative software engineering[electronic resource] / by: (Language materials, printed)

Proceedings of 4th International Conference in Software Engineering for Defence Applications[electronic resource] :SEDA 2015 / by: (Language materials, printed)

Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (Language materials, printed)

Cloud computing and services sciences[electronic resource] :5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015 : revised selected papers / by: (Language materials, printed)

Software technologies[electronic resource] :10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (Language materials, printed)

Languages and compilers for parallel computing[electronic resource] :28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (Language materials, printed)

Graphical models for security[electronic resource] :second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers / by: (Language materials, printed)

Software design for resilient computer systems[electronic resource] / by: (Language materials, printed)

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: (Electronic resources)

Advanced information systems engineering workshops[electronic resource] :CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (Electronic resources)

Business modeling and software design[electronic resource] :5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers / by: (Electronic resources)

Software business[electronic resource] :7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / by: (Electronic resources)

Trustworthy open self-organising systems[electronic resource] / by: (Electronic resources)

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: (Electronic resources)

Automated software and service composition[electronic resource] :a survey and evaluating review / by: (Electronic resources)

Pragmatic evaluation of software architectures[electronic resource] / by: (Electronic resources)

Databases and information systems[electronic resource] :12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Games and learning alliance[electronic resource] :4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015 : revised selected papers / by: (Electronic resources)

Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (Electronic resources)

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Rule technologies[electronic resource] :research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V / by: (Electronic resources)

Finite difference computing with exponential decay models[electronic resource] / by: (Electronic resources)

Creating Google Chrome extensions[electronic resource] / by: (Electronic resources)

Migrating large-scale services to the cloud[electronic resource] / by: (Electronic resources)

Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications / by: (Electronic resources)

Beginning Backdrop CMS[electronic resource] / by: (Electronic resources)

.NET development using the compiler API[electronic resource] / by: (Electronic resources)

Managing humans[electronic resource] :biting and humorous tales of a software engineering manager / by: (Electronic resources)

Managing information technology[electronic resource] / by: (Electronic resources)

Domain-specific conceptual modeling[electronic resource] :concepts, methods and tools / by: (Electronic resources)

Controlled natural language[electronic resource] :5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III / by: (Electronic resources)

Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Penetration testing basics[electronic resource] :a quick-start guide to breaking into systems / by: (Electronic resources)

Project management basics[electronic resource] :how to manage your project with checklists / by: (Electronic resources)

Design thinking research[electronic resource] :taking breakthrough innovation home / by: (Electronic resources)

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: (Electronic resources)

Tamed agility[electronic resource] :pragmatic contracting and collaboration in agile software projects / by: (Electronic resources)

Systems, software and services process improvement[electronic resource] :23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings / by: (Electronic resources)

Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications[electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (Electronic resources)

Mobile web and intelligent information systems[electronic resource] :13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016 : proceedings / by: (Electronic resources)

Trust, privacy, and security in digital business[electronic resource] :13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016 : proceedings / by: (Electronic resources)

Service-oriented and cloud computing[electronic resource] :5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (Electronic resources)

Computational logistics[electronic resource] :7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Computer safety, reliability, and security[electronic resource] :SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings / by: (Electronic resources)

Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / by: (Electronic resources)

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / by: (Electronic resources)

Static analysis[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (Electronic resources)

Moving to responsive web design[electronic resource] :bring existing static sites into today's multi-device world with responsive web design / by: (Electronic resources)

Perpectives in business informatics research[electronic resource] :15th International Conference, BIR 2016, Prague, Czech Republic, September 15-16, 2016 : proceedings / by: (Electronic resources)

Information systems: development, research, applications, education[electronic resource] :9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings / by: (Electronic resources)

Understanding control flow[electronic resource] :concurrent programming using [mu]C++ / by: (Electronic resources)

Managing software process evolution[electronic resource] :traditional, agile and beyond - how to handle process change / by: (Electronic resources)

Integrating user-centred design in agile development[electronic resource] / by: (Electronic resources)

Ontology-based procedural modelling of traversable buildings composed by arbitrary shapes[electronic resource] / by: (Electronic resources)

Architectural design[electronic resource] :conception and specification of interactive systems / by: (Electronic resources)

Big data technologies and applications[electronic resource] / by: (Electronic resources)

Behavioural models[electronic resource] :from modelling finite automata to analysing business processes / by: (Electronic resources)

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: (Electronic resources)

Information and software technologies[electronic resource] :22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (Electronic resources)

Collaboration and technology[electronic resource] :22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016 : proceedings / by: (Electronic resources)

Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (Electronic resources)

Programming languages[electronic resource] :20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security[electronic resource] :35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings / by: (Electronic resources)

Model and data engineering[electronic resource] :6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016 : proceedings / by: (Electronic resources)

OpenMP[electronic resource] :memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / by: (Electronic resources)

Research in attacks, intrusions, and defenses[electronic resource] :19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016 : proceedings / by: (Electronic resources)

Multiagent System Technologies[electronic resource] :14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Networked systems[electronic resource] :4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers / by: (Electronic resources)

Graphical models for security[electronic resource] :third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers / by: (Electronic resources)

Service-oriented computing[electronic resource] :14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016 : proceedings / by: (Electronic resources)

Computer performance engineering[electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (Electronic resources)

Scala[electronic resource] :from a functional programming perspective : an introduction to the programming language / by: (Electronic resources)

Transactions on foundations for mastering change I[electronic resource] / by: (Electronic resources)

Foundational and practical aspects of resource analysis[electronic resource] :4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Autonomous agents and multiagent systems[electronic resource] :AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / by: (Electronic resources)

Transactions on modularity and composition I[electronic resource] / by: (Electronic resources)

Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Electronic resources)

Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (Electronic resources)

Transactions on petri nets and other models of concurrency XI[electronic resource] / by: (Electronic resources)

Transactions on computational collective intelligence XXV[electronic resource] / by: (Electronic resources)

Pro ASP.NET Core MVC[electronic resource] / by: (Electronic resources)

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: (Electronic resources)

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

Quality in business process modeling[electronic resource] / by: (Electronic resources)

Software developers as users[electronic resource] :semiotic investigations in human-centered software development / by: (Electronic resources)

Software architecture in action[electronic resource] :designing and executing architectural models with SysADL grounded on the OMG SysML standard / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Testing software and systems[electronic resource] :28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (Electronic resources)

Dependable software engineering[electronic resource] :theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Electronic resources)

Programming languages and systems[electronic resource] :14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Enterprise interoperability VII[electronic resource] :enterprise interoperability in the digitized and networked factory of the future / by: (Electronic resources)

Migrating to Swift from Flash and ActionScript[electronic resource] / by: (Electronic resources)

Requirements writing for system engineering[electronic resource] / by: (Electronic resources)

The art of scrum[electronic resource] :how Scrum masters bind dev teams and unleash agility / by: (Language materials, printed)

DevOps for digital leaders[electronic resource] :reignite business with a modern DevOps-enabled software factory / by: (Language materials, printed)

Data science[electronic resource] :create teams that ask the right questions and deliver real value / by: (Language materials, printed)

Interactive modeling and simulation in business system design[electronic resource] / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Project-management in practice[electronic resource] :a guideline and toolbox for successful projects / by: (Language materials, printed)

Requirements engineering toward sustainable world[electronic resource] :third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part I / by: (Language materials, printed)

Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part II / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments[electronic resource] :8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: (Language materials, printed)

Swarm, evolutionary, and mimetic computing[electronic resource] :6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers / by: (Language materials, printed)

FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: (Language materials, printed)

Software architecture[electronic resource] :10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings / by: (Language materials, printed)

Knowledge engineering and knowledge management[electronic resource] :20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016 : proceedings / by: (Language materials, printed)

Product-focused software process improvement[electronic resource] :17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems[electronic resource] :18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Professional Sitecore 8 development[electronic resource] :a complete guide to solutions and best practices / by: (Language materials, printed)

Practical Microsoft Visual Studio 2015[electronic resource] / by: (Language materials, printed)

C++/CLI primer[electronic resource] :for .NET development / by: (Language materials, printed)

Lean Python[electronic resource] :learn just enough Python to build useful tools / by: (Language materials, printed)

Real-world decision support systems[electronic resource] / by: (Language materials, printed)

Advanced model-based engineering of embedded systems[electronic resource] :extensions of the SPES 2020 methodology / by: (Language materials, printed)

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: (Language materials, printed)

Internetware[electronic resource] :a new software paradigm for internet computing / by: (Language materials, printed)

Cyber-physical systems of systems[electronic resource] :foundations - a conceptual model and some derivations: the AMADEOS legacy / by: (Language materials, printed)

Deductive software verification - The KeY Book[electronic resource] :from theory to practice / by: (Language materials, printed)

Mobile, secure, and programmable networking[electronic resource] :second International Conference, MSPN 2016, Paris, France, June 1-3, 2016 : revised selected papers / by: (Language materials, printed)

Computers and games[electronic resource] :9th International Conference, CG 2016, Leiden, the Netherlands, June 29 - July 1, 2016 : revised selected papers / by: (Language materials, printed)

Engineering Multi-Agent Systems[electronic resource] :4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers / by: (Language materials, printed)

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: (Language materials, printed)

Collaboration meets interactive spaces[electronic resource] / by: (Language materials, printed)

Software engineering and methodology for emerging domains[electronic resource] :15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Evaluation of novel approaches to software engineering[electronic resource] :11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / by: (Language materials, printed)

Web engineering[electronic resource] :5th international conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 : proceedings / by: (Electronic resources)

Formal concept analysis[electronic resource] :foundations and applications / by: (Electronic resources)

Scientific Engineering of Distributed Java Applications[electronic resource] :4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (Electronic resources)

Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday / by: (Electronic resources)

Software Engineering for Multi-Agent Systems III[electronic resource] :Research Issues and Practical Applications / by: (Electronic resources)

Distributed Computing and Internet Technology :[electronic resource] /Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings by: (Electronic resources)

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.