System Performance and Evaluation.

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

Web Engineering by: (書目-電子資源)

Performance Analysis of Network Architectures by: (書目-電子資源)

Advances in Grid and Pervasive ComputingFirst International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings / by: (書目-電子資源)

NETWORKING 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19 2006 / by: (書目-電子資源)

Next Generation Teletraffic and Wired6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings / by: (書目-電子資源)

Formal Methods and Stochastic Models for Performance EvaluationThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / by: (書目-電子資源)

Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017)6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings / by: (書目-電子資源)

Reconfigurable Computing: Architectures and ApplicationsSecond International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers / by: (書目-電子資源)

Dependable Systems: Software, Computing, NetworksResearch Results of the DICS Program / by: (書目-電子資源)

Wireless Algorithms, Systems, and ApplicationsFirst International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings / by: (書目-電子資源)

Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by: (書目-電子資源)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148)16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings / by: (書目-電子資源)

Quality of Software ArchitecturesSecond International Conference on Quality of Software Architectures, QoSA 2006, Vasteras, Schweden, June 27-29, 2006, Revised Papers / by: (書目-電子資源)

Frontiers of High Performance Computing and Networking ? ISPA 2006 WorkshopsISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006 : proceedings / by: (書目-電子資源)

Parallel and Distributed Processing and Applications (vol. # 4330)4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings / by: (書目-電子資源)

Pro Oracle Database 10g RAC on LinuxInstallation, Administration, and Performance / by: (書目-電子資源)

Quantitative measure for discrete event supervisory control by: (書目-電子資源)

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

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

Dependable Computing - EDCC 20055th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / 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: (書目-電子資源)

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

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

Formal Techniques for Computer Systems and Business ProcessesEuropean 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: (書目-電子資源)

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

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

Parallel and Distributed Processing and Applications :Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 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: (書目-電子資源)

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

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

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

Distributed Embedded Systems: Design, Middleware and ResourcesIFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy / by: (書目-電子資源)

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

The Common Component Modeling ExampleComparing Software Component Models / by: (書目-電子資源)

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

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

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

The Testing NetworkAn Integral Approach to Test Activities in Large Software Projects / by: (書目-電子資源)

Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

IP operations and management8th IEEE international workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / by: (書目-語言資料,印刷品)

Management of converged multimedia networks and services11th 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 performance engineering5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (書目-語言資料,印刷品)

Level crossing methods in stochastic models by: (書目-語言資料,印刷品)

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

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

SOFSEM 2009theory 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Human interface and the management of informationSymposium 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Security and privacy in mobile information and communication systemsFirst International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Architecting dependable systems VI by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Quality of service in heterogeneous networks6th 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: (書目-電子資源)

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

Software configuration management using Vesta by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A process algebraic approach to software architecture design by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

Algorithms for sensor systems6th 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Human interface and the management of informationinteracting 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: (書目-電子資源)

Human interface and the management of informationinteracting 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Algorithms for sensor systems7th 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: (書目-電子資源)

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

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

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

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

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

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

Quality, reliability, security and robustness in heterogeneous networks7th 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: (書目-電子資源)

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

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

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

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

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

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

Performance metrics for haptic interfaces by: (書目-電子資源)

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

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

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

Data management in cloud, grid and P2P systems5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012 : proceedings / by: (書目-電子資源)

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

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

Constituents of modern system-safety thinkingproceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 / by: (書目-電子資源)

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

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

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

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

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

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

Developments in risk-based approaches to safetyproceedings of the fourteenth Safety-critical Systems Symposium, Bristol, UK, 7-9 February 2006 / by: (書目-語言資料,印刷品)

Advanced methods, techniques, and applications in modeling and simulationAsia Simulation Conference 2011, Seoul, Korea, November 2011 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

Economics of grids, clouds, systems, and services9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (書目-電子資源)

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

Benchmarking transaction and analytical processing systemsthe creation of a mixed workload benchmark and its application / by: (書目-電子資源)

3D future internet media by: (書目-電子資源)

Wireless sensor networks11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (書目-電子資源)

Performance characterization and benchmarking5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013 : revised selected papers / by: (書目-電子資源)

Cloud computing patternsfundamentals to design, build, and manage cloud applications / by: (書目-電子資源)

Passive and active measurement15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014 : proceedings / by: (書目-電子資源)

Distributed computer and communication networks17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013 : revised selected papers / by: (書目-電子資源)

Parallel Computational Fluid Dynamics25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / by: (書目-電子資源)

Advances in wireless sensor networks7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013 : revised selected papers / by: (書目-電子資源)

Traffic monitoring and analysis6th International Workshop, TMA 2014, London, UK, April 14, 2014 : proceedings / by: (書目-電子資源)

Cloud computing4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013 : revised selected papers / by: (書目-電子資源)

Requirements engineeringfirst Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014 : proceedings / by: (書目-電子資源)

Communication technologies for vehicles6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014 : proceedings / by: (書目-電子資源)

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

Introduction to software quality by: (書目-電子資源)

Computer networks21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014 : proceedings / by: (書目-電子資源)

Energy-efficient data centerssecond International Workshop, E2DC 2013, Berkeley, CA, USA, May 21, 2013 : revised selected papers / by: (書目-電子資源)

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

Supercomputing29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014 : proceedings / by: (書目-電子資源)

Handbook of biometric anti-spoofingtrusted biometrics under spoofing attacks / by: (書目-電子資源)

Advanced computer architecture10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014 : proceedings / by: (書目-電子資源)

Euro-Par 2014 parallel processing20th International Conference, Porto, Portugal, August 25-29, 2014 : proceedings / by: (書目-電子資源)

Internet of things, smart spaces, and next generation networks and systems14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (書目-電子資源)

AsiaSim 201414th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014 : proceedings / by: (書目-語言資料,印刷品)

High performance computing systemsperformance modeling, benchmarking and simulation : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Using and improving OpenMP for devices, tasks, and more10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014 : proceedings / by: (書目-語言資料,印刷品)

Model-driven engineering languages and systems17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014 : proceedings / by: (書目-語言資料,印刷品)

Computational intelligence, networked systems and their applicationsInternational Conference of Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 20-23, 2014 : proceedings.Part II / by: (書目-語言資料,印刷品)

High performance computingFirst HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014 : proceedings / by: (書目-語言資料,印刷品)

Foundational and practical aspects of resource analysisthird International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers / by: (書目-電子資源)

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

Testbeds and research infrastructuredevelopment of networks and communities : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014 : revised selected papers / by: (書目-電子資源)

Information technologies and mathematical modelling13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014 : proceedings / by: (書目-電子資源)

Euro-Par 2014Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014 : revised selected papers.Part II / by: (書目-電子資源)

Euro-Par 2014Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014 : revised selected papers.Part I / by: (書目-電子資源)

IT quality management by: (書目-電子資源)

Novel 3D media technologies by: (書目-電子資源)

Wireless sensor networks12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (書目-電子資源)

Mobile networks and management6th International Conference, MONAMI 2014, Wurzburg, Germany, September 22-26, 2014 : revised selected papers / by: (書目-電子資源)

Geo-informatics in resource management and sustainable ecosystemsecond International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014 : proceedings / by: (書目-電子資源)

Performance characterization and benchmarkingtraditional to big data : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1-5, 2014 : revised selected papers / by: (書目-電子資源)

Energy efficient data centersthird International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014 : revised selected papers / by: (書目-電子資源)

Cloud computing5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014 : revised selected papers / by: (書目-電子資源)

Parallel scientific computingtheory, algorithms,and applications of mesh based and meshless methods / by: (書目-電子資源)

Supercomputing for molecular dynamics simulationshandling multi-trillion particles in nanofluidics / by: (書目-電子資源)

Passive and active measurement16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015 : proceedings / by: (書目-電子資源)

Traffic monitoring and analysis7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015 : proceedings / by: (書目-電子資源)

High performance computing systemsperformance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014 : revised selected papers / by: (書目-電子資源)

High performance computing for computational science - VECPAR 201411th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (書目-電子資源)

Communication technologies for vehicles8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015 : proceedings / by: (書目-電子資源)

Computer networks22nd International Conference, CN 2015, Brunow, Poland, June 16-19, 2015 : proceedings / by: (書目-電子資源)

Advances in wireless sensor networksThe 8th China Conference, CWSN 2014, Xi'an, China, October 31 - November 2, 2014 : revised selected papers / by: (書目-電子資源)

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

MAC protocols for cyber-physical systems by: (書目-電子資源)

Trustworthy computing and servicesInternational Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014 : revised selected papers / by: (書目-電子資源)

High performance computing30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015 : proceedings / by: (書目-電子資源)

Tools for high performance computing 2014proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany / by: (書目-電子資源)

Fault-tolerance techniques for high-performance computing by: (書目-電子資源)

Wireless algorithms, systems, and applications10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings / by: (書目-電子資源)

Euro-Par 2015parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings / by: (書目-電子資源)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015 : proceedings / by: (書目-電子資源)

Computer performance engineering12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings / by: (書目-電子資源)

Sustainable designHCI, usability and environmental concerns / by: (書目-電子資源)

Collaborative information seekingbest practices, new domains and new thoughts / by: (書目-電子資源)

Real-Time C++efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

OpenMPheterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (書目-電子資源)

Information technologies and mathematical modellingqueueing theory and applications : 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015 : proceedings / by: (書目-電子資源)

Future access enablers for ubiquitous and intelligent infrastructuresfirst International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015 : revised selected papers / by: (書目-電子資源)

Euro-Par 2015Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers / by: (書目-電子資源)

Mobile networks and management7th International Conference, MONAMI 2015, Santander, Spain, September 16-18, 2015 : revised selected papers / by: (書目-電子資源)

Cloud computing and big datasecond International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers / by: (書目-電子資源)

Embedded system technology13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers / by: (書目-電子資源)

Sustainable transportationindicators, frameworks, and performance management / by: (書目-電子資源)

Diagnosis and fault-tolerant control by: (書目-電子資源)

Cyberneticsfrom past to future / by: (書目-電子資源)

Oracle Solaris and Veritas clusteran easy-build guide / by: (書目-電子資源)

Geo-informatics in resource management and sustainable ecosystemthird International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015 : revised selected papers / by: (書目-電子資源)

Computer engineering and technology19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers / by: (書目-電子資源)

Isochronous wireless network for real-time communication in industrial automation by: (書目-電子資源)

The accidental SysAdmin handbooka primer for early level IT professionals / by: (書目-電子資源)

Distributed computer and communication networks18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015 : revised selected papers / by: (書目-電子資源)

Passive and active measurement17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016 : proceedings / by: (書目-電子資源)

Performance evaluation and benchmarkingtraditional to big data to internet of things : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015 : revised selected papers / by: (書目-電子資源)

Critical information infrastructures security9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014 : revised selected papers / by: (書目-電子資源)

Web services, formal methods, and behavioral types11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / by: (書目-電子資源)

Business intelligence5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015 : tutorial lectures / by: (書目-電子資源)

Cloud computing6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings / by: (書目-電子資源)

Software process improvement and capability determination16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings / by: (書目-電子資源)

Computer networks23rd International Conference, CN 2016, Brunow, Poland, June 14-17, 2016 : proceedings / by: (書目-電子資源)

Critical Information Infrastructures Security10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015 : revised selected papers / by: (書目-電子資源)

Communication technologies for vehicles10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016 : proceedings / by: (書目-電子資源)

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

Content distribution for mobile interneta cloud-based approach / by: (書目-電子資源)

High performance computing31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings / by: (書目-電子資源)

Advances in data miningapplications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings / by: (書目-電子資源)

Support vector machines and perceptronslearning, optimization, classification, and application to social networks / by: (書目-電子資源)

Information technologies and mathematical modellingqueueing theory and applications : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016 : proceedings / by: (書目-電子資源)

Advanced computer architecture11th Conference, ACA 2016, Weihai, China, August 22-23, 2016 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016 : proceedings / by: (書目-電子資源)

Interactive theorem proving7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Human-centered and error-resilient systems developmentIFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016 : proceedings / by: (書目-電子資源)

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

Internet of things, smart spaces, and next generation networks and systems16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016 : proceedings / by: (書目-電子資源)

Computer performance engineering13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (書目-電子資源)

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

Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (書目-電子資源)

Implementing DirectAccess with Windows Server 2016 by: (書目-電子資源)

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

High performance computingISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016 : revised selected papers / by: (書目-電子資源)

Personal satellite servicesnext-generation satellite networking and communication systems : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014 : revised selected papers / by: (書目-電子資源)

High performance SQL Serverthe Go Faster book / by: (書目-電子資源)

Healthcare interoperability standards compliance handbookconformance and testing of healthcare data exchange standards / by: (書目-電子資源)

Internetwarea new software paradigm for internet computing / by: (書目-電子資源)

Machine learning, optimization, and big datasecond International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers / by: (書目-電子資源)

Distributed computer and communication networks19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016 : revised selected papers / by: (書目-電子資源)

Data-driven technology for engineering systems health managementdesign approach, feature construction, fault diagnosis, prognosis, fusion and decisions / by: (書目-電子資源)

LTE-A cellular networksmulti-hop relay for coverage, capacity and performance enhancement / by: (書目-電子資源)

Spectrum access and management for cognitive radio networks by: (書目-電子資源)

Testbeds and research infrastructures for the development of networks and communities11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016 : revised selected papers / by: (書目-電子資源)

Mobile networks and management8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016 : proceedings / by: (書目-電子資源)

Performance evaluation and benchmarkingtraditional - big data - Interest of Things : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016 : rvised selected papers / by: (書目-電子資源)

Connected media in the future internet era by: (書目-電子資源)

QoS and energy management in cognitive radio networkcase study approach / by: (書目-電子資源)

Python for graph and network analysis by: (書目-電子資源)

Cloud service benchmarkingmeasuring quality of cloud services from a client perspective / by: (書目-電子資源)

Geo-spatial knowledge and intelligence4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016 : revised selected papers.Part I / by: (書目-電子資源)

Geo-spatial knowledge and intelligence4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016 : revised selected papers.Part II / by: (書目-電子資源)

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example by: (書目-電子資源)

Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (書目-電子資源)

Communication Technologies for Vehicles12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings / by: (書目-電子資源)

Algorithmic aspects of cloud computingsecond International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016 : revised selected papers / by: (書目-電子資源)

Learn Ionic 2develop multi-platform mobile apps / by: (書目-電子資源)

Cloud-based benchmarking of medical image analysis by: (書目-電子資源)

Engineering scalable, elastic, and cost-efficient cloud computing applicationsthe CloudScale method / by: (書目-電子資源)

Building an intuitive multimodal interface for a smart homehunting the SNARK / by: (書目-電子資源)

Computer networks24th International Conference, CN 2017, Ladek Zdroj, Poland, June 20-23, 2017 : proceedings / by: (書目-電子資源)

Euro-Par 2016Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers / by: (書目-電子資源)

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

Security of networks and services in an all-connected world11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017 : proceedings / by: (書目-電子資源)

Wired/wireless internet communications15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017 : proceedings / by: (書目-電子資源)

Graph transformation10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings / by: (書目-電子資源)

Modelling foundations and applications13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (書目-電子資源)

Advances in data miningapplications and theoretical aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017 : proceedings / by: (書目-電子資源)

Business intelligence6th European Summer School, eBISS 2016, Tours, France, July 3-8, 2016 : tutorial lectures / by: (書目-電子資源)

Economics of grids, clouds, systems, and services13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016 : revised selected papers / by: (書目-電子資源)

High performance computing for computational science - VECPAR 201612th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (書目-電子資源)

Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part I / by: (書目-電子資源)

Sustainability, green IT and education strategies in the twenty-first century by: (書目-電子資源)

Quality, reliability, security and robustness in heterogeneous networks12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings / by: (書目-電子資源)

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

Systems, software and services process improvement24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (書目-電子資源)

Future network systems and securitythird International Conference, FNSS 2017, Gainesville, FL, USA, August 31 - September 2, 2017 : proceedings / by: (書目-電子資源)

Challenges and opportunity with big data19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: (書目-電子資源)

Computer network security7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (書目-電子資源)

Interactive theorem proving8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (書目-電子資源)

Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (書目-電子資源)

Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / by: (書目-電子資源)

Data management and analytics for medicine and healthcarethird International Workshop, DMAH 2017, held at VLDB 2017, Munich, Germany, September 1, 2017 : proceedings / by: (書目-電子資源)

Guide to modeling and simulation of systems of systems by: (書目-電子資源)

Distributed computer and communication networks20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017 : proceedings / by: (書目-電子資源)

Software process improvement and capability determination17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / by: (書目-電子資源)

Information technologies and mathematical modellingqueueing theory and applications : 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017 : proceedings / by: (書目-電子資源)

Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (書目-電子資源)

DataFlow supercomputing essentialsresearch, development and education / by: (書目-電子資源)

Combinatorial testing in cloud computing by: (書目-電子資源)

Internet video data streamingenergy-saving and cost-aware methods / by: (書目-電子資源)

Internet of things, smart spaces, and next generation networks and systems17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017 : proceedings / by: (書目-電子資源)

Economics of grids, clouds, systems, and services14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017 : proceedings / by: (書目-電子資源)

Service-oriented computing - ICSOC 2016 workshopsASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016 : revised selected papers / by: (書目-電子資源)

Recurrent neural networks for short-term load forecastingan overview and comparative analysis / by: (書目-電子資源)

Advances in conceptual modelingER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017 : proceedings / by: (書目-電子資源)

Formal methodsfoundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (書目-電子資源)

Programming languages and systems15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (書目-電子資源)

DataFlow supercomputing essentialsalgorithms, applications and implementations / by: (書目-電子資源)

Virtual reality and augmented reality14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017 : proceedings / by: (書目-電子資源)

Computer and network security essentials by: (書目-電子資源)

Communications and networking11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016 : proceedings.Part I / by: (書目-電子資源)

Communications and networking11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016 : proceedings.Part II / by: (書目-電子資源)

Advanced maintenance policies for shock and damage models by: (書目-電子資源)

Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers / by: (書目-電子資源)

5G for future wireless networksfirst International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017 : proceedings / by: (書目-電子資源)

Wireless internet9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016 : proceedings / by: (書目-電子資源)

Performance evalution and benchmarking for the analytics era9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017 : revised selected papers / by: (書目-電子資源)

Mobile Internet SecurityFirst International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016 : revised selected papers / by: (書目-電子資源)

Advances in service-oriented and cloud computingworkshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016 : revised selected papers / by: (書目-電子資源)

Greening video distribution networksenergy-efficient internet video delivery / by: (書目-電子資源)

Perspectives of system informatics11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers / by: (書目-電子資源)

Image and video technology8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017 : revised selected papers / by: (書目-電子資源)

Lectures on runtime verificationintroductory and advanced topics / by: (書目-電子資源)

Euro-Par 2017parallel processing workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers / by: (書目-電子資源)

Advances in service-oriented and cloud computingworkshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers / by: (書目-電子資源)

Communications and networking12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.Part II / by: (書目-電子資源)

Wireless and satellite systems9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017 : proceedings / by: (書目-電子資源)

Communications and networking12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.Part I / by: (書目-電子資源)

NASA formal methods10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (書目-電子資源)

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

Real-Time C++efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

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

Principles of security and trust7th International Conference, POST 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: (書目-電子資源)

Communication technologies for vehicles13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018 : proceedings / by: (書目-電子資源)

Functional and logic programming14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

Wireless internet10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017 : proceedings / by: (書目-電子資源)

New frontiers in quantitative methods in informatics7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers / by: (書目-電子資源)

Autonomous control for a reliable internet of servicesmethods, models, approaches, techniques, algorithms, and tools / by: (書目-電子資源)

Advanced information systems engineering30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings / by: (書目-電子資源)

High performance computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (書目-電子資源)

Open source systemsenterprise software and solutions : 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018 : proceedings / by: (書目-電子資源)

Evaluation of novel approaches to software engineering12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers / by: (書目-電子資源)

Software technologies12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (書目-電子資源)

Service-oriented computing - ICSOC 2017 WorkshopsASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers / by: (書目-電子資源)

Cloud computing - CLOUD 201811th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (書目-電子資源)

Big Data - BigData 20187th International Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (書目-電子資源)

Services - SERVICES 201814th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Formal methods22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (書目-電子資源)

Advances in databases and information systems22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018 : proceedings / by: (書目-電子資源)

Interactive theorem proving9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings / by: (書目-電子資源)

Applications of computing and communication technologiesfirst International Conference, ICACCT 2018, Delhi, India, March 9, 2018 : revised selected papers / by: (書目-電子資源)

Big data analytics and knowledge discovery20th International Conference, DaWaK 2018, Regensburg, Germany, September 3-6, 2018 : proceedings / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (書目-電子資源)

Static analysis25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings / by: (書目-電子資源)

Ad-hoc, mobile, and wireless networks17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018 : proceedings / by: (書目-電子資源)

Computer and information sciences32nd International Symposium, ISCIS 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018 : proceedings / by: (書目-電子資源)

Software process improvement and capability determination18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings / by: (書目-電子資源)

Software architecture12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 : proceedings / by: (書目-電子資源)

Internet of things, smart spaces, and next generation networks and systems18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27-29, 2018 : proceedings / by: (書目-電子資源)

Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (書目-電子資源)

Kronecker modeling and analysis of multidimensional Markovian systems by: (書目-電子資源)

Big data6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018 : proceedings / by: (書目-電子資源)

Graph data managementfundamental issues and recent developments / by: (書目-電子資源)

On the move to meaningful internet systemsOTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018 : proceedings.Part I / by: (書目-電子資源)

Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (書目-電子資源)

Information systems security14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018 : proceedings / by: (書目-電子資源)

Wired/wireless internet communications16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18-20, 2018 : proceedings / by: (書目-電子資源)

Privacy technologies and policy6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers / by: (書目-電子資源)

Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (書目-電子資源)

Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (書目-電子資源)

Verified softwaretheories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers / by: (書目-電子資源)

Wired/wireless internet communications14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016 : proceedings / by: (書目-電子資源)

System performance and management analytics by: (書目-電子資源)

Semantic modeling and enrichment of mobile and WiFi network data by: (書目-電子資源)

Performance evaluation and benchmarking for the era of artificial intelligence10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27-31, 2018 : revised selected papers / by: (書目-電子資源)

Information and operational technology security systemsfirst International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018 : revised selected papers / by: (書目-電子資源)

Fuzzy logic and applications12th International Workshop, WILF 2018, Genoa, Italy, September 6-7, 2018 : revised selected papers / by: (書目-電子資源)

Transactions on pattern languages of programming IV by: (書目-電子資源)

Internet of thingsinformation processing in an increasingly connected world : first IFIP International Cross-Domain Conference, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018 : revised selected papers / by: (書目-電子資源)

High performance computing5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26-28, 2018 : revised selected papers / by: (書目-電子資源)

Computer simulation validationfundamental concepts, methodological frameworks, and philosophical perspectives / by: (書目-電子資源)

Passive and Active Measurement20th International Conference, PAM 2019, Puerto Varas, Chile, March 27-29, 2019 : proceedings / by: (書目-電子資源)

Human centered computing4th International Conference, HCC 2018, Merida, Mexico, December, 5-7, 2018 : revised selected papers / by: (書目-電子資源)

High-performance modelling and simulation for big data applicationsselected results of the COST Action IC1406 cHiPSet / by: (書目-電子資源)

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

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

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

Fundamental approaches to software engineering22nd International Conference, FASE 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: (書目-電子資源)

Programming languages and systems28th European Symposium on Programming, ESOP 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: (書目-電子資源)

Handbook of biometric anti-spoofingpresentation attack detection / by: (書目-電子資源)

Big scientific data benchmarks, architecture, and systemsfirst Workshop, SDBA 2018, Beijing, China, June 12, 2018 : revised selected papers / by: (書目-電子資源)

E-business and telecommunications14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017 : revised selected paper / by: (書目-電子資源)

Mobile, secure, and programmable networking4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018 : revised selected papers / by: (書目-電子資源)

Data quality and trust in big data5th International Workshop, QUAT 2018, held in conjunction with WISE 2018, Dubai, UAE, November 12-15, 2018 : revised selected papers / by: (書目-電子資源)

Data mining and big datasecond International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings / by: (書目-電子資源)

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

High performance computing32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings / by: (書目-電子資源)

Mastering scale and complexity in software reuse16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings / by: (書目-電子資源)

Passive and active measurement18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017 : proceedings / by: (書目-電子資源)

Service-oriented computing15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017 : proceedings / by: (書目-電子資源)

Advanced hybrid information processingsecond EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018 : proceedings / by: (書目-電子資源)

Open source systems15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings / by: (書目-電子資源)

Artificial intelligence applications and innovationsAIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019 : proceedings / by: (書目-電子資源)

Ubiquitous communications and network computingsecond EAI International Conference, Bangalore, India, February 8-10, 2019 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (書目-電子資源)

Introduction to queueing systems with telecommunication applications by: (書目-電子資源)

Computational intelligence, communications, and business analyticssecond International Conference, CICBA 2018, Kalyani, India, July 27-28, 2018 : revised selected papers.Part I / by: (書目-電子資源)

Evaluation of novel approaches to software engineering13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part VI / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part II / by: (書目-電子資源)

Services - SERVICES 201915th World Congress, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (書目-電子資源)

Web services - ICWS 201926th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (書目-電子資源)

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

Reuse in the big data era18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019 : proceedings / by: (書目-電子資源)

Data mining and big data4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings / by: (書目-電子資源)

Emerging technologies in computingsecond International Conference, iCETiC 2019, London, UK, August 19-20, 2019 : proceedings / by: (書目-電子資源)

Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II / by: (書目-電子資源)

Embedded computer systemsarchitectures, modeling, and simulation : 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019 : proceedings / by: (書目-電子資源)

Flexible query answering systems13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019 : proceedings / by: (書目-電子資源)

Ad-Hoc, mobile, and wireless networks18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019 : proceedings / by: (書目-電子資源)

Model checking software26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: (書目-電子資源)

Tests and proofs13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings / by: (書目-電子資源)

Fundamentals of software engineering8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (書目-電子資源)

From reactive systems to cyber-physical systemsessays dedicated to Scott A. Smolka on the occasion of his 65th birthday / by: (書目-電子資源)

Software engineering and methodology for emerging domains16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018 : revised selected papers / by: (書目-電子資源)

Advanced informatics for computing researchthird International Conference, ICAICR 2019, Shimla, India, June 15-16, 2019 : revised selected papers.Part II / by: (書目-電子資源)

Information technologies and mathematical modellingqueueing theory and applications : 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26-30, 2019 : revised selected papers / by: (書目-電子資源)

Service-oriented computing17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019 : proceedings / by: (書目-電子資源)

Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (書目-電子資源)

Computing and software sciencestate of the art and perspectives / by: (書目-電子資源)

Financial cryptography and data security23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019 : revised selected papers / by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XLII by: (書目-電子資源)

Mathematics of program construction13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings / by: (書目-電子資源)

Computer networks25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018 : proceedings / by: (書目-電子資源)

Information and communication technologies in education, research, and industrial applications13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017 : revised selected papers / by: (書目-電子資源)

Big data analytics6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018 : proceedings / by: (書目-電子資源)

Computer performance engineering15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018 : proceedings / by: (書目-電子資源)

Distributed computing and internet technology14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11-13, 2018 : proceedings / by: (書目-電子資源)

Modelling foundations and applications14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018 : proceedings / by: (書目-語言資料,印刷品)

New opportunities for software reuse17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018 : proceedings / by: (書目-電子資源)

Programming languages and systems16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings / by: (書目-電子資源)

Social computing and social mediatechnologies and analytics : 10th International Conference, SCSM 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : proceedings.Part I / by: (書目-語言資料,印刷品)

Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / by: (書目-電子資源)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / by: (書目-電子資源)

Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings / by: (書目-電子資源)

Virtual reality and augmented reality15th EuroVR International Conference, EuroVR 2018, London, UK, October 22-23, 2018 : proceedings / by: (書目-電子資源)

Web and wireless geographical information systems16th International Symposium, W2GIS 2018, A Coruna, Spain, May 21-22, 2018 : proceedings / by: (書目-電子資源)

E-Business and telecommunications15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (書目-電子資源)

Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings / by: (書目-電子資源)

Product-focused software process improvement20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019 : proceedings / by: (書目-電子資源)

Verified softwaretheories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers / by: (書目-電子資源)

Computer performance engineering16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers / by: (書目-電子資源)

Service-oriented and cloud computing8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020 : proceedings / by: (書目-電子資源)

Networking and computationtechnology, modeling and performance / by: (書目-電子資源)

Mathematical foundations of system safety engineeringa road map for the future / by: (書目-電子資源)

Strategic system assurance and business analytics by: (書目-電子資源)

Performance evaluation and benchmarking for the era of cloud(s)11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019 : revised selected papers / by: (書目-電子資源)

Systems benchmarkingfor scientists and engineers / by: (書目-電子資源)

Accountability and privacy in network security by: (書目-電子資源)

Services - SERVICES 202016th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (書目-電子資源)

Big data innovations and applications5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019 : proceedings / by: (書目-電子資源)

Creativity in intelligent technologies and data sciencethird Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019 : proceedings.Part I / by: (書目-電子資源)

Quality of information and communications technology12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Automated deduction - CADE 2727th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings / by: (書目-電子資源)

Big data analytics and knowledge discovery21st International Conference, DaWaK 2019, Linz, Austria, August 26-29, 2019 : proceedings / by: (書目-電子資源)

Quantum technology and optimization problemsfirst International Workshop, QTOP 2019, Munich, Germany, March 18, 2019 : proceedings / by: (書目-電子資源)

Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Software architecture13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / by: (書目-電子資源)

Software engineering and formal methods17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Software technologymethods and tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019 : proceedings / by: (書目-電子資源)

Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (書目-電子資源)

Advances in service-oriented and cloud computingWorkshops of ESOCC 2018, Como, Italy, September 12-14, 2018 : revised selected papers / by: (書目-電子資源)

Communication technologies for vehicles15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16-17, 2020 : proceedings / by: (書目-電子資源)

Modelling, analysis, and simulation of computer and telecommunication systems28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020 : revised selected papers / by: (書目-電子資源)

Advances in interdisciplinary research in engineering and business management by: (書目-電子資源)

Reliability and risk modeling of engineering systems by: (書目-電子資源)

Cognitive radio-oriented wireless networks15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020 : proceedings / by: (書目-電子資源)

Passive and active measurement22nd International Conference, PAM 2021, Virtual Event, March 29 - April 1, 2021 : proceedings / by: (書目-電子資源)

Embedded software timingmethodology, analysis and practical tips with a focus on automotive / by: (書目-電子資源)

Reinforcement learning aided performance optimization of feedback control systems by: (書目-電子資源)

Digital health and medical analyticssecond International Conference, DHA 2020, Beijing, China, July 25, 2020 : revised selected papers / by: (書目-電子資源)

Real-time C++efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Performance evaluation and benchmarking12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020 : revised selected papers / by: (書目-電子資源)

Principles of high-performance processor designfor high performance computing, deep neural networks and data science / by: (書目-電子資源)

Performance engineering and stochastic modeling17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings / by: (書目-電子資源)

Principles of parallel scientific computinga first guide to numerical concepts and programming methods / by: (書目-電子資源)

Matrix and analytical methods for performance analysis of telecommunication systems by: (書目-電子資源)

Machine learning, advances in computing, renewable energy and communicationproceedings of MARC 2020 / by: (書目-電子資源)

Advancing resilient performance by: (書目-電子資源)

Performance evaluation and benchmarking13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021 : revised selected papers / by: (書目-電子資源)

Data deduplication for high performance storage system by: (書目-電子資源)

Data center networkingnetwork topologies and traffic management in large-scale data centers / by: (書目-電子資源)

High performance computing and networkingselect proceedings of CHSN 2021 / by: (書目-電子資源)

Services - SERVICES 202117th World Congress, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings / by: (書目-電子資源)

Robustness optimization for IoT topology by: (書目-電子資源)

Strategy, planning and organization of test processesbasis for successful project execution in software testing / by: (書目-電子資源)

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

Bringing machine learning to software-defined networks by: (書目-電子資源)

Edge intelligencefrom theory to practice / by: (書目-電子資源)

Real-time simulation and hardware-in-the-loop testing using Typhoon HIL by: (書目-電子資源)

Spatial data and intelligence4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023 : proceedings / by: (書目-電子資源)

Content distribution for mobile internet: a cloud-based approach by: (書目-電子資源)

Handbook of biometric anti-spoofingpresentation attack detection and vulnerability assessment / by: (書目-電子資源)

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

Machine learning, optimization, and data science8th International Workshop, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022 : revised selected papers.Part II / by: (書目-電子資源)

Blockchain scalability by: (書目-電子資源)

Performance analysis of parallel applications for HPC by: (書目-電子資源)

Metaverse - Metaverse 202319th International Conference, held as part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023 : proceedings / by: (書目-電子資源)

Metrics for test reportinganalysis and reporting for effective test management / by: (書目-電子資源)