Software Engineering.
Overview
Works: | 696 works in 690 publications in 690 languages |
---|
Titles
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Exploring services science[electronic resource] :5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014 : proceedings /
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)
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)
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)
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)
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)
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)
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)
Make an e-commerce site in a weekend[electronic resource] :using PHP /
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)
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)
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)
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)
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)
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)
Advanced information systems engineering workshops[electronic resource] :28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016 : proceedings /
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)
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)
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)
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)
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)
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)
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)
Building Arduino projects for the internet of things[electronic resource] :experiments with real-world applications /
by:
(Electronic resources)
Managing humans[electronic resource] :biting and humorous tales of a software engineering manager /
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Lean Python[electronic resource] :learn just enough Python to build useful tools /
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)
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)
Subjects