語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

跳至 : 概要書目資訊主題

Computer systems - Congresses. - Evaluation

概要

作品:	29 作品在 20 項出版品 20 種語言

書目資訊

Formal Methods and Stochastic Models for Performance EvaluationThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / 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: (書目-電子資源)

Computer performance engineering5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (書目-語言資料,印刷品)

Computer performance evaluationmodelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedigns / by: (書目-電子資源)

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

Computer performance evaluationmodelling techniques and tools : 10th international conference, TOOLS'98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / by: (書目-電子資源)

Performance engineeringstate of the art and current trends / by: (書目-電子資源)

Computer performance evaluationmodelling techniques and tools : 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings / by: (書目-電子資源)

Computer performance engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings / by: (書目-電子資源)

Computer performance engineering8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings / by: (書目-電子資源)

更多

主題

Software Engineering.

Mathematical Logic and Formal Languages.

Theory of Computation.

Stochastic models

Logics and Meanings of Programs.

Telecommunication systems

Software Engineering/Programming and Operating Systems.

Information Systems and Communication Service.

Mathematics of Computing.

Computer systems

Programming Techniques.

Information Systems Applications (incl. Internet)

Computer software

Reliability (Engineering)

Petri nets

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Models and Principles.

Data Mining and Knowledge Discovery.

Computer Engineering and Networks.

Computer Modelling.

Information Systems Applications (incl.Internet)

Artificial Intelligence.

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Computers and Society.

Computer Systems Organization and Communication Networks.

Computers

Computer networks

Probability and Statistics in Computer Science.

Simulation and Modeling.

Computer System Implementation.

Computer engineering

e-Commerce/e-business.

Stochastic processes

變更密碼

登入