MPG.eBooks - Search Results

Cover Image

41

Formal Models of Agents : ESPRIT Project ModelAge Final Workshop Selected Papers

by Meyer, John-Jules Ch
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

42

ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

by Cardelli, Luca
Published 2003

Springer Berlin Heidelberg

Cover Image

43

SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

by Reed, Rick
Published 2003

Springer Berlin Heidelberg

Cover Image

44

Hybrid Systems: Computation and Control : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings

by Lynch, Nancy
Published 2000

Springer Berlin Heidelberg

Cover Image

45

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

by Carreño, Victor A
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

46

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream : 12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedin...

by Glesner, Manfred
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

47

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

by Basin, David
Published 2003

Springer Berlin Heidelberg

Cover Image

48

Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

by Hinchey, Michael G
Published 2003

Springer Berlin Heidelberg

Cover Image

49

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

by Bossi, Annalisa
Published 2000

Springer Berlin Heidelberg

Cover Image

50

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

Cover Image

51

ECOOP 2000 — Object-Oriented Programming : 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

by Bertino, Elisa
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

52

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

by McAllester, David
Published 2000

Springer Berlin Heidelberg

Cover Image

53

Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

by Palsberg, Jens
Published 2000

Springer Berlin Heidelberg

Cover Image

54

Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings

by Bachmair, Leo
Published 2000

Springer Berlin Heidelberg

Cover Image

55

Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings

by Lloyd, John
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

56

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

57

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

58

Integrated Circuit Design : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings

by Soudris, Dimitrios
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

59

Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

by Brinksma, Ed
Published 1997

Springer Berlin Heidelberg

Cover Image

60

Hybrid Systems IV

by Antsaklis, Panos
Published 1997

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11