MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
04408nam a2200325 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240131170901.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s1996 gw a dr 100 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
3540620648 |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
DIF005676 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
|---|
| Nombre de congreso/reunión o jurisdicción como elemento de entrada |
|
| Número del congreso/reunión o número de parte o sección |
(2nd : |
| Fecha del congreso o de la firma del tratado |
1996 ) |
| 9 (RLIN) |
256541 |
| 245 00 - MENCIÓN DEL TÍTULO |
|---|
| Título |
Perspectives of system informatics : |
| Resto del título |
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
1a ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Berlín : |
| Nombre del editor, distribuidor, etc. |
Springer, |
| Fecha de publicación, distribución, etc. |
c1996 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xvii, 446 p. : |
| Otras características físicas |
il. ; |
| Dimensiones |
24 cm. |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Lecture notes in computer science |
| Designación de volumen o secuencia |
1181 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
ISSN 0302-9743 Incluye referencias bibliográficas e índice. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Semantics and Laws of Man-Made Infrastucture Systems / Bjørner D. -- The Language Lola, FPGAs, and PLDs in Teaching Digital Circuit Design / Wirth N. -- Calculating Digital Counters / Dosch W. -- Generic Programming / Stepanov A. A. -- Algebraic Semantics of the Oberon Target Machine / Zamulin A. V. -- The Making of Algol 68 / Koster C. H. A. -- Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine / Mayoh B. -- Application of Subdefinite Models for Solving Constraint Satisfaction Problems / Yakhno T. M., Petrov E. S. -- Problem Solving in the Object-Oriented Technological Environment NeMo+ / Telerman V., Sidorov V., Ushakov D. -- What a Universal Semantic Interlingua Can and Cannot Do / Seuren P. A. M. -- Understanding Short Texts with Integration of Knowledge Representation Methods / Kononenko L, Sharoff S. -- Co-Learning of Recursive Languages from Positive Data / Freivalds R., Zeugmann T. -- Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance / Boutsinas B., Papadimitriou S., Pavlides G. -- Processes in Cause-Effect Structures / Czaja L. -- On the Power of Recursion in Dataflow Schemes / Bachmann P. -- Derivation of Explicitly Parallel Code from Declarative Program by Transformations / Trichina E. -- Actors as a Coordinating Model of Computation / Raja N., Shyamasundar R.K. -- An Associative Version of the Prim-Dijkstra Algorithm and its Application to Some Graph Problems / Nepomniaschaya A. S. -- Adding Design Strategies to Fork Algebras / Frias M.F., Baum G.A., Haeberer A.M. -- Supercompilation: Techniques and Results / Turchin V. F. -- Program Transformation with Metasystem Transitions: Experiments with a Supercompiler / Nemytykh A. P., Pinchuk V. A. -- Fast Binding-Time Analysis for Multi-Level Specialization / Gliick R., Jcrgensen J. -- BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation / Jones N.D., Glenstrup A.J. -- Polyvariant Expansion and Compiler Generators / Thiemann P., Sperber M. -- The Disjunctive Constrained Lambda Calculus / Mandel L., Cengarle M. V. -- Efficient Metaobject Control Using Mediators / Ivannikov V., Zadorozhny V., Kossmann R., Novikov B. -- Framework Component Systems: Concepts, Design Heuristics, and Perspectives / Pree W., Pomberger G., Kapsner F. -- Prototype of a Run-Time Adaptable, Object-Oriented System / Fröhlich J.H. -- The Tree Equivalence Problem for Linear Recursion Schemes / Sabelfeld V. K. -- A Mode Analysis of Logic Programs by Abstract Interpretation / Lu L. -- A Semantics-Based Determinacy Analysis for Prolog with Cut / Mogensen T. Æ -- Communicating Functional Agents and Their Application to Graphical User Interfaces / Frauenstein T., Grieskamp W., Pepper P., Südholt M. -- The Design of a Functional GUI Library Using Constructor Classes / Vullinghs T., Schulte W., Schwinn T. -- Merging Relational Database Technology with Constraint Technology / Voronkov A. -- On Homeostatic Behavior of Dynamic Deductive Data Bases / Dekhtyar M.L, Dikovsky A.Ja -- On Transformations into Linear Database Logic Programs / Afrati F., Gergatsoulis M., Katzouraki M. -- List of Posters -- Author Index |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN DE COMPUTADORAS |
| 9 (RLIN) |
175824 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
INTELIGENCIA ARTIFICIAL |
| 9 (RLIN) |
32538 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN PARALELA |
| 9 (RLIN) |
247811 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN ORIENTADA A OBJETOS |
| 9 (RLIN) |
247619 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN LÓGICA |
| 9 (RLIN) |
247914 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Bjørner, Dines |
| 9 (RLIN) |
256542 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Broy, Manfred |
| 9 (RLIN) |
256543 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Pottosin, Igor V. |
| 9 (RLIN) |
256544 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Libros |