System Performance and Evaluation.

Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-電子資源)

Pervasive computing = innovations in intelligent multimedia and applications / by: (書目-電子資源)

Multimodal usability by: (書目-電子資源)

Networking 2009 = 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009 ; proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings / by: (書目-電子資源)

Computer networks = 18th conference, CN 2011, Ustron, Poland, June 14-18, 2011 : proceedings / by: (書目-電子資源)

Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / by: (書目-電子資源)

Performance Evaluation and Planning Methods for the Next Generation Internet by: (書目-電子資源)

Guide to software development = designing and managing the life cycle / by: (書目-電子資源)

Performance evaluation, measurement and characterization of complex systems = second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / by: (書目-電子資源)

Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings / by: (書目-電子資源)

Ad Hoc networks = first international conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009 : revised selected papers / by: (書目-電子資源)

Economics of grids, clouds, systems, and services = 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings / by: (書目-電子資源)

Wired-wireless multimedia networks and services management = 12th IFIP/IEEE international conference on management of multimedia and mobile networks and services, MMNS 2009, Venice, Italy, October 26-27, 2009 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency VI by: (書目-電子資源)

Encyclopedia of parallel computing by: (書目-電子資源)

Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-電子資源)

Advances in systems safety = proceedings of the nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / by: (書目-電子資源)

Event-Triggered and Time-Triggered Control Paradigms by: (書目-電子資源)

Performance models and risk management in communications systems by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, revised selected papers / by: (書目-電子資源)

Performance Evaluation: Metrics, Models and Benchmarks = SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings / by: (書目-電子資源)

IP operations and management = 9th IEEE international workshop, IPOM 2009, Venice, Italy, October 29-30, 2009 : proceedings / by: (書目-電子資源)

Network Performance Analysis = Using the J Programming Language / by: (書目-電子資源)

Cloud computing = First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings / by: (書目-電子資源)

Level crossing methods in stochastic models by: (書目-電子資源)

Mobile Lightweight Wireless Systems = First International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009 : Revised Selected Papers / by: (書目-電子資源)

Challenges for next generation network operations and service management = 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008 : proceedings / by: (書目-電子資源)

Embedded Computer Systems: Architectures, Modeling, and Simulation = 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings / by: (書目-電子資源)

Traffic monitoring and analysis = 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012 : proceedings / by: (書目-電子資源)

Ad hoc networks = Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, revised selected papers / by: (書目-電子資源)

IP operations and management = 8th IEEE international workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / by: (書目-電子資源)

Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / by: (書目-電子資源)

Advances in information security and its application = third international conference, ISA 2009, Seoul, Korea, June 25-27, 2009 ; proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by: (書目-電子資源)

Thinkquest~2010 = international conference on Contours of Computing Technology on 13th and 14th March, 2010 / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 : proceedings / by: (書目-電子資源)

Queueing theory for telecommunications = discrete time modelling of a single node system / by: (書目-電子資源)

AccessNets = Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers / by: (書目-電子資源)

Traffic monitoring and analysis = first international workshop, TMA 2009, Aachen, Germany, May 11, 2009 ; proceedings / by: (書目-電子資源)

Networks for grid applications = Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers / by: (書目-電子資源)

Embedded computer systems : architectures, modeling, and simulation = 9th international workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009 : proceedings / by: (書目-電子資源)

Reliability and risk issues in large scale safety-critical digital control systems by: (書目-電子資源)

Biometric Systems = Technology, Design and Performance Evaluation / by: (書目-電子資源)

Topics in performance evaluation, measurement and characterization = third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011 : revised selected papers / by: (書目-電子資源)

Network computing and information security = second international conference, NCIS 2012, Shanghai, China, December 7-9, 2012 : proceedings / by: (書目-電子資源)

Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / by: (書目-電子資源)

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops : = ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-電子資源)

Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / by: (書目-電子資源)

Expert Oracle by: (書目-電子資源)

