![RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings /](/search/themes/bootstrap3/images/libros.png)
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings /
Partial computation of programs -- Treatment of big values in an applicative language HFP -- Toward the design and implementation of object oriented architecture -- DURAL: an extended Prolog language -- An algorithm for intelligent backtracking -- A pattern matching algorithm in binary trees -- Polynomial time inference of extended regular pattern languages -- Effects of practical assumption in area complexity of VLSI computation -- Hardware algorithms and logic design automation -- List processing with a data flow machine -- Relational algebra machine GRACE -- Vocabulary building for database queries.
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1983
|
| Subjects: | Computer science., Software engineering., Computer Science., Software Engineering., |
| Online Access: | http://dx.doi.org/10.1007/3-540-11980-9 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:177478 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:1774782018-07-30T22:56:26ZRIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / Goto, Eiichi. editor. Furukawa, Koichi. editor. Nakajima, Reiji. editor. Nakata, Ikuo. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1983.engPartial computation of programs -- Treatment of big values in an applicative language HFP -- Toward the design and implementation of object oriented architecture -- DURAL: an extended Prolog language -- An algorithm for intelligent backtracking -- A pattern matching algorithm in binary trees -- Polynomial time inference of extended regular pattern languages -- Effects of practical assumption in area complexity of VLSI computation -- Hardware algorithms and logic design automation -- List processing with a data flow machine -- Relational algebra machine GRACE -- Vocabulary building for database queries.Computer science.Software engineering.Computer Science.Software Engineering.Springer eBookshttp://dx.doi.org/10.1007/3-540-11980-9URN:ISBN:9783540394426 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Software engineering. Computer Science. Software Engineering. Computer science. Software engineering. Computer Science. Software Engineering. |
| spellingShingle |
Computer science. Software engineering. Computer Science. Software Engineering. Computer science. Software engineering. Computer Science. Software Engineering. Goto, Eiichi. editor. Furukawa, Koichi. editor. Nakajima, Reiji. editor. Nakata, Ikuo. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / |
| description |
Partial computation of programs -- Treatment of big values in an applicative language HFP -- Toward the design and implementation of object oriented architecture -- DURAL: an extended Prolog language -- An algorithm for intelligent backtracking -- A pattern matching algorithm in binary trees -- Polynomial time inference of extended regular pattern languages -- Effects of practical assumption in area complexity of VLSI computation -- Hardware algorithms and logic design automation -- List processing with a data flow machine -- Relational algebra machine GRACE -- Vocabulary building for database queries. |
| format |
Texto |
| topic_facet |
Computer science. Software engineering. Computer Science. Software Engineering. |
| author |
Goto, Eiichi. editor. Furukawa, Koichi. editor. Nakajima, Reiji. editor. Nakata, Ikuo. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) |
| author_facet |
Goto, Eiichi. editor. Furukawa, Koichi. editor. Nakajima, Reiji. editor. Nakata, Ikuo. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) |
| author_sort |
Goto, Eiichi. editor. |
| title |
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / |
| title_short |
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / |
| title_full |
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / |
| title_fullStr |
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / |
| title_full_unstemmed |
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / |
| title_sort |
rims symposia on software science and engineering [electronic resource] : kyoto, 1982 proceedings / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1983 |
| url |
http://dx.doi.org/10.1007/3-540-11980-9 |
| work_keys_str_mv |
AT gotoeiichieditor rimssymposiaonsoftwarescienceandengineeringelectronicresourcekyoto1982proceedings AT furukawakoichieditor rimssymposiaonsoftwarescienceandengineeringelectronicresourcekyoto1982proceedings AT nakajimareijieditor rimssymposiaonsoftwarescienceandengineeringelectronicresourcekyoto1982proceedings AT nakataikuoeditor rimssymposiaonsoftwarescienceandengineeringelectronicresourcekyoto1982proceedings AT yonezawaakinorieditor rimssymposiaonsoftwarescienceandengineeringelectronicresourcekyoto1982proceedings AT springerlinkonlineservice rimssymposiaonsoftwarescienceandengineeringelectronicresourcekyoto1982proceedings |
| _version_ |
1756264279804215296 |