Software Engineering/Programming and Operating Systems.

Principles of the Spin model checker by: (Electronic resources)

Developing Ambient IntelligenceProceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07) / by: (Electronic resources)

SAP fur Java-EntwicklerKonzepte, Schnittstellen, Technologien / by: (Electronic resources)

Adapting Proofs-as-ProgramsThe Curry-Howard Protocol / by: (Electronic resources)

From Specification to Embedded Systems Application by: (Electronic resources)

AutoCAD 2006 VBAA Programmer's Reference / by: (Electronic resources)

Developing Ambient IntelligenceProceedings of the First International Conference on Ambient Intelligence Developments (AmID'06) / by: (Electronic resources)

Applied Parallel ComputingState of the Art in Scientific Computing / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2006 (vol. # 3980)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2006 (vol. # 3981)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II / by: (Electronic resources)

Parallel Processing and Applied Mathematics6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3991)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3992)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3993)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3994)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / by: (Electronic resources)

Automata, Languages and Programming (vol. # 4051)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part I / by: (Electronic resources)

Automata, Languages and Programming (vol. # 4052)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part II / by: (Electronic resources)

Euro-Par 2006 Parallel Processing12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / by: (Electronic resources)

High Performance Computing and Communications (vol. # 4208)Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings / by: (Electronic resources)

Computer Safety, Reliability, and Security (vol. # 4166)25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings / by: (Electronic resources)

Computer and Information Seciences - ISCIS 200621th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings / by: (Electronic resources)

Transactions on Aspect-Oriented Software Development IIFocus: AOP Systems, Software and Middleware / by: (Electronic resources)

High Performance Computing - HiPC 200613th International Conference Bangalore, India, December 18-21, 2006, Proceedings / by: (Electronic resources)

Software Engineering Education in the Modern AgeSoftware Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / by: (Electronic resources)

Advances in Systems, Computing Sciences and Software EngineeringProceedings of SCSS05 / by: (Electronic resources)

Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (Electronic resources)

Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (Electronic resources)

Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (Electronic resources)

Computational Science and Its Applications ICCSA 2008International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (Electronic resources)

Computational Science and Its Applications ICCSA 2008International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (Electronic resources)

Transactions on Computational Science I by: (Electronic resources)

Tools for High Performance ComputingProceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart / by: (Electronic resources)

Ingredients for Successful System Level Design Methodology by: (Electronic resources)

Shared Memory Parallel Programming with Open MP5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (Electronic resources)

High Performance Computing for Computational Science - VECPAR 20046th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.I / by: (Electronic resources)

Computational science and its applications, ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings .II by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12. 2005, Proceedings .III by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.IV / by: (Electronic resources)

Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.I / by: (Electronic resources)

Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.II / by: (Electronic resources)

Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.III by: (Electronic resources)

Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (Electronic resources)

Parallel Computing Technologies8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by: (Electronic resources)

Euro-Par 2005 Parallel Processing11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (Electronic resources)

High Performance Computing and Communications :First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (Electronic resources)

Computer Safety, Reliability, and Security :24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings by: (Electronic resources)

Distributed and Parallel Computing :6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings by: (Electronic resources)

Computer and Information Sciences - ISCIS 2005 :20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings by: (Electronic resources)

Advanced Parallel Processing Technologies :6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings by: (Electronic resources)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (Electronic resources)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (Electronic resources)

Reflections on the Teaching of ProgrammingMethods and Implementations / by: (Electronic resources)

Computer-Aided Innovation (CAI)IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / by: (Electronic resources)

Software and Data TechnologiesFirst International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers / by: (Electronic resources)

Distributed and Parallel SystemsIn Focus: Desktop Grid Computing / by: (Electronic resources)

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering by: (Electronic resources)

Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education by: (Electronic resources)

Advances in Computer and Information Sciences and Engineering by: (Electronic resources)

The Testing NetworkAn Integral Approach to Test Activities in Large Software Projects / by: (Electronic resources)

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics by: (Electronic resources)

Computer performance engineering5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (Language materials, printed)

Transactions on computational science II by: (Language materials, printed)

Computer safety, reliability, and security27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings / by: (Language materials, printed)

Software architecturesecond European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (Language materials, printed)

Open source approaches in spatial data handling by: (Language materials, printed)

Mathematics and computation, a contemporary viewthe abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (Language materials, printed)

Pro Oracle application express by: (Language materials, printed)

Advances in software engineeringLipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / by: (Language materials, printed)

High performance computing - HiPC 200815th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (Language materials, printed)

Systems and virtualization managementstandards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings / by: (Language materials, printed)

Foundations of 3D graphics programmingusing JOGL and Java3D / by: (Language materials, printed)

Software product management and pricingkey success factors for software organizations / by: (Electronic resources)

Hardware-dependent softwareprinciples and practice / by: (Electronic resources)

End-User development2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by: (Electronic resources)

Information systems developmentchallenges in practice, theory, and education volume 2 / by: (Electronic resources)

Programming languages and systems18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Electronic resources)

Compiler construction18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / by: (Electronic resources)

Ada for software engineers (second edition with Ada 2005) by: (Electronic resources)

Information systems, technology and managementThird International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings / by: (Electronic resources)

Euro-Par 2008 workshops - parallel processingVHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers / by: (Electronic resources)

Software verification and analysisan integrated, hands-on approach / by: (Electronic resources)

Practical introduction to computer architecture by: (Electronic resources)

A concise and practical introduction to programming algorithms in java by: (Electronic resources)

Models of computationan introduction to computability theory / by: (Electronic resources)

OPC unified architecture by: (Electronic resources)

Mobile Wireless Middleware, Operating Systems and ApplicationsSecond International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / by: (Electronic resources)

The new PL/I... for PC, workstation and mainframe / by: (Electronic resources)

Trustworthy software development processesInternational Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (Electronic resources)

Formal methods for web services9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (Electronic resources)

Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part II / by: (Electronic resources)

Object-oriented technology. ECOOP 2008 workshop reader ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports / by: (Electronic resources)

High assurance services computing by: (Electronic resources)

Geometric algebraan algebraic system for computer games and animation/ by: (Electronic resources)

Open source ecosystemsdiverse communities interacting : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skovde, Sweden, June 3-6, 2009 : proceedings / by: (Electronic resources)

Reliable software technologies-Ada-Europe 200914th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / by: (Electronic resources)

Requirements engineering, foundation for software quality15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings / by: (Electronic resources)

Coordination models and languages11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings / by: (Electronic resources)

Transactions on aspect-oriented software development V by: (Electronic resources)

Software engineering for self-adaptive systems by: (Electronic resources)

Distributed applications and interoperable systems9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009 : proceedings / by: (Electronic resources)

Frontiers in AlgorithmicsThird International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / by: (Electronic resources)

Architectures for adaptive software systems5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / by: (Electronic resources)

Computer performance engineering6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (Electronic resources)

Embedded software development with C by: (Electronic resources)

Conceptual modeling, foundations and applicationsessays in honor of John Mylopoulos / by: (Electronic resources)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part I / by: (Electronic resources)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part II / by: (Electronic resources)

Knowledge management for health care proceduresECAI 2008 workshop, K4HelP 2008, Patras, Greece, July 21, 2008 : revised selected papers / by: (Electronic resources)

Mobile wireless middleware, operating systems, and applications - workshopsMobilware 2009 Workshops, Berlin, Germany, April 2009 : revised selected papers / by: (Electronic resources)

Software process improvement16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (Electronic resources)

Algorithms and architectures for parallel processing9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings / by: (Electronic resources)

Formal Methods for Components and Objects7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (Electronic resources)

A primer on scientific programming with Python by: (Electronic resources)

Information system developmenttowards a service provision society / by: (Electronic resources)

Parallel computing technologies10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (Electronic resources)

Formal foundations of reuse and domain engineering11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (Electronic resources)

Distributed computing23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (Electronic resources)

Transactions on aspect-oriented software development VIspecial issue on aspects and model-driven engineering / by: (Electronic resources)

Model Driven Engineering Languages and Systems12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / by: (Electronic resources)

Job Scheduling Strategies for Parallel Processing14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (Electronic resources)

Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Electronic resources)

Performance evaluation and benchmarkingfirst TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers / by: (Electronic resources)

Software and data technologiesThird International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (Electronic resources)

Pro Git by: (Electronic resources)

Conceptual Modeling - ER 200928th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (Electronic resources)

Advances in conceptual modeling-challenging perspectivesER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / by: (Electronic resources)

Software process and product measurementInternational Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (Electronic resources)

Middleware 2009ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (Electronic resources)

Cloud computingFirst International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings / by: (Electronic resources)

Advances in Software EngineeringInternational Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (Electronic resources)

Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (Electronic resources)

Transactions on pattern languages of programming I by: (Electronic resources)

The web startup success guide by: (Electronic resources)

Software configuration management using Vesta by: (Electronic resources)

The engineering of mixed reality systems by: (Electronic resources)

SOFSEM 2010theory and practice of computer science : 36th Conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 23-29, 2010 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: (Electronic resources)

Simula research laboratoryby thinking constantly about it / by: (Electronic resources)

Fundamentals of software engineeringthird IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (Electronic resources)

Engineering secure software and systemssecond international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (Electronic resources)

Open source software for digital forensics by: (Electronic resources)

Ad Hoc networksfirst international conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009 : revised selected papers / by: (Electronic resources)

Computational methods in chemical engineering with Maple by: (Electronic resources)

HPC@Green ITgreen high performance computing methods / by: (Electronic resources)

Human benefit through the diffusion of information systems design science researchIFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010 : proceedings / by: (Electronic resources)

Innovations and advances in computer sciences and engineering by: (Electronic resources)

Coordination models and languages12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (Electronic resources)

Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / by: (Electronic resources)

Software composition9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (Electronic resources)

ECOOP 2010 - object-oriented programming24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings / by: (Electronic resources)

New modeling concepts for today's software processesInternational Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings / by: (Electronic resources)

Open source softwarenew horizons : 6th international IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010 : proceedings / by: (Electronic resources)

Technological developments in networking, education and automation by: (Electronic resources)

Virtual machines by: (Electronic resources)

Embedded system designmodeling, synthesis and verification / by: (Electronic resources)

Architecture-based design of multi-agent systems by: (Electronic resources)

Tools for high performance computing 2009proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden / by: (Electronic resources)

Web Dynpro ABAP for practitioners by: (Electronic resources)

A process algebraic approach to software architecture design by: (Electronic resources)

Specification and verification of multi-agent systems by: (Electronic resources)

Managed grids and cloud systems in the Asia-Pacific research community by: (Electronic resources)

VLSI-SoCDesign Methodologies for SoC and SiP : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008 : revised selected papers / by: (Electronic resources)

Information systems, technology and management4th international conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010 : proceedings / by: (Electronic resources)

Networks for grid applicationsthird international ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / by: (Electronic resources)

Parallel processing and applied mathematics8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.part I / by: (Electronic resources)

Parallel processing and applied mathematics8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.part II / by: (Electronic resources)

High performance computing systems and applications23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009 : revised selected papers / by: (Electronic resources)

Quality-driven SystemC design by: (Electronic resources)

SystemCfrom the ground up / by: (Electronic resources)

Applied time series analysis and innovative computing by: (Electronic resources)

Intelligent automation and computer engineering by: (Electronic resources)

Technological developments in education and automation by: (Electronic resources)

Business process technologya unified view on business processes, workflows and enterprise applications / by: (Electronic resources)

Mathematical software - ICMS 2010Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (Electronic resources)

Model driven engineering languages and systems13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.Part II / by: (Electronic resources)

Network and parallel computingIFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings / by: (Electronic resources)

Programming multi-agent systems7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009, revised selected papers / by: (Electronic resources)

Automated technology for verification and analysis8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings / by: (Electronic resources)

Systems, software and services process improvement17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings / by: (Electronic resources)

Information computing and applicationsInternational Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.Part II / by: (Electronic resources)

A practical introduction to hardware/software codesign by: (Electronic resources)

Conceptual modeling - ER 201029th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / by: (Electronic resources)

Information computing and applicationsfirst international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings / by: (Electronic resources)

Thriving systems theory and metaphor-driven modeling by: (Electronic resources)

Formal methods for components and objects8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (Electronic resources)

Architecting dependable systems VII by: (Electronic resources)

Advances in software engineeringInternational Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (Electronic resources)

S-BPM ONE - setting the stage for subject-oriented business process managementFirst International Workshop, Karlsruhe, Germany, October 22, 2009, revised selected papers / by: (Electronic resources)

Pro Python by: (Electronic resources)

Pro PHP refactoring by: (Electronic resources)

Worst-case execution time aware compilation techniques for real-time systems by: (Electronic resources)

Handbook of open source tools by: (Electronic resources)

Service engineeringEuropean research results / by: (Electronic resources)

The seductive computerwhy IT systems always fail / by: (Electronic resources)

Accelerating test, validation and debug of high speed serial interfaces by: (Electronic resources)

Information systems developmentAsian experiences / by: (Electronic resources)

Embedded system designembedded systems foundations of cyber-physical systems / by: (Electronic resources)

Object-oriented analysis and design by: (Electronic resources)

Testbeds and research infrastructuresdevelopment of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers / by: (Electronic resources)

Engineering secure software and systemsthird International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (Electronic resources)

Generative and transformational techniques in software engineering IIIinternational summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers / by: (Electronic resources)

Model-driven development of advanced user interfaces by: (Electronic resources)

High performance computing for computational scienceVECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (Electronic resources)

Transactions on pattern languages of programming IIspecial issue on applying patterns / by: (Electronic resources)

Migratory interactive applications for ubiquitous environments by: (Electronic resources)

Technology systems and managementfirst International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011 : selected papers / by: (Electronic resources)

Software and data technologies4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (Electronic resources)

A primer on scientific programming with Python by: (Electronic resources)

NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (Electronic resources)

Adaptive and natural computing algorithms10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.Part II / by: (Electronic resources)

The definitive guide to GCC by: (Electronic resources)

Coordination models and languages13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (Electronic resources)

Formal methods for eternal networked software systems11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (Electronic resources)

Top productivity through software reuse12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (Electronic resources)

End-user developmentthird international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings / by: (Electronic resources)

Systems, software and services process improvement18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (Electronic resources)

Modeling, design, and simulation of systems with uncertainties by: (Electronic resources)

Electrical engineering and applied computing by: (Electronic resources)

VLSI-SoCtechnologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers / by: (Electronic resources)

Video processing in the cloud by: (Electronic resources)

Perspectives on Soviet and Russian computingfirst IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers / by: (Electronic resources)

Information and communication on technology for the fight against global warmingfirst international conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011 : proceedings / by: (Electronic resources)

Pro objective-C design patterns for iOS by: (Electronic resources)

Mac programming for absolute beginners by: (Electronic resources)

Parallel computing technologies11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (Electronic resources)

Automated technology for verification and analysis9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / by: (Electronic resources)

Information systems developmentbusiness systems and services : modeling and development / by: (Electronic resources)

Network and parallel computing8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (Electronic resources)

Model driven engineering languages and systems14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / by: (Electronic resources)

Programming for engineersa foundational approach to learning C and Matlab / by: (Electronic resources)

Open source systemsgrounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings / by: (Electronic resources)

Software development and professional practice by: (Electronic resources)

UNIX operating systemthe development tutorial via UNIX kernel services / by: (Electronic resources)

Information computing and applicationssecond international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.Part I / by: (Electronic resources)

Information computing and applicationssecond international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.Part II / by: (Electronic resources)

Encyclopedia of parallel computing by: (Electronic resources)

The future of EU agricultural markets by AGMEMOD by: (Electronic resources)

The design of cloud workflow systems by: (Electronic resources)

Computer, informatics, cybernetics and applicationsproceedings of the CICA 2011 / by: (Electronic resources)

Membrane computing12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers / by: (Electronic resources)

Software and systems traceability by: (Electronic resources)

Foundations of algebraic specification and formal software development by: (Electronic resources)

Applied parallel and scientific computing10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II / by: (Electronic resources)

Applied parallel and scientific computing10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I / by: (Electronic resources)

Engineering secure software and systems4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (Electronic resources)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers / by: (Electronic resources)

NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Electronic resources)

Programming multi-agent systems8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (Electronic resources)

Doing design ethnography by: (Electronic resources)

Testbeds and research infrastructure Development of Networks and Communitiesdevelopment of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / by: (Electronic resources)

Applied ontology engineering in cloud services, networks and management systems by: (Electronic resources)

Fundamentals of software engineering4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (Electronic resources)

Patterns, programming and everything by: (Electronic resources)

Using Microsoft Dynamics AX 2012 by: (Electronic resources)

Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes by: (Electronic resources)

Software and network engineering by: (Electronic resources)

Facing the multicore - Challenge IIaspects of new paradigms and technologies in parallel computing / by: (Electronic resources)

Advances in computer science, engineering & applicationsproceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.Volume 2 / by: (Electronic resources)

Advances in computer science, engineering & applicationsproceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.Volume 1 / by: (Electronic resources)

Coordination models and languages14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings / by: (Electronic resources)

Formal methods for model-driven engineering12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (Electronic resources)

Progress in VLSI design and test16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (Electronic resources)

Systems, software and services process improvement19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings / by: (Electronic resources)

Arduino and Kinect projectsDesign, build, blow their minds / by: (Electronic resources)

Beginning Android ADK with Arduino by: (Electronic resources)

Programming multi-agent systems9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / by: (Electronic resources)

A primer on scientific programming with Python by: (Electronic resources)

ICT as key technology against global warmingsecond International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012 : proceedings / by: (Electronic resources)

Automated technology for verification and analysis10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / by: (Electronic resources)

Operational semantics and verification of security protocols by: (Electronic resources)

Protocol engineering by: (Electronic resources)

Computer science and its applicationsCSA 2012 / by: (Electronic resources)

Reflections on the history of computingpreserving memories and sharing stories / by: (Electronic resources)

Quality of software architecturesmodels and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (Electronic resources)

Testbeds and research infrastructuredevelopment of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / by: (Electronic resources)

Network and parallel computing9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (Electronic resources)

Expert F# 3.0 by: (Electronic resources)

The China information technology handbook by: (Electronic resources)

VLSI-SoC: Advanced Topics on Systems on a Chipa selection of extended versions of the best papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA / by: (Electronic resources)

Software exorcisma handbook for debugging and optimizing legacy code / by: (Electronic resources)

Real-time security extensions for EPCglobal networkscase study for the pharmaceutical industry / by: (Electronic resources)

Proceedings of International Conference on Internet Computing and Information CommunicationsICICIC Global 2012 / by: (Electronic resources)

IAENG transactions on engineering technologiesspecial issue of the World Congress on Engineering and Computer Science 2012 / by: (Electronic resources)

Python for signal processingfeaturing IPython notebooks / by: (Electronic resources)

Synthesizable VHDL design for FPGAs by: (Electronic resources)

Advanced in computer science and its applicationsCSA 2013 / by: (Electronic resources)

Intelligent computing, networking, and informaticsproceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 / by: (Electronic resources)

Biometrics in the new worldthe cloud, mobile technology and pervasive identity / by: (Electronic resources)

Engineering secure software and systems6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings / by: (Electronic resources)

Programming languages and operational semanticsa concise overview / by: (Electronic resources)

Model-driven software migrationa methodology : Reengineering, recovery and modernization of legacy systems / by: (Electronic resources)

The privacy engineer's manifestogetting from policy to code to QA to value / by: (Electronic resources)

Irresistible appsmotivational design patterns for apps, games, and web-based communities / by: (Electronic resources)

Requirements engineeringfirst Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014 : proceedings / by: (Electronic resources)

NASA formal methods6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings / by: (Electronic resources)

Euro-Par 2013Parallel Processing Workshops : BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013 : revised selected papers / by: (Electronic resources)

Distributed applications and interoperable systems14th IFIP WG 6.1 International Conference, DAIS 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / by: (Electronic resources)

Coordination models and languages16th 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: (Electronic resources)

Optimization in science and engineeringin honor of the 60th birthday of Panos M. Pardalos / by: (Electronic resources)

Unboxing Android USBa hands-on approach with real World examples / by: (Electronic resources)

Augmented marked graphs by: (Electronic resources)

Computer aided verification26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / by: (Electronic resources)

Nostradamus 2014Prediction, Modeling and Analysis of Complex Systems / by: (Electronic resources)

Game development tool essentials by: (Electronic resources)

Novel methods and technologies for enterprise information systemsERP Future 2013 Conference, Vienna, Austria, November 2013 : revised papers / by: (Electronic resources)

A beginner's guide to Scala, object orientation and functional programming by: (Electronic resources)

Aligning business processes and information systemsnew approaches to continuous quality engineering / by: (Electronic resources)

Software engineering techniques applied to agricultural systemsan object-oriented and UML approach / by: (Electronic resources)

eScience on distributed computing infrastructureachievements of PLGrid Plus domain-specific services and tools / by: (Electronic resources)

Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / by: (Electronic resources)

A primer on scientific programming with Python by: (Electronic resources)

Platform embedded security technology revealedsafeguarding the future of computing with intel embedded security and management engine / by: (Electronic resources)

GUI design for Android apps by: (Electronic resources)

Break-glasshandling exceptional situations in access control / by: (Language materials, printed)

Science gateways for distributed computing infrastructuresdevelopment framework and exploitation by scientific user sommunities / by: (Language materials, printed)

Modeling and simulation of complex systemsa framework for efficient agent-based modeling and simulation / by: (Language materials, printed)

Design concepts for a virtualizable embedded MPSoC architectureenabling virtualization in embedded multi-processor systems / by: (Electronic resources)

Expert Oracle database architecture by: (Electronic resources)

The coder's path to wealth and independence by: (Electronic resources)

Euro-Par 2014Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014 : revised selected papers.Part II / by: (Electronic resources)

Euro-Par 2014Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014 : revised selected papers.Part I / by: (Electronic resources)

Requirements engineering for digital health by: (Electronic resources)

Advances in complex data modeling and computational methods in statistics by: (Electronic resources)

Understanding network hacksattack and defense with Python / by: (Electronic resources)

A practical guide to TPM 2.0using the new Trusted Platform Module in the new age of security / by: (Electronic resources)

Engineering secure software and systems7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers / by: (Electronic resources)

Practical enterprise software development techniquestools and techniques for large scale solutions / by: (Electronic resources)

High performance computing for computational science - VECPAR 201411th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (Electronic resources)

Logic-based program synthesis and transformation24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers / by: (Electronic resources)

Metasynthetic computing and engineering of complex systems by: (Electronic resources)

Computer science and its applications5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015 : proceedings / by: (Electronic resources)

Distributed applications and interoperable systems15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings / by: (Electronic resources)

Correct software in web applications and web services by: (Electronic resources)

Finite difference methods, theory and applications6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers / by: (Electronic resources)

Mobile and wireless technology 2015 by: (Electronic resources)

Optimization methods, theory and applications by: (Electronic resources)

Hardening Azure applications by: (Electronic resources)

Pro HTML5 with Visual Studio 2015 by: (Electronic resources)

Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II / by: (Electronic resources)

Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I / by: (Electronic resources)

Parallel computing technologies13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings / by: (Electronic resources)

Euro-Par 2015parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings / by: (Electronic resources)

Countdown to a moon launchpreparing Apollo for its historic journey / by: (Electronic resources)

Multilevel business processesmodeling and data analysis / by: (Electronic resources)

Expert Oracle Application Express by: (Electronic resources)

Introduction to concurrency theorytransition systems and CCS / by: (Electronic resources)

Petri net synthesis by: (Electronic resources)

Learning MATLABa problem solving approach / by: (Electronic resources)

Agile product developmenthow to design innovative products that create customer value / by: (Electronic resources)

Continuous delivery with Visual Studio ALM 2015 by: (Electronic resources)

Graph and model transformationgeneral framework and applications / by: (Electronic resources)

Euro-Par 2015Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers / by: (Electronic resources)

Logic-based program synthesis and transformation25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / by: (Electronic resources)

Visual Studio LightSwitch 2015 by: (Electronic resources)

Arduino music and audio projects by: (Electronic resources)

The Vixen Star Book user guidehow to use the Star Book TEN and the original Star Book / by: (Electronic resources)

Behavioral program synthesis with genetic programming by: (Electronic resources)

Multidimensional views on enterprise information systemsproceedings of ERP future 2014 / by: (Electronic resources)

Information technology in environmental engineeringproceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015) / by: (Electronic resources)

