MPG.eBooks - Search Results

Cover Image

1

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

by Najm, Elie
Published 2003

Springer Berlin Heidelberg

Cover Image

2

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : ISTFET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Pap...

by Priami, Corrado
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings

by Moura Pires, Fernando
Published 2003

Springer Berlin Heidelberg

Cover Image

4

Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

by Palamidessi, Catuscia
Published 2003

Springer Berlin Heidelberg

Cover Image

5

Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

by De Nicola, Rocco
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Grid Computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers

by Fernández Rivera, Francisco
Published 2004

Springer Berlin Heidelberg

Cover Image

7

Large-Scale Scientific Computing : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers

by Lirkov, Ivan
Published 2004

Springer Berlin Heidelberg

Cover Image

8

Scientific Engineering of Distributed Java Applications. : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers

by Guelfi, Nicoals
Published 2004

Springer Berlin Heidelberg

Cover Image

9

Semirings for Soft Constraint Solving and Programming

by Bistarelli, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

10

Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications

by Lucena, Carlos
Published 2004

Springer Berlin Heidelberg

Cover Image

11

Languages and Compilers for Parallel Computing : 16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers

by Rauchwerger, Lawrence
Published 2004

Springer Berlin Heidelberg

Cover Image

12

Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004...

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

13

Genetic Programming : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings

by Keijzer, Maarten
Published 2004

Springer Berlin Heidelberg

Cover Image

14

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

15

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

by Boiten, Eerke
Published 2004

Springer Berlin Heidelberg

Cover Image

16

Applications of Evolutionary Computing : EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings

by Raidl, Günther R
Published 2004

Springer Berlin Heidelberg

Cover Image

17

Functional and Logic Programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

by Kameyama, Yukiyoshi
Published 2004

Springer Berlin Heidelberg

Cover Image

18

Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...

by Apt, Krzysztof R
Published 2004

Springer Berlin Heidelberg

Cover Image

19

Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers

by Ryan, Mark
Published 2004

Springer Berlin Heidelberg

Cover Image

20

Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

by Crnkovic, Ivica
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11