Partner

Partner | Association for Computing Machinery

22 Treffer in 0.009 Sek.

1 - 10    
A formal model of services; 1 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 2007 | 40 S.
Zeitschrift / Sammelband: ACM transactions on software engineering and methodology; 16
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
On the algebraic definition of programming languages; 1 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Wirsing, Martin; Pepper, Peter |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1987 | 46 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 9
Fachgebiet: Informatik; Mathematik
[Suche in der Publikation] [PDF-Download]
An information-theoretic approach to time bounds for on-line computation : preliminary version [Relevanz: 100%]
Autor / Herausgeber: Paul, Wolfgang J.; Seiferas, Joel I.; Simon, János |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1980 | 11 S.
Zeitschrift / Sammelband: Conference proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, Los Angeles, Calif. April 28-30, 1980
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Compositional refinement of interactive systems; 6 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1997 | 42 S.
Zeitschrift / Sammelband: Journal of the ACM; 44
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Computing nash equilibria for scheduling on restricted parallel links [Relevanz: 100%]
Autor / Herausgeber: Gairing, Martin; Monien, Burkhard |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 2004 | 10 S.
Zeitschrift / Sammelband: Proceedings of the 36th ACM Symposion on Theory of Computing, Chicago, Ill., June 13-15,2004
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Computational linguistic support for legal ontology construction [Relevanz: 100%]
Autor / Herausgeber: Walter, Stephan; Pinkal, Manfred |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 2005 | 27 S.
Zeitschrift / Sammelband: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Partition trees for triangle counting and other range searching problems [Relevanz: 100%]
Autor / Herausgeber: Welzl, Emo |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1988 | 11 S.
Zeitschrift / Sammelband: Proceedings of the Fourth Annual Symposium on Computational Geometry, Urbana-Champaign, Ill. June 6-8, 1988
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Selfish routing with incomplete information [Relevanz: 100%]
Autor / Herausgeber: Gairing, Martin; Monien, Burkhard; Tiemann, Karsten |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 2005 | 10 S.
Zeitschrift / Sammelband: SPAA 2005 : Seventeenth Annual ACM Symposium on parallelism in algorithms and architectures, July 18-20, 2005, Las Vegas, Nevada, USA
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Adding fair choice to Dijkstra's calculus; 3 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Nelson, Greg |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1994 | 15 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 16
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Computational linguistic support for legal ontology construction [Relevanz: 100%]
Autor / Herausgeber: Walter, Stephan; Pinkal, Manfred |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 2005 | 2 S.
Zeitschrift / Sammelband: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
1 - 10    

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Sprache