Working around disruptions of network infrastructuresmobile ad-hoc systems for resilient communication in disasters / by: (Electronic resources)

Algorithmic aspects of cloud computingfirst International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers / by: (Electronic resources)

Intelligent web data managementsoftware architectures and emerging technologies / by: (Electronic resources)

Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs / by: (Electronic resources)

Variation based dense 3D Reconstructionapplication on monocular mini-laparoscopic sequences / by: (Electronic resources)

Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / by: (Electronic resources)

Transactions on engineering technologiesInternational MultiConference of Engineers and Computer Scientists 2015 / by: (Electronic resources)

Critical infrastructuresrisk and vulnerability assessment in transportation of dangerous goods : transportation by road and rail / by: (Electronic resources)

Autonomic road transport support systems by: (Electronic resources)

Description and selection of communication services for service oriented network architectures by: (Electronic resources)

Distributed applications and interoperable systems16th IFIP WG 6.1 International Conference, DAIS 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: (Electronic resources)

Agile project management using Team Foundation Server 2015 by: (Electronic resources)

PHP 7 quick scripting reference by: (Electronic resources)

Instruction selectionprinciples, methods, and applications / by: (Electronic resources)

High performance computing in science and engineeringsecond International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers / by: (Electronic resources)

Transactions on engineering technologies by: (Electronic resources)

