Arama Sonuçları - ((functions computational) or (function computation)) programming definitions based tools*

Şunu mu demek istediniz:
functions computational » functions computation , directions computational , section computational
programming definitions » programming decisions , programming defining , reframing definitions
function computation » function computing , function decomposition , section computational
definitions based » definition based , definitions basic , definitions used
based tools » based tool , basic tools

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Tam Metin Erişim

Elektronik Ekitap

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Tam Metin Erişim

Elektronik Ekitap

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Tam Metin Erişim

Elektronik Ekitap

VEE Pro: Practical Graphical Programming

Yazar: Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
Tam Metin Erişim

Elektronik Ekitap

The Open Knowledge Society A Computer Science and Information Systems Manifesto /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Students’ Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments -- Interview-Based...”
Tam Metin Erişim

Elektronik Ekitap

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
Tam Metin Erişim

Elektronik Ekitap

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Tam Metin Erişim

Elektronik Ekitap

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...”
Tam Metin Erişim

Elektronik Ekitap

Applied Bioinformatics An Introduction /

Yazar: Selzer, Paul Maria., Selzer, Paul Maria., Marhöfer, Richard., Rohwer, Andreas.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...Computers, Operating Systems and the Internet -- The Biological Foundations of Bioinformatics...”
Tam Metin Erişim

Elektronik Ekitap

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language....”
Tam Metin Erişim

Elektronik Ekitap

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...”
Tam Metin Erişim

Elektronik Ekitap

ENTERprise Information Systems, Part I International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...”
Tam Metin Erişim

Elektronik Ekitap

Introduction to Cryptography with Maple

Yazar: Gómez Pardo, José Luis., Gómez Pardo, José Luis.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Chap. 8 Public-Key Encryption -- Chap. 9 Digital Signatures -- Chap. 10 Identity-Based Cryptography...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...”
Tam Metin Erişim

Elektronik Ekitap

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... in Agent-Based Evolutionary Optimization -- An Immunological and an Ethically-social Approach to Security...”
Tam Metin Erişim

Elektronik Ekitap

Pro SQL Server 2005 Reporting Services

Yazar: Voytek, Walter., Voytek, Walter., Landrum, Rodney.
Baskı/Yayın Bilgisi 2006

Konular: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt