Resultados 1 - 10 de 253 para Búsqueda General
Mostrar solo
- Recursos en línea (248)
- Revistas arbitradas (199)
- Disponible (6)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Libro
|
|
Mathematical Foundations of Computer Science 1991Tarlecki Andrzej TarleckiSpringer Berlin Heidelberg 1991Acceso en línea |
| 2 |
Material Type: Libro
|
|
Foundations of Algebraic Specification and Formal Software DevelopmentDonald Sannella Andrzej TarleckiSpringer Berlin Heidelberg 2012Acceso en línea |
| 3 |
Material Type: Libro
|
|
Computer Science LogicEuropean Association for Computer Science Logic. Conference Jerzy Marcinkowski; Andrzej TarleckiSpringer Berlin / Heidelberg 2004Acceso en línea |
| 4 |
Material Type: Libro
|
|
Recent trends in data types specification selected papersWorkshop on Specification on Abstract Data Types,5., Edinburgh, 1987 Andrzej TarleckiBerlin Springer 1988Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.332 ex.1 ) y otras localizaciones(Obténgalo) |
| 5 |
Material Type: Libro
|
|
Mathematical foundations of computer science proceedingsSymposium on Mathematical Foundations of ComputerScience, 16., Kazimierz Dolny, 1991 Andrzej TarleckiBerlin Springer 1991Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.520 e.1 ) y otras localizaciones(Obténgalo) |
| 6 |
Material Type: Libro
|
|
Recent Trends in Data Type SpecificationWorkshop on Specification of Abstract Data Types Egidio Astesiano; Gianna Reggio; Andrzej TarleckiSpringer Berlin Heidelberg 1995Acceso en línea |
| 7 |
Material Type: Libro
|
|
Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedingsWorkshop on Computer Science Logic (18th 2004 Karpacz, Poland) Jerzy Marcinkowski 1965; Andrzej Tarlecki; European Association for Computer Science Logic Conference Karpacz, Poland) 2004Berlin Springer New York c2004Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3210 ) y otras localizaciones(Obténgalo) |
| 8 |
Material Type: Libro
|
|
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedingsInternational Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England) John Fitzgerald 1965-; Ian Hayes; Andrzej TarleckiBerlin Springer New York 2005Acceso en línea. La biblioteca tiene también copias físicas. |
| 9 |
Material Type: Libro
|
|
Recent trends in data type specification selected papersWorkshop on Specification of Abstract Data Types (10. 1994 S. Margherita) Egidio Astesiano; Gianna Reggio; Andrzej Tarlecki; Compass Workshop (5. 1994 S. Margherita)Berlin Springer 1995Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.906 e.1 ) y otras localizaciones(Obténgalo) |
| 10 |
Material Type: Libro
|
|
Automata, languages and programming 34th international colloquium, ICALP 2007, Wroc aw, Poland, July 9-13 2007 : proceedingsInternational Colloquium on Automata, Languages, and Programming (34th 2007 Wroc aw, Poland) Christian Cachin; Tomasz Jurdzinski; Andrzej Tarlecki; L Arge (Lars); European Association for Theoretical Computer ScienceBerlin Springer New York c2007Disponible en IME - Inst. Matemática e Estatística (S L471c v.4596 )(Obténgalo) |
Resultados 1 - 10 de 253 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
- Recursos en línea (248)
- Revistas arbitradas (199)
- Disponible (6)
Refinar mis resultados
Tipo de Recurso
- Capítulos de libro (120)
- Actas de Congreso (65)
- Artículos (48)
- Libros (17)
- Informes (1)
- Reseñas (1)
- magazinearticle (1)
-
Más opciones
Materia
- Science & Technology (126)
- Computer Science (98)
- Technology (88)
- Computer Science, Theory & Methods (81)
- Exact Sciences And Technology (59)
- Applied Sciences (59)
- Computer Science; Control Theory; Systems (58)
- Theoretical Computing (51)
- Mathematics (45)
- Physical Sciences (41)
- Mathematics, Applied (38)
- Logical, Boolean And Switching Functions (34)
- Software Engineering (31)
- Computer Programming / Software Development (18)
- Mathematical Foundations (17)
- Abstract Data Type (13)
- Software (12)
- Computer Science, Software Engineering (12)
- Logical System (11)
- Operational Semantic (11)
- Teoria Da Computação (3)
- Machine Theory (2)
- Engenharia De Software (2)
- Computer Software (2)
- Logiciels (1)
- Ciência Da Computação (1)
- Desenvolvimento De Software (1)
- Especificação De Sistemas E Programas (Congressos) (1)
- Formal Languages (1)
- Programmation (Informatique) (1)
- Computer Programming (1)
- Ciência Da Computação (Congressos) (1)
- Logiciels (1)
- Machine Theory (1)
- Méthodes Formelles (Informatique) (1)
- Computer Software (1)
- Metodologia E Técnicas De Programação (Congressos) (1)
- Semântica De Programação (Congressos) (1)
- Systèmes, Conception De (1)
- Th Eorie Des Automates (1)
- Lógica Matemática (Congressos) (1)
- Formal Methods (Computer Science) (1)
- System Design (1)
-
Más opciones
Creador
- Tarlecki, A (10)
- Astesiano, E (2)
- Workshop on Specification of Abstract Data Types (2)
- Marcinkowski, J (2)
- Reggio, G (2)
- European Association for Theoretical Computer Science (1)
- Workshop on Computer Science Logic (1)
- International Symposium of Formal Methods Europe (1)
- Arge, L (1)
- Tarlecki (1)
- Compass Workshop (1)
- European Association for Computer Science Logic Conference (1)
- Symposium on Mathematical Foundations of ComputerScience (1)
- Workshop on Specification on Abstract Data Types (1)
- Sannella, D (1)
- Hayes, I (1)
- European Association for Computer Science Logic. Conference (1)
- Cachin, C (1)
- Fitzgerald, J (1)
- International Colloquium on Automata, L (1)
-
Más opciones
Fecha de Publicación
- Antes de1989 (30)
- 1989Hasta1995 (45)
- 1996Hasta2001 (16)
- 2002Hasta2008 (143)
- Después de 2008 (44)
-
Más opciones
Biblioteca
Base de Datos/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (170)
- SpringerLINK Lecture Notes in Computer Science (2015) (168)
- Science Citation Index Expanded (Web of Science) (89)
- Springer Books (63)
- SpringerLink Books Lecture Notes in Computer Science Archive (41)
- Springer Books Online Archive (41)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (38)
- Free E-Journal (出版社公開部分のみ） (24)
- Elsevier ScienceDirect Journals (22)
- Springer Nature - Springer Computer Science eBooks 2012 English International (19)
- Springer Journals (12)
- EBSCOhost Computers and Applied Sciences Complete (10)
- Springer Nature - Springer Journals All 2022 (7)
- ACM Digital Library Complete (7)
- EBSCOhost Business Source Complete (6)
- EBSCOhost Academic Search Premier (5)
- IngentaConnect Journals (4)
- JSTOR Mathematics and Statistics (3)
- Gale Academic OneFile Select (3)
- JSTOR All Journals (3)
-
Más opciones
Idioma
- Japonés (7)
- Serbian (1)
-
Más opciones
Título revista
- Theoretical Computer Science (10)
- Formal Aspects Of Computing (4)
- Lecture Notes In Computer Science (4)
- Acta Informatica (3)
- Information Processing Letters (3)
- Science Of Computer Programming (3)
- Mathematical Structures In Computer Science (2)
- Pm Engineer (2)
- Journal Of Computer And System Sciences (2)
- Logica Universalis (2)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 