Rolling out 5Guse cases, applications, and technology solutions / by: (Electronic resources)

Computer aided verification28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I / by: (Electronic resources)

Computer aided verification28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II / by: (Electronic resources)

Mathematical software - ICMS 20165th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / by: (Electronic resources)

Functional safety for road vehiclesnew challenges and solutions for e-mobility and automated driving / by: (Electronic resources)

Crisis management for software development and knowledge transfer by: (Electronic resources)

Control modes on mobile software platformsempirical studies on the importance of informal control / by: (Electronic resources)

Social coordination frameworks for social technical systems by: (Electronic resources)

Computer and information sciences31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016 : proceedings / by: (Electronic resources)

Analyzing time interval dataintroducing an information system for time interval data analysis / by: (Electronic resources)

Distributed computing30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings / by: (Electronic resources)

ASP.NET MVC with entity framework and CSS by: (Electronic resources)

System architecturean ordinary engineering discipline / by: (Electronic resources)

History and philosophy of computingthird International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers / by: (Electronic resources)

Coordination of complex sociotechnical systemsself-organisation of knowledge in MoK / by: (Electronic resources)

Decision proceduresan algorithmic point of view / by: (Electronic resources)

Beginning Hibernatefor Hibernate 5 / by: (Electronic resources)

Applied computer sciences in engineeringthird Workshop on Engineering Applications, WEA 2016, Bogota, Colombia, September 21-23, 2016 : revised selected papers / by: (Electronic resources)

Programming with Python by: (Electronic resources)

Solving PDEs in Pythonthe FEniCS tutorial I / by: (Electronic resources)

Transactions on engineering technologiesWorld Congress on Engineering and Computer Science 2015 / by: (Electronic resources)

Risks and security of internet and systems11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016 : revised selected papers / by: (Electronic resources)

Applied reconfigurable computing13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017 : proceedings / by: (Electronic resources)

LEGO Mindstorms EV3the Mayan adventure / by: (Electronic resources)

Models of computation by: (Electronic resources)

Process algebras for Petri netsthe alphabetization of distributed systems / by: (Electronic resources)

Bridging the gap between requirements engineering and software architecturea problem-oriented and quality-driven method / by: (Electronic resources)

Structured object-oriented formal language and method6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (Electronic resources)

Transactions on engineering technologiesInternational MultiConference of Engineers and Computer Scientists 2016 / by: (Electronic resources)

Beginning Swift games development for iOSdevelop 2D and 3D games using Apple's SceneKit and SpriteKit / by: (Electronic resources)

Euro-Par 2016Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers / by: (Electronic resources)

Designing the digital transformation12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (Electronic resources)

Cloud broker and cloudlet for workflow scheduling by: (Electronic resources)

Advances in artificial intelligencefrom theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.Part I / by: (Electronic resources)

Advances in artificial intelligencefrom theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.Part II / by: (Electronic resources)

Descriptional complexity of formal systems19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings / by: (Electronic resources)

Data analytics31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017 : proceedings / by: (Electronic resources)

