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