1
by Hitzler, Pascal.
Published 2011
Subjects: ...Programming languages (Electronic computers) Semantics....
Book
2
Table of Contents: ... Languages of IEC 61131-3 -- Standardised PLC Functionality -- State-of-the-Art PLC Configuration...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...
View full text
Electronic eBook
5
by Blackman, Sue., Blackman, Sue.
Published 2013
Subjects: ...Computer games—Programming....
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
9
Table of Contents: ... Functions -- Agent-based Concept -- Prototype Implementations -- Evaluation -- Conclusions and Outlook....
View full text
Electronic eBook
10
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
View full text
Electronic eBook
11
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
12
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
View full text
Electronic eBook
14
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...
View full text
Electronic eBook
15
Published 2014
Subjects: ...User interfaces (Computer systems)....
View full text
Electronic eBook
16
Published 2010
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
View full text
Electronic eBook
18
Table of Contents: ... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...
View full text
Electronic eBook
19
by Blackman, Sue., Blackman, Sue.
Published 2011
Subjects: ...Computer games—Programming....
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...
View full text
Electronic eBook