Symbolic and quantitative approaches to reasoning with uncertainty14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016 : revised selected papers / by: (Electronic resources)

High performance computing for computational science - VECPAR 201612th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (Electronic resources)

Load modelling and generation in IP-based networksa unified approach and tool support / by: (Electronic resources)

Essence of systems analysis and designa workbook approach / by: (Electronic resources)

Progress in artificial intelligence18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017 : proceedings / by: (Electronic resources)

Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Electronic resources)

Applied computer science for GGOS observatoriescommunication, coordination and automation of future geodetic infrastructures / by: (Electronic resources)

Beginning Ubuntu for Windows and Mac usersstart your journey into free and open source software / by: (Electronic resources)

Programming in HTML and PHPcoding for scientists and engineers / by: (Electronic resources)

Machine learning in medical imaging8th International Workshop, MLMI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017 : proceedings / by: (Electronic resources)

Scalable uncertainty management11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings / by: (Electronic resources)

Technologies and innovationthird International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017 : proceedings / by: (Electronic resources)

Information, communication and computing technologySecond International Conference, ICICCT 2017, New Delhi, India, May 13, 2017 : revised selected papers / by: (Electronic resources)

The semantic web - ISWC 201716th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.Part II / by: (Electronic resources)

The semantic web - ISWC 201716th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.Part I / by: (Electronic resources)

Towards integrative machine learning and knowledge extractionBIRS Workshop, Banff, AB, Canada, July 24-26, 2015 : revised selected papers / by: (Electronic resources)

Spring 5 recipesa problem-solution approach / by: (Electronic resources)

Pro Spring 5an in-depth guide to the Spring framework and its tools / by: (Electronic resources)

Theory of cryptography15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017 : proceedings.Part II / by: (Electronic resources)

Pro C# 7with .NET and .NET core / by: (Electronic resources)

Beginning XML with C# 7XML processing and data access for C# developers / by: (Electronic resources)

Organic computing - technical systems for survival in the real world by: (Electronic resources)

Financial cryptography and data security21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017 : revised selected papers / by: (Electronic resources)

System level design from HW/SW to memory for embedded systems5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguacu, Brazil, November 3-6, 2015 : proceedings / by: (Electronic resources)

Advanced gear engineering by: (Electronic resources)

Multi-disciplinary digital signal processinga functional approach using Matlab / by: (Electronic resources)

Windows 10 development with XAML and C# 7 by: (Electronic resources)

Beginning serverless computingdeveloping with Amazon Web Services, Microsoft Azure, and Google Cloud / by: (Electronic resources)

Technology trendsthird International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017 : proceedings / by: (Electronic resources)

Pro JavaFX 9a definitive guide to building desktop, mobile, and embedded Java clients / by: (Electronic resources)

Learn computer science with Swiftcomputation concepts, programming paradigms, data management, and modern component architectures with Swift and Playgrounds / by: (Electronic resources)

Computer Science - CACIC 201723rd Argentine Congress, La Plata, Argentina, October 9-13, 2017 : revised selected papers / by: (Electronic resources)

Human centered computingthird International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017 : revised selected papers / by: (Electronic resources)

Internet of Things (IoT) technologies for healthcare4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017 : proceedings / by: (Electronic resources)

Wireless sensor networks11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017 : revised selected papers / by: (Electronic resources)

Software engineering and formal methodsSEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers / by: (Electronic resources)

Low earth orbit satellite design by: (Electronic resources)

Illustrated C# 7The C# language presented clearly, concisely, and visually / by: (Electronic resources)

Mathematical foundations of advanced informatics.Volume 1,Inductive approaches by: (Electronic resources)

Post-quantum cryptography9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings / by: (Electronic resources)

Topics in cryptology - CT-RSA 2018the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.Part I / by: (Electronic resources)

Bidirectional transformationsInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures / by: (Electronic resources)

Public-key cryptography - PKC 201821st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018 : proceedings.Part II / by: (Electronic resources)

Optimizing data-to-learning-to-actionthe modern approach to continuous performance improvement for businesses / by: (Electronic resources)

Programming LEGO EV3 my blocksteaching concepts and preparing for FLL Competition / by: (Electronic resources)

Foundations of software science and computation structures21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.Part II / by: (Electronic resources)

Structured object-oriented formal language and method7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers / by: (Electronic resources)

Pro PowerShell desired state configurationan in-depth guide to Windows PowerShell DSC / by: (Electronic resources)

Handbook of model checking by: (Electronic resources)

Database systems for advanced applicationsDASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018 : proceedings / by: (Electronic resources)

Bioinspired optimization methods and their applications8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings / by: (Electronic resources)

Internet of things - ICIOT 2018third International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Electronic resources)

Services computing - SCC 201815th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Electronic resources)

Agents and artificial intelligence9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017 : revised selected papers / by: (Electronic resources)

Social, cultural and behavioral modeling11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018 : proceedings / by: (Electronic resources)

Thread and data mapping for multicore systemsimproving communication and memory accesses / by: (Electronic resources)

Intelligent transport systems - from research and development to the market uptakefirst International Conference, INTSYS 2017, Hyvinkaa, Finland, November 29-30, 2017 : proceedings / by: (Electronic resources)

Computing, analytics and networksfirst International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017 : revised selected papers / by: (Electronic resources)

Facilitating daily life integration of technologies for active and healthy agingunderstanding demands of older adults in health technology design / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part II / by: (Electronic resources)

Machine learning for dynamic software analysispotentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part IV / by: (Electronic resources)

Mobile web and intelligent information systems15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part V / by: (Electronic resources)

Practical Bot developmentdesigning and building Bots with Node.js and Microsoft Bot framework / by: (Electronic resources)

REST API development with Node.jsmanage and understand the full capabilities of successful REST development / by: (Electronic resources)

Computational thinkingfirst algorithms, then code / by: (Electronic resources)

Applications of computing and communication technologiesfirst International Conference, ICACCT 2018, Delhi, India, March 9, 2018 : revised selected papers / by: (Electronic resources)

Management perspective for transport telematics18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018 : selected papers / by: (Electronic resources)

Information security education - towards a cybersecure society11th IFIP WG 11.8 World Conference, WISE 11, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings / by: (Electronic resources)

Data privacy management, cryptocurrencies and blockchain technologyESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018 : proceedings / by: (Electronic resources)

HTML5 and JavaScript projectsbuild on your basic knowledge of HTML5 and JavaScript to create substantial HTML5 applications / by: (Electronic resources)

Applied computer sciences in engineering5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.Part I / by: (Electronic resources)

Applied computer sciences in engineering5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.Part II / by: (Electronic resources)

New trends in information and communications technology applicationsthird International Conference, NTICT 2018, Baghdad, Iraq, October 2-4, 2018 : proceedings / by: (Electronic resources)

Understanding modern dive computers and operationprotocols, models, tests, data, risk and applications / by: (Electronic resources)

Electronic votingthird International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018 : proceedings / by: (Electronic resources)

Advanced concepts for intelligent vision systems19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018 : proceedings / by: (Electronic resources)

Cloud computing and security4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers.Part VI / by: (Electronic resources)

Cloud computing and security4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers.Part V / by: (Electronic resources)

Multiple criteria decision aidmethods, examples and Python implementations / by: (Electronic resources)

New trends in model and data engineeringMEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings / by: (Electronic resources)

Provable security12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018 : proceedings / by: (Electronic resources)

Informatics in schoolsfundamentals of computer science and software engineering : 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018 : proceedings / by: (Electronic resources)

Information and communications security20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018 : proceedings / by: (Electronic resources)

PRIMA 2018principles and practice of multi-agent systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018 : proceedings / by: (Electronic resources)

Pattern recognition and computer visionfirst Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018 : proceedings.Part III / by: (Electronic resources)

Open data exposed by: (Electronic resources)

Practical Node.jsbuilding real-world scalable web apps / by: (Electronic resources)

The essential guide to HTML5using games to learn HTML5 and JavaScript / by: (Electronic resources)

Security, privacy, and applied cryptography engineering8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018 : proceedings / by: (Electronic resources)

Algorithms and architectures for parallel processing18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.Part III / by: (Electronic resources)

Privacy technologies and policy6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers / by: (Electronic resources)

Open problems in optimization and data analysis by: (Electronic resources)

Big data technologies and applications8th International Conference, BDTA 2017, Gwangju, South Korea, November 23-24, 2017 : proceedings / by: (Electronic resources)

Cryptology and network security16th International Conference, CANS 2017, Hong Kong, China, November 30-December 2, 2017 : revised selected papers / by: (Electronic resources)

Music technology with Swing13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017 : revised selected papers / by: (Electronic resources)

Security protocols XXVI26th International Workshop, Cambridge, UK, March 19-21, 2018 : revised selected papers / by: (Electronic resources)

Emerging technologies for authorization and authenticationfirst International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018 : proceedings / by: (Electronic resources)

Current trends in web engineeringICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Caceres, Spain, June 5, 2018 : revised selected papers / by: (Electronic resources)

Neural information processing25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.Part I / by: (Electronic resources)

Neural information processing25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.Part II / by: (Electronic resources)

Neural information processing25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.Part III / by: (Electronic resources)

Neural information processing25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.Part V / by: (Electronic resources)

Neural information processing25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.Part IV / by: (Electronic resources)

Neural information processing25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.Part VI / by: (Electronic resources)

Neural information processing25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.Part VII / by: (Electronic resources)

An economic interpretation of linear programming by: (Electronic resources)

Software engineeringproceedings of CSI 2015 / by: (Electronic resources)

Planetary spacecraft navigation by: (Electronic resources)

Membrane computing19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018 : revised selected papers / by: (Electronic resources)

Agile methods9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018 : revised selected papers / by: (Electronic resources)