Multimodal interactive pattern recognition and applications by: (書目-電子資源)

Sensing and systems in pervasive computing = engineering context aware systems / by: (書目-電子資源)

Computer performance engineering = 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (書目-電子資源)

Human interface and the management of information = Symposium on Human Interface 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; Proceedings.. Part II,. Information and interaction / by: (書目-電子資源)

Transactions on aspect-oriented software development V by: (書目-電子資源)

Wireless and mobile networking = Second IFIP WG 6.8 Joint Conference, WMNC 2009, Gdansk, Poland, September 9-11, 2009 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (書目-電子資源)

Future generation information technology = first international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (書目-電子資源)

Performance evaluation and benchmarking of intelligent systems by: (書目-電子資源)

Energy efficient data centers = first International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 : revised selected papers / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (書目-電子資源)

Grids, clouds and virtualization by: (書目-電子資源)

Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / by: (書目-電子資源)

Scalable network monitoring in high speed networks by: (書目-電子資源)

A Software Process Model Handbook for Incorporating People's Capabilities by: (書目-電子資源)

Cloud computing = principles, systems and applications / by: (書目-電子資源)

Computer networks = 16th conference, CN 2009, Wisla, Poland, June 16 - 20, 2009 : proceedings / by: (書目-電子資源)

ImageCLEF = experimental evaluation in visual information retrieval / by: (書目-電子資源)

HPC@Green IT = green high performance computing methods / by: (書目-電子資源)

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (書目-電子資源)

Improvements in System Safety by: (書目-電子資源)

Control and automation = international conference, CA 2009. Held as part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (書目-電子資源)

Implementation and application of automata = 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings / by: (書目-電子資源)

Introduction to network simulator NS2 by: (書目-電子資源)

Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (書目-電子資源)

From scientific instrument to industrial machine = coping with architectural stress in embedded systems / by: (書目-電子資源)

Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions / by: (書目-電子資源)

Recent trends in wireless and mobile networks = Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010 : proceedings / by: (書目-電子資源)

Euro-Par 2009 - parallel processing = 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / by: (書目-電子資源)

Complex intelligent systems and their applications by: (書目-電子資源)

On the performance of web services by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (書目-電子資源)

Sensor systems and software = third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers / by: (書目-電子資源)

Interoperable electronic safety equipment = performance requirements for compatible and interoperable electronic equipment for emergency first responders / by: (書目-電子資源)

Model-based software performance analysis by: (書目-電子資源)

An Introduction to Queueing Theory and Matrix-Analytic Methods by: (書目-電子資源)

Analyzing Computer System Performance with Perl::PDQ by: (書目-電子資源)

OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (書目-電子資源)

Advances in Natural Multimodal Dialogue Systems by: (書目-電子資源)

Human interface and the management of information = interacting with information : symposium on human interface 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part II / by: (書目-電子資源)

Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (書目-電子資源)

Microsoft Content Management Server Field Guide by: (書目-電子資源)

Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (書目-電子資源)

Emerging technological risk = underpinning the risk of technology innovation / by: (書目-電子資源)

Analyzing computer system performance with PERL::PDQ by: (書目-電子資源)

Modeling and tools for network simulation by: (書目-電子資源)

Performance analysis and optimization of multi-traffic on communication networks by: (書目-電子資源)

Robust and online large-scale optimization = models and techniques for transportation systems / by: (書目-電子資源)

Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Novel algorithms for fast statistical analysis of scaled circuits by: (書目-電子資源)

Scalability of networks and services = third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009, Enschede, The Netherlands, June 30 - July 2, 2009 : proceedings / by: (書目-電子資源)

Intelligent Document Retrieval = Exploiting Markup Structure / by: (書目-電子資源)

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers / by: (書目-電子資源)

Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (書目-電子資源)

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.. Part I / by: (書目-電子資源)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-電子資源)

Traffic monitoring and analysis = third international workshop, TMA 2011, Vienna, Austria, April 27, 2011 : proceedings / by: (書目-電子資源)

