1
Được phát hành 2006
Mục lục: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
lấy văn bản
Điện tử eBook
3
Được phát hành 2007
Mục lục: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
lấy văn bản
Điện tử eBook
4
Được phát hành 2005
Mục lục: ... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...
lấy văn bản
Điện tử eBook
5
Bằng Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Được phát hành 2005
Mục lục: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
lấy văn bản
Điện tử eBook
6
Được phát hành 2008
Mục lục: ...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...
lấy văn bản
Điện tử eBook
7
Được phát hành 2014
Mục lục: ...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ... Students’ Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments -- Interview-Based...
lấy văn bản
Điện tử eBook
11
Được phát hành 2008
Mục lục: ... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...
lấy văn bản
Điện tử eBook
12
Bằng Voytek, Walter., Voytek, Walter., Landrum, Rodney.
Được phát hành 2006
Những chủ đề: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
lấy văn bản
Điện tử eBook
13
Được phát hành 2007
Mục lục: ...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...
lấy văn bản
Điện tử eBook
14
Bằng Gómez Pardo, José Luis., Gómez Pardo, José Luis.
Được phát hành 2013
Mục lục: ... -- Chap. 8 Public-Key Encryption -- Chap. 9 Digital Signatures -- Chap. 10 Identity-Based Cryptography...
lấy văn bản
Điện tử eBook
15
Mục lục: ...Computers, Operating Systems and the Internet -- The Biological Foundations of Bioinformatics...
lấy văn bản
Điện tử eBook
16
Được phát hành 2010
Mục lục: ... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...
lấy văn bản
Điện tử eBook
17
Được phát hành 2008
Mục lục: ... Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language....
lấy văn bản
Điện tử eBook
18
Được phát hành 2006
Mục lục: ... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...
lấy văn bản
Điện tử eBook
19
Được phát hành 2006
Mục lục: ... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...
lấy văn bản
Điện tử eBook
20
Được phát hành 2006
Mục lục: ... in Agent-Based Evolutionary Optimization -- An Immunological and an Ethically-social Approach to Security...
lấy văn bản
Điện tử eBook