×

zbMATH — the first resource for mathematics

Found 197 Documents (Results 1–100)

100
MathJax
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 191-207 (2014).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
DISKI. Dissertationen zur Künstlichen Intelligenz 238. Amsterdam: IOS Press; Berlin: Akademische Verlags-Gesellschaft Aka/ infix (ISBN 1-58603-128-7/pbk; 3-89838-238-9). 261 p. (2000).
MSC:  68T15 68T35 03B35
PDF BibTeX XML Cite
Berichte aus der Informatik. Aachen: Shaker Verlag. vii, 217 S. (Univ. München, 1995) (1996).
PDF BibTeX XML Cite
The unified computation laboratory: modelling, specifications, and tools, Proc. Conf., Stirling/UK 1990, Inst. Math. Appl. Conf. Ser., New Ser. 35, 381-396 (1992).
MSC:  68Q60
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 1-2 (1991).
MSC:  68Q60 03B45 68Q10
PDF BibTeX XML Cite
Kibernetika: Neogranichennye Vozmozhnosti i Vozmozhnye Ogranicheniya. Moskva: Nauka. 240 p. R. 0.65 (1990).
Reviewer: S.Vorob’ev
PDF BibTeX XML Cite
Lecture Notes in Computer Science, 321. Berlin etc.: Springer-Verlag. VI, 272 p. DM 42.00 (1989).
Reviewer: T.Balanescu
PDF BibTeX XML Cite
Bibliotechka Programmista, 53. Moskva: Nauka. 208 p. R. 0.85 (1988).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software