Performance evaluation and benchmarking = first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers / by: (書目-電子資源)

The internet of the future = 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009 : proceedings / by: (書目-電子資源)

Wireless technology = applications, management, and security / by: (書目-電子資源)

Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: (書目-電子資源)

New frontiers in information and software as services = service and application design challenges in the cloud / by: (書目-電子資源)

Hardening Linux by: (書目-電子資源)

NETWORKING 2005 : = bnetworking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communication systems : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005 : proceedings by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings / by: (書目-電子資源)

Critical information infrastructures security = 5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 : revised papers / by: (書目-電子資源)

Scalable information systems = 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (書目-電子資源)

Stochastic models for fault tolerance = restart, rejuvenation and checkpointing / by: (書目-電子資源)

Information security and assurance = international conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011 : proceedings / by: (書目-電子資源)

Passive and active network measurement = 10th international conference, PAM 2009, Seoul, Korea, April 1-3, 2009 ; proceedings / by: (書目-電子資源)

Resilience assessment and evaluation of computing systems by: (書目-電子資源)

Requirements engineering by: (書目-電子資源)

Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (書目-電子資源)

Traffic management and traffic engineering for the future internet = first Euro-NF Workshop, Fitramen 2008, Porto, Portugal, December 11-12, 2008, revised selected papers / by: (書目-電子資源)

Dependability of networked computer-based systems by: (書目-電子資源)

High performance computing and applications = second international conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers / by: (書目-電子資源)

Verification and validation in systems engineering = assessing UML/SysML design models / by: (書目-電子資源)

Networks for grid applications = third international ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / by: (書目-電子資源)

Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers / by: (書目-電子資源)

Control Reconfiguration of Dynamical Systems = Linear Approaches and Structural Tests / by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Model-based Fault Diagnosis Techniques = Design Schemes, Algorithms, and Tools / by: (書目-電子資源)

Security Management, Integrity, and Internal Control in Information Systems = IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / by: (書目-電子資源)

Distributed computing and networking = 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010 : proceedings / by: (書目-電子資源)

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.. Part II / by: (書目-電子資源)

Safety-critical systems = problems, process and practice: proceedings of the seventeenth Safety-Critical Symposium, Brighton, UK, 3-5 February 2009 / by: (書目-電子資源)

Next Generation Teletraffic and Wired/Wireless Advanced Networking = 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings / by: (書目-電子資源)

NETWORKING 2008 = ad hoc and sensor networks, wireless networks, next generation Internet : 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008 : proceedings / by: (書目-電子資源)

Economic models and algorithms for distributed systems by: (書目-電子資源)

Ad hoc networks = third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (書目-電子資源)

Analysis, architectures and modelling of embedded systems = Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009 : Proceedings / by: (書目-電子資源)

Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / by: (書目-電子資源)

Passive and active network measurement = 9th international conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008 ; proceedings / by: (書目-電子資源)

Parallel programming = for multicore and cluster systems / by: (書目-電子資源)

Improving software testing = technical and organizational developments / by: (書目-電子資源)

Hard real-time computing systems = predictable scheduling algorithms and applications / by: (書目-電子資源)

Scheduling for parallel processing by: (書目-電子資源)

Telematics in the transport environment = 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustron, Poland, October 10-13, 2012 : selected papers / by: (書目-電子資源)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (書目-電子資源)

Management of converged multimedia networks and services = 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / by: (書目-電子資源)

Computer networks = 17th Conference, CN 2010, Ustron, Poland, June 15-19, 2010 : proceedings / by: (書目-電子資源)

Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / by: (書目-電子資源)

Advances in information security and assurance = third international conference and workshops, ISA 2009, Seoul, Korea, June 25-27, 2009 ; proceedings / by: (書目-電子資源)

Distributed applications and interoperable systems = 9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009 : proceedings / by: (書目-電子資源)

Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010 : revised selected papers / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010, proceedings / by: (書目-電子資源)

