Search Results - programs dynamic programming https array https

1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “...The Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information...”
View full text

Electronic eBook

2

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
View full text

Electronic eBook

3

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Published 2010

Table of Contents: “... with Datalog -- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment -- Lazy Abstraction...”
View full text

Electronic eBook

4

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”
View full text

Electronic eBook

5

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

by Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Published 2005

Table of Contents: “... Protocol Security. Summary -- Bioinformatics Applications. Introduction. Applications. Dynamic Programming...”
View full text

Electronic eBook

6

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Published 2005

Table of Contents: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
View full text

Electronic eBook

7

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
View full text

Electronic eBook

8

jQuery Recipes A Problem-Solution Approach /

by Harwani, Bintu., Harwani, Bintu.
Published 2010

Table of Contents: “...jQuery Basics -- Arrays and Strings -- Event Handling -- Form Validation -- Page Navigation...”
View full text

Electronic eBook

9

PHP 5 Recipes A Problem-Solution Approach /

by Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Published 2005

Table of Contents: “... -- Performing Math Operations -- Working with Arrays -- Working with Dates and Times -- Working with Strings...”
View full text

Electronic eBook

10

Beginning PHP and PostgreSQL 8 From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason., Treat, Robert H.
Published 2006

Table of Contents: “... -- Arrays -- Object-Oriented PHP -- Advanced OOP Features -- Error and Exception Handling -- Strings...”
View full text

Electronic eBook

11

Beginning PHP and Oracle From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason., Bryla, Bob.
Published 2007

Table of Contents: “...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
View full text

Electronic eBook

12

Pro JavaScript Design Patterns

by Diaz, Dustin., Diaz, Dustin., Harmes, Ross.
Published 2008

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

Electronic eBook

13

Adobe ColdFusion Anthology The Best of The Fusion Authority /

by Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Published 2010

Table of Contents: “... Returning an Array of Components -- Sending E-mail the Right Way -- ColdFusion and Microsoft Exchange...”
View full text

Electronic eBook

14

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
View full text

Electronic eBook

15

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Published 2013

Table of Contents: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
View full text

Electronic eBook

16

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
View full text

Electronic eBook

17

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “... and Scalability of Automatically Parallelized Programs -- Selector: A Language Construct for Developing Dynamic...”
View full text

Electronic eBook

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

19

Beginning PHP and MySQL 5 From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason.
Published 2006

Table of Contents: “... -- Arrays -- Object-Oriented PHP -- Advanced OOP Features -- Error and Exception Handling -- Strings...”
View full text

Electronic eBook

20

Pro C# 2005 and the .NET 2.0 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2005

Table of Contents: “... Applications -- Understanding CIL and the Role of Dynamic Assemblies -- Programming with the .NET Libraries...”
View full text

Electronic eBook

Narrow Search