MPG.eBooks - Search Results - "Computer Science, General"

1

Rewriting Techniques and Applications : 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings

by Nieuwenhuis, Robert
Published 2003

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

2

Multi-Agent Systems and Applications III : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16–18, 2003 Pr...

by Mařík, Vladimír
Published 2003

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

3

Advances in Cryptology — EUROCRYPT ’97 : International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11–15, 1997 Proceedings

by Fumy, Walter
Published 1997

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

4

Automata Logics, and Infinite Games : A Guide to Current Research

by Grädel, Erich
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

5

Data Warehousing and Knowledge Discovery : 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings

by Kambayashi, Yahiko
Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

6

Diagrammatic Representation and Inference : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

by Blackwell, Alan
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

7

Real-Time and Embedded Computing Systems and Applications : 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers

by Chen, Jing
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

8

Agent-Mediated Electronic Commerce V : Designing Mechanisms and Systems, AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15. 2003, Revised Selected Papers

by Faratin, Peyman
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

9

Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday

by Jonoska, Natasha
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

10

Architecting Dependable Systems

by Lemos, Rogério
Published 2003

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

11

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings

by Nielsen, Thomas D
Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

12

Inductive Logic Programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings

by Horváth, Tamas
Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

13

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

by Steffen, Bernhard
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

14

CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language

by Mosses, Peter D
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

15

Advances in Plan-Based Control of Robotic Agents : International Seminar Dagstuhl Castle, Germany, October 21–26, 2001 Revised Papers

by Beetz, Michael
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

16

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings

by Krishnamurthi, Shriram
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

17

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by Cialdea Mayer, Marta
Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

18

The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic

by Dau, Frithjof
Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

19

STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings

by Alt, Helmut
Published 2003

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer Science, general...”

Read Now

20

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United N...

by Aichernig, Bernhard K
Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science, general...”

Narrow Search