Project managementa benefit realisation approach / by: (Electronic resources)

Software challenges to exascale computingsecond Workshop, SCEC 2018, Delhi, India, December 13-14, 2018 : proceedings / by: (Electronic resources)

Principles of security and trust8th International Conference, POST 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part II / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part III / by: (Electronic resources)

Computer vision, imaging and computer graphics - theory and applications12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 - March 1, 2017 : revised selected papers / by: (Electronic resources)

Computer and communication engineeringfirst International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018 : proceedings / by: (Electronic resources)

Using Microsoft Dynamics 365 for finance and operationslearn and understand the functionality of Microsoft's enterprise solution / by: (Electronic resources)

Futuristic trends in network and communication technologiesfirst International Conference, FTNCT 2018, Solan, India, February 9-10, 2018 : revised selected papers / by: (Electronic resources)

Digital forensics and cyber crime10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10-12, 2018 : proceedings / by: (Electronic resources)

Technology trends4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018 : revised selected papers / by: (Electronic resources)

Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers / by: (Electronic resources)

Job scheduling strategies for parallel processing22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018 : revised selected papers / by: (Electronic resources)

Risks and security of internet and systems13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018 : revised selected papers / by: (Electronic resources)

Cyber physical systemsdesign, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers / by: (Electronic resources)

Advances in computing12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings / by: (Electronic resources)

Applied computer sciences in engineering4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017 : proceedings / by: (Electronic resources)

Algorithmic decision theory5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings / by: (Electronic resources)

Cryptographic hardware and embedded systems - CHES 201719th International Conference, Taipei, Taiwan, September 25-28, 2017 : proceedings / by: (Electronic resources)

Distributed applications and interoperable systems17th IFIP WG 6.1 International Conference, DAIS 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings / by: (Electronic resources)

Human aspects of information security, privacy and trust5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (Electronic resources)

Implementation and Application of Automata22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings / by: (Electronic resources)

Industrial applications of holonic and multi-agent systems8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings / by: (Electronic resources)

Network and parallel computing14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017 : proceedings / by: (Electronic resources)

Parallel computing technologies14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings / by: (Electronic resources)

Computer science - CACIC 201824th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers / by: (Electronic resources)

Carl Adam Petriideas, personality, impact / by: (Electronic resources)

Logic programming and nonmonotonic reasoning15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings / by: (Electronic resources)

Applied cryptography and network security17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019 : proceedings / by: (Electronic resources)

Computer Vision - ACCV 201814th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.Part II / by: (Electronic resources)

Knowledge management in organizations14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part II / by: (Electronic resources)

Internet of things - ICIOT 20194th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Electronic resources)

Cloud computing - CLOUD 201912th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Electronic resources)

Practical Salesforce development without codebuilding declarative solutions on the Salesforce platform / by: (Electronic resources)

Formal methodsan appetizer / by: (Electronic resources)

Cloud computing and big data7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers / by: (Electronic resources)

Engineering multi-agent systems6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018 : revised selected papers / by: (Electronic resources)

Parallel computing technologies15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings / by: (Electronic resources)

Rules and reasoningthird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings / by: (Electronic resources)

Networked systems7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019 : revised selected papers / by: (Electronic resources)

Cooperative design, visualization, and engineering16th International Conference, CDVE 2019, Mallorca, Spain, October 6-9, 2019 : proceedings / by: (Electronic resources)

Computational methods in systems biology17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings / by: (Electronic resources)

Computational logistics10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 - October 2, 2019 : proceedings / by: (Electronic resources)

Provable security13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings / by: (Electronic resources)

Pro powershell for amazon web services by: (Electronic resources)

Computing and communication systems in urban developmenta detailed perspective / by: (Electronic resources)

PRIMA 2019principles and practice of multi-agent systems : 22nd International Conference, Turin, Italy, October 28-31, 2019 : proceedings / by: (Electronic resources)

Artificial intelligence5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019 : tutorial lectures / by: (Electronic resources)

Discovery science22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019 : proceedings / by: (Electronic resources)

Mathematics of program construction13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings / by: (Electronic resources)

Introducing Mavena build tool for today's Java developers / by: (Electronic resources)

.NET DevOps for Azurea developer's guide to DevOps architecture the right way / by: (Electronic resources)

Advances in computing13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018 : proceedings / by: (Electronic resources)

Technologies and innovation4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018 : proceedings / by: (Electronic resources)

Advances in bioinformatics and computational biology11th Brazilian Symposium on Bioinformatics, BSB 2018, Niteroi, Brazil, October 30 - November 1, 2018 : proceedings / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 201824th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018 : proceedings.Part III / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 201824th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018 : proceedings.Part I / by: (Electronic resources)

Advances in Cryptology - CRYPTO 201838th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018 : proceedings.Part I / by: (Electronic resources)

Advances in Cryptology - CRYPTO 201838th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018 : proceedings.Part II / by: (Electronic resources)

Advances in Cryptology - CRYPTO 201838th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018 : proceedings.Part III / by: (Electronic resources)

Advances in cryptology - EUROCRYPT 201837th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 : proceedings.Part III / by: (Electronic resources)

Advances in cryptology - EUROCRYPT 201837th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 : proceedings.Part II / by: (Electronic resources)

Advances in cryptology - EUROCRYPT 201837th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 : proceedings.Part I / by: (Electronic resources)

Applied reconfigurable computingarchitectures, tools, and applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018 : proceedings / by: (Electronic resources)

Cryptology and network security17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018 : proceedings / by: (Electronic resources)

Evolving OpenMP for evolving architectures14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (Electronic resources)

Financial cryptography and data security22nd International Conference, FC 2018, Nieuwpoort, Curacao, February 26 - March 2, 2018 : revised selected papers / by: (Electronic resources)

Job scheduling strategies for parallel processing21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017 : revised selected papers / by: (Electronic resources)

Number-theoretic methods in cryptologyfirst International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017 : revised selected papers / by: (Electronic resources)

Public-key cryptography - PKC 201821st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018 : proceedings.Part I / by: (Electronic resources)

Reliable software technologies - Ada-Europe 201823rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018 : proceedings / by: (Electronic resources)

Risks and security of Internet and systems12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017 : revised selected papers / by: (Electronic resources)

Security and cryptography for networks11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018 : proceedings / by: (Electronic resources)

Selected areas in cryptography - SAC 201724th International Conference, Ottawa, ON, Canada, August 16-18, 2017 : revised selected papers / by: (Electronic resources)

Technologies and innovation5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019 : proceedings / by: (Electronic resources)

A practical approach to high-performance computing by: (Electronic resources)

Information, communication and computing technology4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019 : revised selected papers / by: (Electronic resources)

Algorithms for sensor systems15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12-13, 2019 : revised selected papers / by: (Electronic resources)

Internet and distributed computing systems12th International Conference, IDCS 2019, Naples, Italy, October 10-12, 2019 : proceedings / by: (Electronic resources)

Security, privacy, and applied cryptography engineering9th International Conference, SPACE 2019, Gandhinagar, India, December 3-7, 2019 : proceedings / by: (Electronic resources)

Pro Spring securitysecuring Spring Framework 5 and Boot 2-based Java applications / by: (Electronic resources)

Agile methods10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019 : revised selected papers / by: (Electronic resources)

Methods and models in mathematical programming by: (Electronic resources)

Linear programmingfoundations and extensions / by: (Electronic resources)

Sustainable energy for smart citiesfirst EAI International Conference, SESC 2019, Braga, Portugal, December 4-6, 2019 : proceedings / by: (Electronic resources)

Software ecosystems, sustainability and human values in the social web8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belem, Brazil, October 22, 2018 : revised selected papers / by: (Electronic resources)

Service-oriented computing - ICSOC 2019 WorkshopsWESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019 : revised selected papers / by: (Electronic resources)

Beyond interactionsINTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2-6, 2019 : revised selected papers / by: (Electronic resources)

Computational advances in bio and medical sciences9th International Conference, ICCABS 2019, Miami, FL, USA, November 15-17, 2019 : revised selected papers / by: (Electronic resources)

Intelligent human computer interaction11th International Conference, IHCI 2019, Allahabad, India, December 12-14, 2019 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part II / by: (Electronic resources)

C++20 recipesa problem-solution approach / by: (Electronic resources)

Information and cyber security18th International Conference, ISSA 2019, Johannesburg, South Africa, August 15, 2019 : proceedings / by: (Electronic resources)

Tools and techniques for high performance computingselected Workshops, HUST, SE-HER and WIHPC, held in conjunction with SC 2019, Denver, CO, USA, November 17-18, 2019, Revised Selected Papers / by: (Electronic resources)

Applied reconfigurable computingarchitectures, tools, and applications : 16th International Symposium, ARC 2020, Toledo, Spain, April 1-3, 2020 : proceedings / by: (Electronic resources)

Information and communication technologies in education, research, and industrial applications15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019 : revised selected papers / by: (Electronic resources)

Applied computing to support industryinnovation and technology : first International Conference, ACRIT 2019, Ramadi, Iraq, September 15-16, 2019 : revised selected papers / by: (Electronic resources)

Modelling and development of intelligent systems6th International Conference, MDIS 2019, Sibiu, Romania, October 3-5, 2019 : revised selected papers / by: (Electronic resources)

Emerging technologies for authorization and authenticationsecond International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings / by: (Electronic resources)

Foundations of information and knowledge systems11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings / by: (Electronic resources)

New approaches to gear design and production by: (Electronic resources)

High performance computing6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25-27, 2019 : revised selected papers / by: (Electronic resources)

High performance computing systems19th Symposium, WSCAD 2018, Sao Paulo, Brazil, October 1-3, 2018 : revised selected papers / by: (Electronic resources)

