Cargando…

1st Workshop on Algebraic Methods : Theory, Tools and Applications

Detalles Bibliográficos
Autores principales:	Bergstra, Jan A, Wirsing, Martin
Lenguaje:	eng
Publicado:	Springer 1989
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/230972

Ejemplares similares

2nd Workshop on Algebraic Methods : Theory, Tools and Applications
por: Bergstra, Jan A, et al.
Publicado: (1991)

1st European Workshop on Application and Theory of Petri Nets
por: Girault, Claude, et al.
Publicado: (1982)

1st International Workshop on Controlled Language Applications
Publicado: (1996)

1st International Joint Conference of ISSAC-88 and AAECC-6 : Applied Algebra, Theory and Applications and Error-correcting Codes
Publicado: (1988)

Algebraic theory of automata
por: Ginzburg, Abraham
Publicado: (1968)

Workshop on the Theory and Application of Cryptographic Techniques
por: Chaum, David
Publicado: (1984)

1st Eurographics Workshop on Multimedia
por: Kjelldahl, Lars
Publicado: (1992)

1st International Workshop on Linearity
por: Florido, Mário, et al.
Publicado: (2010)

7th Rhine Workshop on Computer Algebra
Publicado: (2000)

1st International Youth Workshop on Monte Carlo Methods and Parallel Algorithms
por: Dimov, Ivan, et al.
Publicado: (1991)

Programming tools for linear algebra
por: Erskine, George A, et al.
Publicado: (1985)

1st Annual Machine Intelligence Workshop
por: Collins, N L, et al.
Publicado: (1967)

1st International Workshop on Implicit Surfaces
por: Gascuel, Marie Paule, et al.
Publicado: (1995)

1st Eurographics Workshop on Graphics Hardware
por: Strasser, Wolfgang
Publicado: (1987)

1st European Workshop on Software Architecture
por: Oquendo, F, et al.
Publicado: (2004)

1st USENIX Workshop on Electronic Commerce
por: USENIX Association. Berkeley
Publicado: (1995)

1st IFIP Workshop on Methodology in Computer Graphics
por: Tucker, Hugh A, et al.
Publicado: (1979)

1st European Workshop on Hypercube and Distributed Computers
por: André, Françoise, et al.
Publicado: (1989)

7th International Workshop on Computer Algebra in Scientific Computing
por: Collective
Publicado: (2004)

1st Workshop on the MC++ Event-generator Toolkit
por: Brück, D, et al.
Publicado: (1992)

1st Annual Workshop on Energy Research Computing
por: Collective
Publicado: (1986)

1st Workshop on Industrial Experiences with Systems Software
por: Milojicic, Dejan, S
Publicado: (2000)

MATLAB symbolic algebra and calculus tools
por: Pérez López, César
Publicado: (2014)

STING Workshop on CASE Tools for Supporting Structured Methods
Publicado: (1992)

1st International Conference on Geographical Information Systems Theory, Applications and Management
Publicado: (2015)

1st International Workshop on Remote Sensing and Resource Exploration
por: El-Baz, F, et al.
Publicado: (1989)

1st Eurographics Workshop on Advances in Object-oriented Graphics
por: Blake, Edwin H, et al.
Publicado: (1991)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

1st International Conference on Human Computer Interaction Theory and Applications – HUCAPP 2017
Publicado: (2017)

1st ACM-SIGFIDET workshop on data description, access and control
por: Codd, E F, et al.
Publicado: (1971)

1st International Workshop on Natural Language Understanding and Logic Programming
por: Dahl, Veronica, et al.
Publicado: (1985)

1st Workshop on Coupling Symbolic and Numerical Computing in Expert Systems
por: Kowalik, Janusz S
Publicado: (1986)

1st ACM symposium on theory of computing
por: Association for Computing Machinery. New York
Publicado: (1969)

1st Workshop on Neural Networks : from Biology to High-energy Physics
por: Benhar, O
Publicado: (1992)

1st IEEE Workshop on Database Issues for Data Visualization - Visualization '93
por: Lee, John P, et al.
Publicado: (1994)

An algebraic theory of program specification and correctness using symmetry operations
por: Gabriel, J R
Publicado: (1987)

Biometrics: Theory, Methods, and Applications
por: Boulgouris, N V, et al.
Publicado: (2009)

Workshop on Ada Software Tools Iinterfaces
por: Wallis, Peter J L
Publicado: (1984)

Conference on Godunov Methods : Theory and Applications
Publicado: (1999)

Critical infrastructure security and resilience: theories, methods, tools and technologies
por: Gritzalis, Dimitris, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_kk04f9teklfc7f1g25vc1qgg9h