Making systems safer = proceedings of the eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 / by: (書目-電子資源)

Semantic web services = advancement through evaluation / by: (書目-電子資源)

Network and parallel computing = IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings / by: (書目-電子資源)

U- and E-Service, Science and Technology = International Conference, UNESST 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (書目-電子資源)

Human interface and the management of information = interacting with information : symposium on human interface 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part I / by: (書目-電子資源)

Automating Linux and UNIX system administration by: (書目-電子資源)

Passive and Active Network Measurement = 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings / by: (書目-電子資源)

Handbook of mobile ad hoc networks for mobility models by: (書目-電子資源)

Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers / by: (書目-電子資源)

The Robosapien Companion = Tips, Tricks, and Hacks / by: (書目-電子資源)

Critical information infrastructures security = 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009 : revised papers / by: (書目-電子資源)

Foundations of computer software = future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / by: (書目-電子資源)

Guide to Advanced Empirical Software Engineering by: (書目-電子資源)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (書目-電子資源)

Quality of Software Architectures and Software Quality : = First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings by: (書目-電子資源)

Reliable software technologies-Ada-Europe 2009 = 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / by: (書目-電子資源)

Tests and proofs = third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings / by: (書目-電子資源)

SOFSEM 2009 = theory and practice of computer science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 24-30, 2009 : proceedings / by: (書目-電子資源)

Resilient Networks and Services = Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings / by: (書目-電子資源)

Distributed computing in sensor systems = 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009 : proceedings / by: (書目-電子資源)

Principles, systems and applications of IP telecommunications = services and security for next generation networks : second international conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008, revised selected papers / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 : proceedings / by: (書目-電子資源)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (書目-電子資源)

Computer networks = 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012 : proceedings / by: (書目-電子資源)

Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (書目-電子資源)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-電子資源)

Stochastic Discrete Event Systems = Modeling, Evaluation, Applications / by: (書目-電子資源)

Evaluating AAL systems through competitive benchmarking : indoor localization and tracking = International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011 : revised selected papers / by: (書目-電子資源)

Testbeds and research infrastructure = development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / by: (書目-電子資源)

Future Multimedia Networking = Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings / by: (書目-電子資源)

Expert Oracle database architecture = Oracle database 9i, 10g, and 11g programming techniques and solutions / by: (書目-電子資源)

Management enabling the future internet for changing business and new computing services = 12th Asia-Pacific Network Operations and Management Symposium, APNOMS 2009, Jeju, South Korea, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Reconfigurable Computing: Architectures, Tools and Applications = 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings / by: (書目-電子資源)

Lean Business Systems and Beyond by: (書目-電子資源)

Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Real-time systems = design principles for distributed embedded applications / by: (書目-電子資源)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden / by: (書目-電子資源)

Traffic monitoring and analysis = second international workshop, TMA 2010, Zurich, Switzerland, April 7, 2010 : proceedings / by: (書目-電子資源)

Service placement in ad hoc networks by: (書目-電子資源)

Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (書目-電子資源)

Network control and optimization = Third Euro-NF Conference, NET-COOP 2009, Eindhoven, The Netherlands, November 23-25, 2009 : proceedings / by: (書目-電子資源)

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (書目-電子資源)

Advances in Software Engineering = International 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: (書目-電子資源)

Accelerating test, validation and debug of high speed serial interfaces by: (書目-電子資源)

Soft errors in modern electronic systems by: (書目-電子資源)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-電子資源)

Software Process Modeling by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Embedded Computer Systems: Architectures, Modeling, and Simulation = 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings / by: (書目-電子資源)

Quality, reliability, security and robustness in heterogeneous networks = 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010 : revised selected papers / by: (書目-電子資源)

Wireless algorithms, systems, and applications = third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (書目-電子資源)

Quality of service in heterogeneous networks = 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23 - 25, 2009 : Proceedings / by: (書目-電子資源)