Optical network design and modeling23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13-16, 2019 : proceedings / by: (Electronic resources)

Information and communications security21st International Conference, ICICS 2019, Beijing, China, December 15-17, 2019 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and method9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers / by: (Electronic resources)

Risks and security of internet and systems14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019 : proceedings / by: (Electronic resources)

Business standard compliance and requirements validation using goal models by: (Electronic resources)

Critical information infrastructures security14th International Conference, CRITIS 2019, Linkoping, Sweden, September 23-25, 2019 : revised selected papers / by: (Electronic resources)

Earth systems data processing and visualization using MATLAB by: (Electronic resources)

Intelligent technologies and applicationssecond International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6-8, 2019 : revised selected papers / by: (Electronic resources)

Modern information technology and IT education13th International Conference, SITITO 2018, Moscow, Russia, November 29 - December 2, 2018 : revised selected papers / by: (Electronic resources)

Computer science - CACIC 201925th Argentine Congress of Computer Science, CACIC 2019, Rio Cuarto, Argentina, October 14-18, 2019 : revised selected papers / by: (Electronic resources)

Data science and analytics5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15-16, 2019 : revised selected papers.Part II / by: (Electronic resources)

Smart applications and data analysisthird International Conference, SADASC 2020, Marrakesh, Morocco, June 25-26, 2020 : proceedings / by: (Electronic resources)

Computer information systems and industrial management19th International Conference, CISIM 2020, Bialystok, Poland, October 16-18, 2020 : proceedings / by: (Electronic resources)

Euro-Par 2019parallel processing workshops : Euro-Par 2019 International Workshops, Gottingen, Germany, August 26-30, 2019 : revised selected papers / by: (Electronic resources)

Computer networks27th International Conference, CN 2020, Gdansk, Poland, June 23-24, 2020 : proceedings / by: (Electronic resources)

Geoinformatics in sustainable ecosystem and society7th International Conference, GSES 2019, and first International Conference, GeoAI 2019, Guangzhou, China, November 21-25, 2019 : revised selected papers / by: (Electronic resources)

Knowledge discovery, knowledge engineering and knowledge management10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018 : revised selected papers / by: (Electronic resources)

Information systems security and privacy5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019 : revised selected papers / by: (Electronic resources)

Distributed applications and interoperable systems20th IFIP WG 6.1 International Conference, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings / by: (Electronic resources)

Benchmarking, measuring, and optimizingsecond BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019 : revised selected papers / by: (Electronic resources)

High performance computing35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22-25, 2020 : proceedings / by: (Electronic resources)

Game programming with Unity and C#a complete beginner's guide / by: (Electronic resources)

Technical, economic and societal effects of manufacturing 4.0automation, adaption and manufacturing in Finland and beyond / by: (Electronic resources)

Wireless internet12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26-27, 2019 : proceedings / by: (Electronic resources)

Business modeling and software design10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020 : proceedings / by: (Electronic resources)

Software technologies14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers / by: (Electronic resources)

Detection of intrusions and malware, and vulnerability assessment17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020 : proceedings / by: (Electronic resources)

Engineering trustworthy software systems5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: (Electronic resources)

Engineering multi-agent systems7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019 : revised selected papers / by: (Electronic resources)

Intelligent computer mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings / by: (Electronic resources)

Towards interoperable research infrastructures for environmental and earth sciencesa reference model guided approach for common challenges / by: (Electronic resources)

Code-based cryptography8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020 : revised selected papers / by: (Electronic resources)

Learn Java for Android developmentmigrating Java SE programming skills to mobile development / by: (Electronic resources)

Well-being in the information societyfruits of respect : 8th International Conference, WIS 2020, Turku, Finland, August 26-27, 2020 : proceedings / by: (Electronic resources)

New trends in information and communications technology applications4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020 : proceedings / by: (Electronic resources)

Data science6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020 : proceedings.Part II / by: (Electronic resources)

Advanced information systems engineeringCAiSE Forum 2020, Grenoble, France, June 8-12, 2020 : proceedings / by: (Electronic resources)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II / by: (Electronic resources)

Advances in cryptology - CRYPTO 202040th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020 : proceedings.Part III / by: (Electronic resources)

Parallel Problem Solving from Nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.Part II / by: (Electronic resources)

Advances in Cryptology - CRYPTO 202040th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020 : proceedings.Part I / by: (Electronic resources)

Advances in Cryptology - CRYPTO 202040th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020 : proceedings.Part II / by: (Electronic resources)

Frontiers in software engineering educationfirst International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019 : invited papers / by: (Electronic resources)

Euro-Par 2020parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings / by: (Electronic resources)

Rules and reasoning4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (Electronic resources)

Machine learning and knowledge extraction4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25-28, 2020 : proceedings / by: (Electronic resources)

Security protocols XXVII27th International Workshop, Cambridge, UK, April 10-12, 2019 : revised selected papers / by: (Electronic resources)

Advances in information and computer security15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2-4, 2020 : proceedings / by: (Electronic resources)

Augmented reality, virtual reality, and computer graphics7th International Conference, AVR 2020, Lecce, Italy, September 7-10, 2020 : proceedings.Part I / by: (Electronic resources)

Augmented reality, virtual reality, and computer graphics7th International Conference, AVR 2020, Lecce, Italy, September 7-10, 2020 : proceedings.Part II / by: (Electronic resources)

Beginning Jakarta EE web developmentusing JSP, JSF, MySQL, and Apache Tomcat for building Java web applications / by: (Electronic resources)

Exploring C++20the Programmer's introduction to C++ / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XLIVspecial issue on data management - principles, technologies, and applications / by: (Electronic resources)

The science of quantitative information flow by: (Electronic resources)

Quality of information and communications technology13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020 : proceedings / by: (Electronic resources)

Recent advances in data sciencethird International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22-24, 2019 : revised selected papers / by: (Electronic resources)

Information and software technologies26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15-17, 2020 : proceedings / by: (Electronic resources)

Applied computer sciences in engineering7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020 : proceedings / by: (Electronic resources)

KI 2020advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings / by: (Electronic resources)

Services computing - SCC 202017th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (Electronic resources)

New frontiers in artificial intelligenceJSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019 : revised selected papers / by: (Electronic resources)

Internet of things - ICIOT 20205th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (Electronic resources)

Algorithmic aspects of cloud computing5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019 : revised selected papers / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part VI / by: (Electronic resources)

Interactive collaborative robotics5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020 : proceedings / by: (Electronic resources)

Computational methods in systems biology18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part V / by: (Electronic resources)

Algorithms and architectures for parallel processing20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, proceedings.Part III / by: (Electronic resources)

Applied computer sciences in engineering6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019 : proceedings / by: (Electronic resources)

New trends in databases and information systemsADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019 : proceedings / by: (Electronic resources)

New trends in model and data engineeringMEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019 : proceedings / by: (Electronic resources)

Advances in cryptology - CRYPTO 201939th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019 : proceedings.Part II / by: (Electronic resources)

Advances in cryptology - CRYPTO 201939th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019 : proceedings.Part I / by: (Electronic resources)

Advances in cryptology - CRYPTO 201939th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019 : proceedings.Part III / by: (Electronic resources)

Advances in cryptology - EUROCRYPT 201938th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019 : proceedings.Part I / by: (Electronic resources)

Advances in cryptology - EUROCRYPT 201938th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019 : proceedings.Part II / by: (Electronic resources)

Advances in cryptology - EUROCRYPT 201938th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019 : proceedings.Part III / by: (Electronic resources)

Advances in information and computer security14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019 : proceedings / by: (Electronic resources)

Ambient Intelligence15th European Conference, AmI 2019, Rome, Italy, November 13-15, 2019 : proceedings / by: (Electronic resources)

Automated reasoning with analytic tableaux and related methods28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (Electronic resources)

Computer Security - ESORICS 201924th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings.Part I / by: (Electronic resources)

Cryptography and coding17th IMA International Conference, IMACC 2019, Oxford, UK, December 16-18, 2019 : proceedings / by: (Electronic resources)

Cryptology and network security18th International Conference, CANS 2019, Fuzhou, China, October 25-27, 2019 : proceedings / by: (Electronic resources)

Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday / by: (Electronic resources)

Euro-Par 2019parallel processing : 25th International Conference on Parallel and Distributed Computing, Gottingen, Germany, August 26-30, 2019 : proceedings / by: (Electronic resources)

Frontiers of combining systems12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings / by: (Electronic resources)

High performance computingISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019 : revised selected papers / by: (Electronic resources)

High performance computing34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019 : proceedings / by: (Electronic resources)

Implementation and application of automata24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings / by: (Electronic resources)

Industrial applications of holonic and multi-agent systems9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019 : proceedings / by: (Electronic resources)

Information security22nd International Conference, ISC 2019, New York City, NY, USA, September 16-18, 2019 : proceedings / by: (Electronic resources)

Information security and privacy24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3-5, 2019 : proceedings / by: (Electronic resources)

Knowledge management and acquisition for intelligent systems16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26-27, 2019 : proceedings / by: (Electronic resources)

Pattern recognition11th Mexican Conference, MCPR 2019, Queretaro, Mexico, June 26-29, 2019 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (Electronic resources)

The art of modelling computational systemsa journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday / by: (Electronic resources)

Transactions on computational science XXXIV by: (Electronic resources)

Beginning JavaScriptthe ultimate guide to modern JavaScript development / by: (Electronic resources)

Cloud computing, big data & emerging topics8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020 : proceedings / by: (Electronic resources)

Technologies and innovation6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020 : proceedings / by: (Electronic resources)

Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationapplications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part III / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationengineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part II / by: (Electronic resources)

