Software Engineering

Designing Virtual Reality Systems The Structured Approach / by: (書目-電子資源)

The Best Software Writing I / by: (書目-電子資源)

Pro PHP Security / by: (書目-電子資源)

Enterprise Architecture at Work :Modelling, Communication, and Analysis / by: (書目-電子資源)

Prozessubergreifendes Projektmanagement :Grundlagen erfolgreicher Projekte / by: (書目-電子資源)

Secure Systems Development with UML / by: (書目-電子資源)

Component-Based Software Testing with UML / by: (書目-電子資源)

Best Practices in Software Measurement :How to use metrics to improve project and process performance / by: (書目-電子資源)

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

Categories for Software Engineering / by: (書目-電子資源)

Form-Oriented Analysis :A New Methodology to Model Form-Based Applications / by: (書目-電子資源)

Testing Commercial-off-the-Shelf Components and Systems / by: (書目-電子資源)

A Theory of Distributed Objects :Asynchrony, Mobility, Groups, Components / by: (書目-電子資源)

A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors / by: (書目-電子資源)

Learning Design :A Handbook on Modelling and Delivering Networked Education and Training / by: (書目-電子資源)

Implementing Distributed Systems with Java and CORBA / by: (書目-電子資源)

Engineering and Managing Software Requirements / by: (書目-電子資源)

Model-Driven Software Development / by: (書目-電子資源)

Software Product Line Engineering :Foundations, Principles, and Techniques / by: (書目-電子資源)

Ontologies for Agents: Theory and Experiences / by: (書目-電子資源)

Software Engineering Techniques Applied to Agricultural Systems :An Object-Oriented and UML Approach / by: (書目-電子資源)

Open Source Systems :IFIP Working Group 2.13 Foundation on Open Source Software, June 8-10, 2006, Como, Italy / by: (書目-電子資源)

End User Development / by: (書目-電子資源)

Introduction to Programming with Fortran / by: (書目-電子資源)

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective / by: (書目-電子資源)

Agile Software Construction / by: (書目-電子資源)

Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by: (書目-電子資源)

Mathematical Approaches to Software Quality / by: (書目-電子資源)

Developing Services for the Wireless Internet / by: (書目-電子資源)

Field-Based Coordination for Pervasive Multiagent Systems / by: (書目-電子資源)

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

Essential Software Architecture / by: (書目-電子資源)

Value-Based Software Engineering / by: (書目-電子資源)

Model-Driven Design Using Business Patterns / by: (書目-電子資源)

Mobile Information Systems :Infrastructure and Design for Adaptivity and Flexibility / by: (書目-電子資源)

Fundamentals of Algebraic Graph Transformation / by: (書目-電子資源)

Model Driven Architecture and Ontology Development / by: (書目-電子資源)

Distributed Event-Based Systems / by: (書目-電子資源)

Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic / by: (書目-電子資源)

Software Engineering 3 :Domains, Requirements, and Software Design / by: (書目-電子資源)

Ontologies for Software Engineering and Software Technology / by: (書目-電子資源)

Software Engineering Techniques: Design for Quality / by: (書目-電子資源)

An Introduction to Network Programming with Java / by: (書目-電子資源)

Rationale Management in Software Engineering / by: (書目-電子資源)

Software Product Lines / by: (書目-電子資源)

Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino / by: (書目-電子資源)

Interoperability of Enterprise Software and Applications / by: (書目-電子資源)

System Software Reliability / by: (書目-電子資源)

A Tester's Guide to .NET Programming / by: (書目-電子資源)

The Career Programmer :Guerilla Tactics for an Imperfect World / by: (書目-電子資源)

AdvancED ActionScript Components :Mastering the Flash Component Architecture / by: (書目-電子資源)

Practical Software Factories in .NET / by: (書目-電子資源)

Ada 2005 Reference Manual. Language and Standard LibrariesInternational Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 / by: (書目-電子資源)

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

Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / by: (書目-電子資源)

Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (書目-電子資源)

Integrated Formal Methods :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings by: (書目-電子資源)

Engineering Environment-Mediated Multi-Agent SystemsInternational Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / by: (書目-電子資源)

Central European Functional Programming Schoolsecond summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected / by: (書目-語言資料,印刷品)

Engineering Theories of Software Intensive SystemsProceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / by: (書目-電子資源)

Deadlock resolution in automated manufacturing systemsa novel Petri Net approach / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.Part IV / by: (書目-電子資源)