Resultats de la cerca - programming component https functional structures https

1

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Obtenir text complet

Electrònic eBook

2

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Publicat 2010

Matèries: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet

Electrònic eBook

3

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Publicat 2012

Taula de continguts: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Obtenir text complet

Electrònic eBook

4

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Publicat 2013

Taula de continguts: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Obtenir text complet

Electrònic eBook

5

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Publicat 2005

Taula de continguts: “... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”
Obtenir text complet

Electrònic eBook

6

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Publicat 2015

Taula de continguts: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Obtenir text complet

Electrònic eBook

7

Magnetic Functions Beyond the Spin-Hamiltonian

Publicat 2006

Taula de continguts: “...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”
Obtenir text complet

Electrònic eBook

8

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /

per Kormanyos, Christopher., Kormanyos, Christopher.
Publicat 2015

Taula de continguts: “... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Obtenir text complet

Electrònic eBook

9

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object...”
Obtenir text complet

Electrònic eBook

10

Quadratic Programming and Affine Variational Inequalities A Qualitative Study /

per Lee, Gue Myung., Lee, Gue Myung., Tam, N.N., Yen, Nguyen Dong.
Publicat 2005

Taula de continguts: “... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...”
Obtenir text complet

Electrònic eBook

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Obtenir text complet

Electrònic eBook

12

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Obtenir text complet

Electrònic eBook

13

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Publicat 2010

Taula de continguts: “... for Critical Infrastructure Components -- An Advanced Decision-Support Tool for Electricity Infrastructure...”
Obtenir text complet

Electrònic eBook

14

Pro React

per de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Publicat 2015

Taula de continguts: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
Obtenir text complet

Electrònic eBook

15

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Publicat 2014

Taula de continguts: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Obtenir text complet

Electrònic eBook

16

Beginning Google Web Toolkit From Novice to Professional /

per Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Publicat 2008

Taula de continguts: “... -- Getting Started -- Project Setup / Structure -- Using the utility scripts -- Writing code -- Compiling...”
Obtenir text complet

Electrònic eBook

17

Foundation Flash 8

per Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
Publicat 2006

Matèries: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obtenir text complet

Electrònic eBook

18

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Publicat 2006

Taula de continguts: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
Obtenir text complet

Electrònic eBook

19

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... of Software Architectures -- Formal Design of Structural and Dynamic Features of Publish/Subscribe...”
Obtenir text complet

Electrònic eBook

20

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /

Publicat 2007

Taula de continguts: “... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”
Obtenir text complet

Electrònic eBook

Refinar cerca