Search Results - function using programmes developing computing https

1

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /

by Mishra, Prabhat., Mishra, Prabhat., Dutt, Nikil D.
Published 2005

Table of Contents: “...to Functional Verification -- Architecture Specification -- Architecture Specification...”
View full text

Electronic eBook

2

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Published 2013

Table of Contents: “... -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers....”
View full text

Electronic eBook

3

Informatics Education - The Bridge between Using and Understanding Computers International...

Published 2006

Table of Contents: “... -- Objective Scoring for Computing Competition Tasks -- Teacher Education and School Development -- Modelling...”
View full text

Electronic eBook

4

Iterated Function Systems for Real-Time Image Synthesis

by Nikiel, Slawomir., Nikiel, Slawomir.
Published 2007

Table of Contents: “... Function Systems and Their Applications -- Conclusions, Directions for Further Development....”
View full text

Electronic eBook

5

Pro T-SQL Programmer's Guide

by Natarajan, Jay., Natarajan, Jay., Bruchez, Rudi., Coles, Michael., Shaw, Scott., Cebollero, Miguel.
Published 2015

Subjects: “...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...”
View full text

Electronic eBook

6

Pro T-SQL 2008 Programmer's Guide

by Coles, Michael., Coles, Michael.
Published 2008

Table of Contents: “...The Role of T-SQL -- Tools of the Trade -- T-SQL for SQL Server 2000 Programmers -- Expand coverage...”
View full text

Electronic eBook

7

Pro T-SQL 2012 Programmer's Guide

by Coles, Michael., Coles, Michael., Shaw, Scott., Natarajan, Jay., Bruchez, Rudi.
Published 2012

Subjects: “...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...”
View full text

Electronic eBook

8

Autonomic Computing Principles, Design and Implementation /

by Lalanda, Philippe., Lalanda, Philippe., McCann, Julie A., Diaconescu, Ada.
Published 2013

Table of Contents: “... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text

Electronic eBook

9

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”
View full text

Electronic eBook

10

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “... Computing -- Energy Conservation by Peer-to-Peer Relaying in Quasi-Ad Hoc Networks -- Developing Energy...”
View full text

Electronic eBook

11

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures -- Interval Valued QL-Implications...”
View full text

Electronic eBook

12

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Published 2010

Table of Contents: “... of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 -- Experiences in Applying Formal Verification...”
View full text

Electronic eBook

13

Guide to Scientific Computing in C++

by Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Published 2012

Table of Contents: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
View full text

Electronic eBook

14

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

Published 2014

Table of Contents: “...-Spiral: A Hybrid SDLC Model for Measuring Scalability Early in Development using a Probabilistic Approach...”
View full text

Electronic eBook

15

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /

by Verhulst, Eric., Verhulst, Eric., Boute, Raymond T., Faria, José Miguel Sampaio., Sputh, Bernhard H.C., Mezhuyev, Vitaliy.
Published 2011

Subjects: “...Computer-Aided Engineering (CAD, CAE) and Design. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

16

Using the C++ Standard Template Libraries

by Horton, Ivor., Horton, Ivor.
Published 2015

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

17

New Developments in Classification and Data Analysis Proceedings of the Meeting...

Published 2005

Table of Contents: “... Evaluation Using Computer-Automated Test Results -- Functional Cluster Analysis of Financial Time Series...”
View full text

Electronic eBook

18

Advances in Fractional Calculus Theoretical Developments and Applications in Physics and Engineering /

Published 2007

Table of Contents: “... on Field Programmable Gate Arrays -- Complex Order-Distributions Using Conjugated order Differintegrals...”
View full text

Electronic eBook

19

Beginning SQL Server 2005 Express for Developers From Novice to Professional /

by Dewson, Robin., Dewson, Robin.
Published 2007

Subjects: “...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...”
View full text

Electronic eBook

20

Bio-Farms for Nutraceuticals Functional Food and Safety Control by Biosensors /

Published 2010

Table of Contents: “... -- Nutraceutical Use of Garlic Sulfur-Containing Compounds -- Genetic Engineering to Enhance Crop-Based...”
View full text

Electronic eBook

Narrow Search