Search Results - program computing https functioning among https

1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “... Congestion Games Among Coalitions -- Computing Equilibrium Prices in Exchange Economies with Tax Distortions...”
View full text

Electronic eBook

2

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

Published 2005

Table of Contents: “..., Segmentation, and Tracking -- Analysis of the Interdependencies Among Plaque Development, Vessel Curvature...”
View full text

Electronic eBook

3

Introduction to C++ Programming and Graphics

by Pozrikidis, Constantine., Pozrikidis, Constantine.
Published 2007

Table of Contents: “...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text

Electronic eBook

4

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
View full text

Electronic eBook

5

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Published 2010

Table of Contents: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
View full text

Electronic eBook

6

Genetic Systems Programming Theory and Experiences /

Published 2006

Table of Contents: “...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”
View full text

Electronic eBook

7

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /

Published 2014

Subjects: “...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

8

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
View full text

Electronic eBook

9

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

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

10

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”
View full text

Electronic eBook

11

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

Published 2012

Table of Contents: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
View full text

Electronic eBook

12

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Published 2007

Table of Contents: “... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...”
View full text

Electronic eBook

13

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
View full text

Electronic eBook

14

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings /

Published 2012

Table of Contents: “... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...”
View full text

Electronic eBook

15

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

Published 2005

Table of Contents: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
View full text

Electronic eBook

16

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Published 2006

Table of Contents: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
View full text

Electronic eBook

17

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Towards Practical Computable Functions on Context-Free Languages -- The Extended Probabilistic Powerdomain...”
View full text

Electronic eBook

18

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

19

Advances in Bioinformatics and Computational Biology Second Brazilian Symposium on Bioinformatics...

Published 2007

Table of Contents: “... for Inferring Biological Functions Using Homologous Genes Among Three Genomes -- Validating Gene Clusterings...”
View full text

Electronic eBook

20

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... -- Implementation and Evaluation of Agent Interoperability Mechanism among Heterogeneous Agent Platforms...”
View full text

Electronic eBook

Narrow Search