Search Results - processing java https developing reflective https

1

Reflections on the Teaching of Programming Methods and Implementations /

Published 2008

Table of Contents: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
View full text

Electronic eBook

2

Information Systems Development Reflections, Challenges and New Directions /

Published 2013

Table of Contents: “...-government Services in Developing Countries: Cases from Tanzania -- Reflections on a Multimethodology...”
View full text

Electronic eBook

3

Computers and Education E-Learning, From Theory to Practice /

Published 2007

Table of Contents: “... -- Design and Development of Digital Educational Content -- Applying Semantic Techniques to Integrate...”
View full text

Electronic eBook

4

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Published 2006

Table of Contents: “... Engineering: An Emerging Technical Space -- Program Transformation with Reflection and Aspect-Oriented...”
View full text

Electronic eBook

5

Advances in Web Based Learning -- ICWL 2006 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers /

Published 2006

Table of Contents: “... on Student Learning Abilities and Interests -- Taking Blog as a Platform of Learning Reflective Journal...”
View full text

Electronic eBook

6

Food Security and Food Safety for the Twenty-first Century Proceedings of APSAFE2013 /

Published 2015

Table of Contents: “... Reflections on the Process of Food Production in China -- Part II: Distribution and the Environment -- Chapter...”
View full text

Electronic eBook

7

Advances in Multimedia and Network Information System Technologies

Published 2010

Table of Contents: “... AVI -- - Data Processing in Information Systems -- Acoustic Radar Employing Particle Velocity Sensors...”
View full text

Electronic eBook

8

Deformation and Gravity Change: Indicators of Isostasy, Tectonics, Volcanism, and Climate Change

Published 2007

Table of Contents: “... at Mayon Volcano, Philippines -- A Hybrid Model for the Summit Region of Merapi Volcano, Java, Indonesia...”
View full text

Electronic eBook

9

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports /

Published 2005

Table of Contents: “... on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity -- Philosophy, Ontology...”
View full text

Electronic eBook

10

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceeding...

Published 2005

Table of Contents: “... for User-Friendly Mobile Service Development -- Support of Reflective Mobile Agents in a Smart Office...”
View full text

Electronic eBook

11

Multiagent Systems and Applications Volume 1:Practice and Experience /

Published 2013

Table of Contents: “...Assessing Agent Applications -- The Jadex Project – Programming Model -- Extensible Java EE-based...”
View full text

Electronic eBook

12

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...”
View full text

Electronic eBook

13

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

Published 2010

Table of Contents: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
View full text

Electronic eBook

14

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /

Published 2007

Table of Contents: “... of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models...”
View full text

Electronic eBook

15

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...

Published 2006

Table of Contents: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
View full text

Electronic eBook

16

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Published 2006

Table of Contents: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
View full text

Electronic eBook

17

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /

Published 2006

Table of Contents: “... Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A...”
View full text

Electronic eBook

18

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Published 2005

Table of Contents: “... and the Real-Time Specification for JavaTM -- Certification and Verification -- Smart Certification of Mixed...”
View full text

Electronic eBook

19

E-Health First IMIA/IFIP Joint Symposium, E-Health 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings /

Published 2010

Table of Contents: “... and Related Protocols for Ubiquitous Access to Electronic Health Records Using Java SIM Cards -- Capturing...”
View full text

Electronic eBook

20

UML @ Classroom An Introduction to Object-Oriented Modeling /

by Seidl, Martina., Seidl, Martina., Scholz, Marion., Huemer, Christian., Kappel, Gerti.
Published 2015

Subjects: “...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”
View full text

Electronic eBook

Narrow Search