Search Results - program computing https function led https

1

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
View full text

Electronic eBook

2

Web Programming with Dart

by Belchin, Moises., Belchin, Moises., Juberias, Patricia.
Published 2015

Subjects: “...Computer programming....”
View full text

Electronic eBook

3

Genes and Cardiovascular Function

Published 2011

Table of Contents: “... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”
View full text

Electronic eBook

4

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”
View full text

Electronic eBook

5

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Published 2005

Table of Contents: “... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”
View full text

Electronic eBook

6

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

Published 2007

Table of Contents: “... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”
View full text

Electronic eBook

7

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Published 2006

Table of Contents: “... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”
View full text

Electronic eBook

8

Assurances for Self-Adaptive Systems Principles, Models, and Techniques /

Published 2013

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

Electronic eBook

9

Partitions, q-Series, and Modular Forms

Published 2012

Table of Contents: “... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”
View full text

Electronic eBook

10

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Published 2008

Table of Contents: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
View full text

Electronic eBook

11

Beginning EJB 3 Java EE 7 Edition /

by Wetherbee, Jonathan., Wetherbee, Jonathan., Kodali, Raghu., Rathod, Chirag., Zadrozny, Peter.
Published 2013

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

12

Verification Methodology Manual for SystemVerilog

by Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Published 2006

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

Electronic eBook

13

Convexity and Well-Posed Problems

by Lucchetti, Roberto., Lucchetti, Roberto.
Published 2006

Table of Contents: “...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...”
View full text

Electronic eBook

14

Java Methods for Financial Engineering Applications in Finance and Investment /

by Barker, Philip., Barker, Philip.
Published 2007

Subjects: “...Computer programming....”
View full text

Electronic eBook

15

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

16

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
View full text

Electronic eBook

17

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations /

by McGovern, James., McGovern, James., Sims, Oliver., Jain, Ashish., Little, Mark.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

18

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Pro...

Published 2006

Table of Contents: “... to Strengthen Pseudo-random Generators by Using Compression -- Efficient Computation of Algebraic Immunity...”
View full text

Electronic eBook

19

A Modern Perspective on Type Theory From its Origins until Today /

by Kamareddine, F.D., Kamareddine, F.D., Laan, T., Nederpelt, Rob.
Published 2005

Subjects: “...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text

Electronic eBook

20

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II /

Published 2005

Table of Contents: “... Recovery Mechanism with Pipeline Computing in Clustered-Based VOD Servers -- Dynamic and Scalable Caching...”
View full text

Electronic eBook

Narrow Search