Resultados 1 - 10 de 49.819 para Búsqueda General
Ordenar por:
Ordenar por:
Fecha-la más antiguaOr hit Enter to replace sort method
- Relevancia
- Fecha (descendente)
- Fecha-la más antigua
- Popularidad
- Autor
- Título
Mostrar solo
- Revistas arbitradas (44.737)
Refinado por:
tipo de recurso:
Capítulos de libro
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Libro
|
|
TOCS: a SIMULA-based simulator for the analysis of mainframe-oriented distributed systemsMühlenbein, H. Lockemann, Peter Christian ; Duijvestijn, ArieTrends in Information Processing Systems, 1981, p.321-333 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 2 |
Material Type: Capítulo de Libro
|
|
A construction of concurrent systems by means of sequential solutions and concurrency relationsJanicki, Ryszard Díaz, J. ; Ramos, I.Formalization of Programming Concepts, 1981, p.327-334 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 3 |
Material Type: Capítulo de Libro
|
|
Separate and integral compilation of subsystemsBöhringer, B. ; Feuerhahn, H. Lockemann, Peter Christian ; Duijvestijn, ArieTrends in Information Processing Systems, 1981, p.50-64 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 4 |
Material Type: Capítulo de Libro
|
|
Software engineering: Experience and convictionsDenert, Ernst Lockemann, Peter Christian ; Duijvestijn, ArieTrends in Information Processing Systems, 1981, p.16-35 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 5 |
Material Type: Capítulo de Libro
|
|
An operational semantics for a language with early completion data structuresDennis, Jack B. Díaz, J. ; Ramos, I.Formalization of Programming Concepts, 1981, p.260-267 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 6 |
Material Type: Capítulo de Libro
|
|
The development of an interpreter by means of abstract algebraic software specificationsKlaeren, H. A. ; Petzsch, H. Díaz, J. ; Ramos, I.Formalization of Programming Concepts, 1981, p.335-346 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 7 |
Material Type: Capítulo de Libro
|
|
Petri nets and concurrency-like relationsPrószyński, Piotr Díaz, J. ; Ramos, I.Formalization of Programming Concepts, 1981, p.471-478 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 8 |
Material Type: Capítulo de Libro
|
|
The future of applicative programmingTurner, David Lockemann, Peter Christian ; Duijvestijn, ArieTrends in Information Processing Systems, 1981, p.334-348 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 9 |
Material Type: Capítulo de Libro
|
|
A proposal for operational semantics and equivalence of finite asynchronous processesMejia, Luis Díaz, J. ; Ramos, I.Formalization of Programming Concepts, 1981, p.387-400 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 10 |
Material Type: Capítulo de Libro
|
|
Ada and the German pay phone: An illustrative example of parallel processingKrieg-Brückner, Bernd Lockemann, Peter Christian ; Duijvestijn, ArieTrends in Information Processing Systems, 1981, p.122-134 [Revista revisada por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
Resultados 1 - 10 de 49.819 para Búsqueda General
Ordenar por:
Ordenar por:
Fecha-la más antiguaOr hit Enter to replace sort method
- Relevancia
- Fecha (descendente)
- Fecha-la más antigua
- Popularidad
- Autor
- Título
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
- Revistas arbitradas (44.737)
Refinar mis resultados
Materia
- Computer Science, Information Systems (13.642)
- Computer Science, Artificial Intelligence (13.585)
- Computer Science, Software Engineering (9.398)
- Exact Sciences And Technology (8.058)
- Applied Sciences (7.965)
- Computer Science; Control Theory; Systems (6.730)
- Computer Science, Interdisciplinary Applications (5.921)
- Software (4.419)
- Artificial Intelligence (3.171)
- Mathematics (3.028)
- Physical Sciences (3.028)
- Robotics (2.676)
- Life Sciences & Biomedicine (2.626)
- Engineering (2.420)
- Computer Science, Hardware & Architecture (2.212)
- Telecommunications (2.046)
-
Más opciones
Fecha de Publicación
- Antes de1989 (3.247)
- 1989Hasta1996 (3.695)
- 1997Hasta2004 (16.059)
- 2005Hasta2013 (7.610)
- Después de 2013 (20.307)
-
Más opciones
Base de Datos/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (41.783)
- Science Citation Index Expanded (Web of Science) (22.667)
- Springer Books (11.961)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (6.845)
- Springer Nature - Springer Computer Science eBooks 2015 English International (3.991)
- Springer Nature - Springer Computer Science eBooks 2016 English International (2.746)
- SpringerLINK Lecture Notes in Computer Science (2014) (2.736)
- Springer Books Online Archive (1.991)
- SpringerLink Books Lecture Notes in Computer Science Archive (1.946)
- SpringerLINK Lecture Notes in Computer Science (2016) (1.706)
- eBook - All Access Books [EBAAB] (1.397)
- ScienceDirect eBooks (1.340)
- IngentaConnect Journals (1.117)
- Gale eBooks (922)
- Springer Nature - Springer Computer Science eBooks 2014 English International (849)
- Wiley Online Library All Obooks (804)
- Springer Nature - Springer Computer Science eBooks 2011 English International (657)
- Wiley Online Book 2010 to present (542)
- Springer Nature - Springer Computer Science eBooks 2013 English International (374)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 