Search Results - integration computing programming programme abstracts https

1

Foundations of Java for ABAP Programmers

by Rooney, Alistair., Rooney, Alistair.
Published 2006

Table of Contents: “...Introducing Java -- Your First Java Program -- Object Orientation in a Nutshell -- The Primitive...”
View full text

Electronic eBook

2

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Architecture for Reconfigurable Computing -- Integrated Design Environment for Reconfigurable HPC...”
View full text

Electronic eBook

3

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Published 2007

Table of Contents: “...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”
View full text

Electronic eBook

4

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
View full text

Electronic eBook

5

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Published 2010

Table of Contents: “... for On-Board Satellite Software -- Computational Concerns in the Integration of Unmanned Airborne Systems...”
View full text

Electronic eBook

6

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Published 2010

Table of Contents: “...Research Papers -- Business Process Model Abstraction Based on Behavioral Profiles -- Root-Cause...”
View full text

Electronic eBook

7

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /

Published 2008

Table of Contents: “... -- Designing Programming Exercises with Computer Assisted Instruction -- The Strategy and Practice of Blended...”
View full text

Electronic eBook

8

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
View full text

Electronic eBook

9

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
View full text

Electronic eBook

10

PHP Objects, Patterns and Practice

by Zandstra, Matt., Zandstra, Matt.
Published 2010

Table of Contents: “... Principles -- Generating Object -- Pattern for Flexible Object Programming -- Performing and Representing...”
View full text

Electronic eBook

11

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
View full text

Electronic eBook

12

Domain-Specific Model-Driven Testing

by Bärisch, Stefan., Bärisch, Stefan.
Published 2010

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

Electronic eBook

13

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Published 2005

Table of Contents: “... -- Integrated Computation, Communication and Control: Towards Next Revolution in Information Technology...”
View full text

Electronic eBook

14

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2006

Table of Contents: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
View full text

Electronic eBook

15

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /

Published 2015

Table of Contents: “... foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM...”
View full text

Electronic eBook

16

Introduction to Cryptography with Maple

by Gómez Pardo, José Luis., Gómez Pardo, José Luis.
Published 2013

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

Electronic eBook

17

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...”
View full text

Electronic eBook

18

Pro Drupal 7 for Windows Developers

by Travis, Brian., Travis, Brian.
Published 2011

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

Electronic eBook

19

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Published 2012

Table of Contents: “... to Regulate Project-Based Learning -- Lost in Translation from Abstract Learning Design to ICT Implementation...”
View full text

Electronic eBook

20

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Published 2006

Table of Contents: “...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...”
View full text

Electronic eBook

Narrow Search