Interactive storytelling13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3-6, 2020 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationverification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part I / by: (Electronic resources)

Logic, language, and securityessays dedicated to Andre Scedrov on the occasion of his 65th birthday / by: (Electronic resources)

Embedded computer systemsarchitectures, modeling, and simulation : 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020 : proceedings / by: (Electronic resources)

Intelligent computing methodologies16th International Conference, ICIC 2020, Bari, Italy, October 2-5, 2020 : proceedings.Part III / by: (Electronic resources)

Cooperative Design, Visualization, and Engineering17th International Conference, CDVE 2020, Bangkok, Thailand, October 25-28, 2020 : proceedings / by: (Electronic resources)

High performance computingISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020 : revised selected papers / by: (Electronic resources)

Frontiers in cyber securitythird International Conference, FCS 2020, Tianjin, China, November 15-17, 2020 : proceedings / by: (Electronic resources)

Understanding programming languages by: (Electronic resources)

The practice of enterprise modeling13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25-27, 2020 : proceedings / by: (Electronic resources)

Multi-agent-based simulation XX20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019 : revised selected papers / by: (Electronic resources)

Hybrid artificial intelligent systems15th International Conference, HAIS 2020, Gijon, Spain, November 11-13, 2020 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020 : revised selected papers / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 202017th International Colloquium, Macau, China, November 30 - December 4, 2020 : proceedings / by: (Electronic resources)

MonoGame masterybuild a multi-platform 2D game and reusable game engine / by: (Electronic resources)

Advances in service-oriented and cloud computingWorkshops of ESOCC 2018, Como, Italy, September 12-14, 2018 : revised selected papers / by: (Electronic resources)

Unimagined futures - ICT opportunities and challenges by: (Electronic resources)

Service-oriented computing14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 / by: (Electronic resources)

Mobile computing, applications, and services11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020 : proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services17th International Conference, GECON 2020, Izola, Slovenia, September 15-17, 2020 : revised selected papers / by: (Electronic resources)

Software verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers / by: (Electronic resources)

Deductive software verificationfuture perspectives : reflections on the occasion of 20 years of KeY / by: (Electronic resources)

Service-oriented computing18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020 : proceedings / by: (Electronic resources)

Cryptology and network security19th International Conference, CANS 2020, Vienna, Austria, December 14-16, 2020 : proceedings / by: (Electronic resources)

Theory of cryptography18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020 : proceedings.Part II / by: (Electronic resources)

Computer securityESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

Advances in computer games16th International Conference, ACG 2019, Macao, China, August 11-13, 2019 : revised selected papers / by: (Electronic resources)

Internet of things, smart spaces, and next generation networks and systems20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020 : proceedings.Part I / by: (Electronic resources)

Transactions on rough sets XXII by: (Electronic resources)

Distributed computer and communication networkscontrol, computation, communications : 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

Resource allocation for software defined networks by: (Electronic resources)

IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learningsecond International Workshop, IoT Streams 2020, and first International Workshop, ITEM 2020, co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

Knowledge discovery, knowledge engineering and knowledge management11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019 : revised selected papers / by: (Electronic resources)

High-performance computing systems and technologies in scientific research, automation of control and production10th International Conference, HPCST 2020, Barnaul, Russia, May 15-16, 2020 : revised selected papers / by: (Electronic resources)

Parallel agile - faster delivery, fewer defects, lower cost by: (Electronic resources)

Multi-agent systems and agreement technologies17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020 : revised selected papers / by: (Electronic resources)

Engineering multi-agent systems8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8-9, 2020 : revised selected papers / by: (Electronic resources)

Static analysis27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings / by: (Electronic resources)

Advances in practical applications of agents, multi-agent systems, and trustworthinessthe PAAMS Collection : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7-9, 2020 : proceedings / by: (Electronic resources)

Algorithms for computational biology7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13-15, 2020 : proceedings / by: (Electronic resources)

HCI in business, government and organizations7th International Conference, HCIBGO 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings / by: (Electronic resources)

Provable and practical security14th International Conference, ProvSec 2020, Singapore, November 29 - December 1, 2020 : proceedings / by: (Electronic resources)

Introduction to scientific programming with Python by: (Electronic resources)

Pro C# 8 with .NET Core 3foundational principles and practices in programming / by: (Electronic resources)

Practical system programming with Cpragmatic example applications in Linux and Unix-based operating systems / by: (Electronic resources)

New perspectives in software engineeringproceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) / by: (Electronic resources)

Distributed computing and internet technology17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7-10, 2021 : proceedings / by: (Electronic resources)

Lean and agile software development5th International Conference, LASD 2021, Virtual Event, January 23, 2021 : proceedings / by: (Electronic resources)

Software business11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16-18, 2020 : proceedings / by: (Electronic resources)

Collaborative computingnetworking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.Part I / by: (Electronic resources)

Model-driven engineering and software development8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020 : revised selected papers / by: (Electronic resources)

Networked systems8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings / by: (Electronic resources)

Software engineering and formal methodsSEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020 : revised selected papers / by: (Electronic resources)

Multi-agent-based simulation XXI21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020 : revised selected papers / by: (Electronic resources)

SOFSEM 2021theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings / by: (Electronic resources)

Patterns in the machinea software engineering guide to embedded development / by: (Electronic resources)

Software engineering for absolute beginnersyour guide to creating software products / by: (Electronic resources)

Theoretical computer science38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers / by: (Electronic resources)

Sustainable energy for smart citiessecond EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020 : proceedings / by: (Electronic resources)

Simulation tools and techniques12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020 : proceedings.Part I / by: (Electronic resources)

Enterprise information systems22nd International Conference, ICEIS 2020, virtual event, May 5-7, 2020 : revised selected papers / by: (Electronic resources)

Next-gen digital servicesa retrospective and roadmap for service computing of the future : essays dedicated to Michael Papazoglou on the occasion of his 65th birthday and his retirement / by: (Electronic resources)

Trustworthy AI - integrating learning, optimization and reasoningfirst International Workshop, TAILOR 2020, virtual event, September 4-5, 2020 : revised selected papers / by: (Electronic resources)

Public-key cryptography - PKC 202124th IACR International Conference on Practice and Theory of Public Key Cryptography, virtual event, May 10-13, 2021 : proceedings.Part II / by: (Electronic resources)

Integer programming and combinatorial optimization22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19-21, 2021 : proceedings / by: (Electronic resources)

Production research10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.Part I / by: (Electronic resources)

Concise guide to databasesa practical introduction / by: (Electronic resources)

Blockchain intelligencemethods, applications and challenges / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XLVIIISpecial Issue In Memory of Univ. Prof. Dr. Roland Wagner / by: (Electronic resources)

NASA formal methods13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / by: (Electronic resources)

AIxIA 2020 - advances in artificial intelligenceXIXth International Conference of the Italian Association for Artificial Intelligence, virtual event, November 25-27, 2020 : revised selected papers / by: (Electronic resources)

Service-oriented computing - ICSOC 2020 WorkshopsAIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020 : proceedings / by: (Electronic resources)

Advances in service-oriented and cloud computinginternational workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020 : revised selected papers / by: (Electronic resources)

Tools and methods of program analysis5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers / by: (Electronic resources)

Modelling to programsecond International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020 : revised selected papers / by: (Electronic resources)

Applied technologiessecond International Conference, ICAT 2020, Quito, Ecuador, December 2-4, 2020 : proceedings / by: (Electronic resources)

Perception, representations, image, sound, music14th International Symposium, CMMR 2019, Marseille, France, October 14-18, 2019 : revised selected papers / by: (Electronic resources)

Fundamental approaches to software engineering24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization21st European Conference, EvoCOP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (Electronic resources)

Artificial intelligence in music, sound, art and design10th International Conference, EvoMUSART 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (Electronic resources)

Requirements engineeringfoundation for software quality : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021 : proceedings / by: (Electronic resources)

Smart citiesthird Ibero-American Congress, ICSC-Cities 2020, San Jose, Costa Rica, November 9-11, 2020 : revised selected papers / by: (Electronic resources)

Embedded software timingmethodology, analysis and practical tips with a focus on automotive / by: (Electronic resources)

Advanced computing10th International Conference, IACC 2020, Panaji, Goa, India, December 5-6, 2020 : revised selected papers.Part II / by: (Electronic resources)

Evaluation of novel approaches to software engineering15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers / by: (Electronic resources)

Automotive software architecturesan introduction / by: (Electronic resources)

Soft computing and its engineering applicationssecond International Conference, icSoftComp 2020, Changa, Anand, India, December 11-12, 2020 : proceedings / by: (Electronic resources)

Constructive side-channel analysis and secure design11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1-3, 2020 : revised selected papers / by: (Electronic resources)

Logic-based program synthesis and transformation30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: (Electronic resources)

PRIMA 2020principles and practice of multi-agent systems : 23rd International Conference, Nagoya, Japan, November 18-20, 2020 : proceedings / by: (Electronic resources)

Cyber-physical security for critical infrastructures protectionfirst International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020 : revised selected papers / by: (Electronic resources)

Resilience in the digital age by: (Electronic resources)

From data to models and back9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers / by: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)

Advanced information systems engineering workshopsCAiSE 2021 international workshops : Melbourne, VIC, Australia, June 28 - July 2, 2021 : proceedings / by: (Electronic resources)

Agile processes in software engineering and extreme programming22nd International Conference on Agile Software Development, XP 2021, virtual event, June 14-18, 2021 : proceedings / by: (Electronic resources)

Intelligent information systemsCAiSE Forum 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021 : proceedings / by: (Electronic resources)

Enterprise, business-process and information systems modeling22nd International Conference, BPMDS 2021, and 26th International Conference, EMMSAD 2021, held at CAiSE 2021, Melbourne, VIC, Australia, June 28-29, 2021 : proceedings / by: (Electronic resources)

