MPG.eBooks - Search Results

Cover Image

201

Handheld and Ubiquitous Computing : First International Symposium, HUC’99 Karlsruhe, Germany, September 27–29, 1999 Proceedings

by Gellersen, Hans-W
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

202

Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

by Pierre, Laurence
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

203

Models and Tools for Managing Development Processes

by Westfechtel, Bernhard
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

204

Computing in Object-Oriented Parallel Environments : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings

by Matsuoka, Satoshi
Published 1999

Springer Berlin Heidelberg

Cover Image

205

Approaches to Intelligence Agents : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings

by Nakashima, Hideyuki
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

206

Foundations of Software Technology and Theoretical Computer Science : 19th Conference Chennai, India, December 13-15, 1999 Proceedings

by Rangan, C Pandu
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

207

Advances in Computing Science — ASIAN’99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

by Thiagarajan, P S
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

208

Mobile Data Access : First International Conference, MDA’99 Hong Kong, China, December 16–17, 1999 Proceedings

by Leong, Hong Va
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

209

High Performance Computing - HiPC'99 : 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings

by Banerjee, Prith
Published 1999

Springer Berlin Heidelberg

Cover Image

210

MMIXware : A RISC Computer for the Third Millennium

by Knuth, Donald E
Published 1999

Donald E. Knuth

Cover Image

211

Object-Oriented Technology ECOOP’99 Workshop Reader : ECOOP’99 Workshops, Panels, and Posters Lisbon, Portugal, June 14–18, 1999 Proceedings

by Demeyer, Serge
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

212

Intelligence in Services and Networks: Technology for Cooperative Competition : Fourth International Conference on Intelligence in Services and Networks: IS&N'97, Cernobbio, Italy,...

by Mullery, Al
Published 1997

Springer Berlin Heidelberg

Cover Image

213

Computer Performance Evaluation.Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

by Haverkort, Boudewijn R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

214

Fundamental Approaches to Software Engineering : Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS...

by Maibaum, Tom
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

215

Ada 95 Rationale : The Language - The Standard Libraries

by Barnes, John
Published 1997

Springer Berlin Heidelberg

Cover Image

216

Ada 95 Reference Manual. Language and Standard Libraries : International Standard ISOIEC 8652:1995 (E)

by Taft, Tucker S
Published 1997

Springer Berlin Heidelberg

Cover Image

217

Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

by Grumberg, Orna
Published 1997

Springer Berlin Heidelberg

Cover Image

218

Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

by Taha, Walid
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

219

Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings

by Joseph, Mathai
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

220

Applications of Graph Transformations with Industrial Relevance : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings

by Nagl, Manfred
Published 2000

Springer-Verlag Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16