Big data and securitysecond International Conference, ICBDS 2020, Singapore, Singapore, December 20-22, 2020 : revised selected papers / by: (Electronic resources)

Mathematical modeling and supercomputer technologies20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020 : revised selected papers / by: (Electronic resources)

Business modeling and software design11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5-7, 2021 : proceedings / by: (Electronic resources)

Membrane computing modelsimplementations / by: (Electronic resources)

HCI International 2021 - posters23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings.Part I / by: (Electronic resources)

Parallel computational technologies15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021 : revised selected papers / by: (Electronic resources)

Membrane computing21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers / by: (Electronic resources)

Coordination models and languages23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (Electronic resources)

Artificial intelligence in education22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021 : proceedings.Part I / by: (Electronic resources)

Model and Data Engineering10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021 : proceedings / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings / by: (Electronic resources)

High performance computing36th International Conference, ISC High Performance 2021, virtual event, June 24 - July 2, 2021 : proceedings / by: (Electronic resources)

Tests and proofs15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / by: (Electronic resources)

Network and parallel computing17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020 : revised selected papers / by: (Electronic resources)

End-user development8th International Symposium, IS-EUD 2021, virtual event, July 6-8, 2021 : proceedings / by: (Electronic resources)

Human aspects of IT for the aged populationtechnology design and acceptance : 7th International Conference, ITAP 2021, held as part of the 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings.Part I / by: (Electronic resources)

The once-only principlethe TOOP Project / by: (Electronic resources)

Lean software systems engineering for developersmanaging requirements, complexity, teams, and change like a champ / by: (Electronic resources)

Real-time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

Knowledge management in organizations15th International Conference, KMO 2021, Kaohsiung, Taiwan, July 20-22, 2021 : proceedings / by: (Electronic resources)

Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (Electronic resources)

Computational sciences - modelling, computing and soft computingfirst International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020 : revised selected papers / by: (Electronic resources)

Microelectronic devices, circuits and systemssecond International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021 : revised selected papers / by: (Electronic resources)

Architecture of computing systems34th International Conference, ARCS 2021, Virtual Event, June 7-8, 2021, Proceedings / by: (Electronic resources)

Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part I / by: (Electronic resources)

Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part II / by: (Electronic resources)

Multi-agent systems18th European Conference, EUMAS 2021, virtual event, June 28-29, 2021 : revised selected papers / by: (Electronic resources)

Chinese lexical semantics21st Workshop, CLSW 2020, Hong Kong, China, May 28-30, 2020 : revised selected papers / by: (Electronic resources)

Model checking software27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationtools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part IV / by: (Electronic resources)

Artificial intelligence in intelligent systemsproceedings of 10th Computer Science On-line Conference 2021.Vol. 2 / by: (Electronic resources)

Informatics and cybernetics in intelligent systemsproceedings of 10th Computer Science On-line Conference 2021.Vol. 3 / by: (Electronic resources)

Software engineering and algorithmsproceedings of 10th Computer Science On-line Conference 2021.Vol. 1 / by: (Electronic resources)

Design thinking researchtranslation, prototyping, and measurement / by: (Electronic resources)

Cybersecurity in emerging digital erafirst International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020 : revised selected papers / by: (Electronic resources)

Cloud computing, big data & emerging topics9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021 : proceedings / by: (Electronic resources)

Quality of information and communications technology14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (Electronic resources)

Software architecture15th European Conference, ECSA 2021, virtual event, Sweden, September 13-17, 2021 : proceedings / by: (Electronic resources)

Euro-Par 2021parallel processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021 : proceedings / by: (Electronic resources)

Automated reasoning with analytic tableaux and related methods30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings / by: (Electronic resources)

Frontiers of combining systems13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / by: (Electronic resources)

Parallel computing technologies16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021 : proceedings / by: (Electronic resources)

Digital customer experience engineeringstrategies for creating effective digital experiences / by: (Electronic resources)

Petri nets for modeling of large discrete systems by: (Electronic resources)

Agile testingthe Agile way to quality / by: (Electronic resources)

Service-oriented computing15th Symposium and Summer School, SummerSOC 2021, virtual event, September 13-17, 2021 : proceedings / by: (Electronic resources)

Applied computer sciences in engineering8th Workshop on Engineering Applications, WEA 2021, Medellin, Colombia, October 6-8, 2021 : proceedings / by: (Electronic resources)

Advances in computational collective intelligence13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 - October 1, 2021 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VI / by: (Electronic resources)

Symbolic and quantitative approaches to reasoning with uncertainty16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021 : proceedings / by: (Electronic resources)

Advances in practical applications of agents, multi-agent systems, and social goodthe PAAMS Collection : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021 : proceedings / by: (Electronic resources)

Search-based software engineering13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021 : proceedings / by: (Electronic resources)

The Agile codexre-inventing Agile through the science of invention and assembly / by: (Electronic resources)

Cryptography and cryptanalysis in MATLABcreating and programming advanced algorithms / by: (Electronic resources)

Advances in model and data engineering in the digitalization eraMEDI 2021 international workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021 : proceedings / by: (Electronic resources)

Information and software technologies27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14-16, 2021 : proceedings / by: (Electronic resources)

Modern problems of roboticssecond International Conference, MPoR 2020, Moscow, Russia, March 25-26, 2020 : revised selected papers / by: (Electronic resources)

Agile processes in software engineering and extreme programming - WorkshopsXP 2021 Workshops, virtual event, June 14-18, 2021 : revised selected papers / by: (Electronic resources)

Artificial intelligence and soft computing20th International Conference, ICAISC 2021, virtual event, June 21-23, 2021 : proceedings.Part I / by: (Electronic resources)

Job scheduling strategies for parallel processing24th international workshop, JSSPP 2021, virtual event, May 21, 2021 : revised selected papers / by: (Electronic resources)

Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings / by: (Electronic resources)

Advances in conceptual modelingER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings / by: (Electronic resources)

Automated technology for verification and analysis19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings / by: (Electronic resources)

Conceptual Modeling40th International Conference, ER 2021, virtual event, October 18-21, 2021 : proceedings / by: (Electronic resources)

Fundamentals of software engineering9th International Conference, FSEN 2021, virtual event, May 19-21, 2021 : revised selected papers / by: (Electronic resources)

Statistical language and speech processing9th International Conference, SLSP 2021, Cardiff, UK, November 23-25, 2021 : proceedings / by: (Electronic resources)

Advances in computational intelligence20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021 : proceedings.Part I / by: (Electronic resources)

Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings / by: (Electronic resources)

Requirements engineering for social sector software applicationsinnovating for a diverse set of user needs / by: (Electronic resources)

Data science and computational intelligencesixteenth International Conference on Information Processing, ICInPro 2021, Bengaluru, India, October 22-24, 2021 : proceedings / by: (Electronic resources)

Techniques for searching, parsing, and matching by: (Electronic resources)

Supercomputing7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021 : revised selected papers / by: (Electronic resources)

Progress in cryptology - INDOCRYPT 202122nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021 : proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services18th International Conference, GECON 2021, virtual event, September 21-23, 2021 : proceedings / by: (Electronic resources)

Cryptology and network security20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021 : proceedings / by: (Electronic resources)

Critical information infrastructures security16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021 : revised selected papers / by: (Electronic resources)

Emerging technologies in computing4th EAI/IAER International Conference, iCETiC 2021, virtual event, August 18-19, 2021 : proceedings / by: (Electronic resources)

Domain science and engineeringa foundation for software development / by: (Electronic resources)

The practice of enterprise modeling14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021 : proceedings / by: (Electronic resources)

Software business12th international conference, ICSOB 2021, Drammen, Norway, December 2-3, 2021 : proceedings / by: (Electronic resources)

Deceptive AIfirst International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021 : proceedings / by: (Electronic resources)

Human-computer interaction7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8-10, 2021 : proceedings / by: (Electronic resources)

Theory and practice of natural computing10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings / by: (Electronic resources)

Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (Electronic resources)

Formal methods24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings / by: (Electronic resources)

HCI International 2021 - late breaking paperscognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings / by: (Electronic resources)

Secure IT Systems26th Nordic Conference, NordSec 2021, virtual event, November 29-30, 2021 : proceedings / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings / by: (Electronic resources)

HCI International 2021 - late breaking papersHCI applications in health, transport, and industry : 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings / by: (Electronic resources)

Product-focused software process improvement22nd international conference, PROFES 2021, Turin, Italy, November 26, 2021 : proceedings / by: (Electronic resources)

Formal methods: foundations and applications24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings / by: (Electronic resources)

Intelligent systems10th razilian conference, BRACIS 2021, virtual event, November 29-December 3, 2021 : proceedings.Part I / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 202127th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021 : proceedings.Part II / by: (Electronic resources)

Networked systems9th International Conference, NETYS 2021, virtual event, May 19-21, 2021 : proceedings / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems L by: (Electronic resources)

Software engineering application in informaticsproceedings of 5th Computational Methods in Systems and Software 2021.Vol. 1 / by: (Electronic resources)

Data science and intelligent systemsproceedings of 5th Computational Methods in Systems and Software 2021.Vol. 2 / by: (Electronic resources)

Hybrid high-order methodsa primer with applications to solid mechanics / by: (Electronic resources)

New perspectives in software engineeringproceedings of the 10th International Conference on Software Process Improvement (CIMPS 2021) / by: (Electronic resources)

Broadband communications, networks, and systems12th EAI International Conference, BROADNETS 2021, virtual event, October 28-29, 2021 : proceedings / by: (Electronic resources)

Requirements engineeringlaying a firm foundation / by: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)