REBIUN - ODA

Catálogo de la Red de Bibliotecas Universitarias y Científicas

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : 13-14 Oct. 2022

proceedings (reports) Conference papers and proceedings. Conference papers and proceedings. Actes de congrès.

Monografía

monografia Rebiun33813080 https://catalogo.rebiun.org/rebiun/record/Rebiun33813080 m o d cr mn||||||||| 230419t20222022njua ob 100 0 eng d 9798350331905 9798350331912 print-on-demand) AU@ 000074099732 SFB eng rda SFB STF OCLCF OCLCO 004.62 23 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) 13-14 Oct. 2022 Also known as MEMOCODE 2022 Piscataway, New Jersey IEEE [2020] Piscataway, New Jersey Piscataway, New Jersey IEEE 2020 1 online resource illustrations 1 online resource Text txt rdacontent computer c rdamedia online resource cr rdacarrier text file rdaft Conference location: Shanghai, China Includes bibliographical references Formal methods (Computer science)- Congresses Méthodes formelles (Informatique)- Congrès Formal methods (Computer science) proceedings (reports) Conference papers and proceedings. Conference papers and proceedings. Actes de congrès. Institute of Electrical and Electronics Engineers publisher 979-83-503-3191-2

Localizaciones: 2
Préstamo interbibliotecario

Formato:

Título:

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : 13-14 Oct. 2022

Editorial:

Piscataway, New Jersey : IEEE, [2020]

2020

Descripción física:

1 online resource : illustrations

Variantes del título:

Also known as: MEMOCODE 2022

Nota general:

Conference location: Shanghai, China

Bibliografía:

Includes bibliographical references

ISBN:

9798350331905

9798350331912 ( print-on-demand)

Materia:

Entidades:

Institute of Electrical and Electronics Engineers, publisher

Enlace a formato físico adicional:

979-83-503-3191-2

Consultar en el catálogo

Consultar en el catálogo

Seleccione el centro al que pertenece para solicitar la petición de préstamo de este documento.

Filtrar por:

Relacionados

Mismo Género

Autores Dunker, Axel, editor Gerstner, Jan, editor Osthues, Julian, editor Migrationsvordergrund-Provinzhintergrund. Deutschsprachige (Welt-)Literatur aus Osteuropa (Conference) (2017 :. Bremen, Germany)

Publicación Leiden ; Boston : Brill, [2021] 2021

Formato Monografía

Formato Monografía
Publicación [Place of publication not identified] : IEEE, 2015

Formato Monografía

Formato Monografía
Autores Institute of Electrical and Electronics Engineers, publisher

Publicación [Piscataway, New Jersey] : IEEE., [2022] 2022

Formato Monografía

Formato Monografía
Autores Institute of Electrical and Electronics Engineers, publisher

Publicación [Piscataway, New Jersey] : IEEE, [2022]

Formato Monografía

Formato Monografía
Autores Sorer, Heinz

Publicación Rockville, MD : U.S. Dept. of Health and Human Services, Public Health Service, National Institutes of Health, National Institute on Drug Abuse, 1992

Formato Monografía

Formato Monografía
Autores Alexandre, A. (Alberto) https://id.oclc.org/worldcat/entity/E39PCjJ7RT7WQdYD9HvrxVXtGb Bricolo, A. (Albino) https://id.oclc.org/worldcat/entity/E39PCjH3VBWTCyCjC9bR8XKfdP Millesi, Hanno World Federation of Neurosurgical Societies. Committee for Peripheral Nerve Surgery

Publicación Wien ; New York : Springer, 2005

Formato Monografía

Formato Monografía
Autores Koscielny, Jan M., editor Syfert, Micha, editor Sztyber, Anna, editor

Publicación Cham : Springer International Publishing : Imprint : Springer, 2017 2018

Formato Monografía

Formato Monografía
Autores Greiner, David, editor EUROGEN (Conference) (10th :. 2013 :. Las Palmas, Canary Islands)

Publicación Cham : Springer, [2014] 2015

Formato Monografía

Formato Monografía
Autores Bramley, Alan N. IDMME Conference (5th :. 2004 :. Bath, England)

Publicación Dordrecht : Springer, 2005

Formato Monografía

Formato Monografía
Autores Vo, Phu Le, editor Tran, Dang An, editor Pham Thi, Lan (1990-), editor. https://id.oclc.org/worldcat/entity/E39PCjxPxkwmmMtBkvXXjgRG6q https://isni.org/isni/0000000080086385 Thu, Ha Le Thi, editor Viet, Nghia Nguyen, editor International Conference on Geo-Spatial Technologies and Earth Resources (2nd :. 2022 :. Hanoi City, Vietnam)

Publicación Cham : Springer, 2022

Formato Monografía

Formato Monografía
Autores Radespiel, Rolf, editor Niehuis, Reinhard, editor Kroll, Norbert, editor Behrends, Kathrin, editor

Publicación [Cham] : Springer, [2015] 2016

Formato Monografía

Formato Monografía
Autores Vinod, Hrishikesh D. (1939-) https://id.oclc.org/worldcat/entity/E39PBJyCF43JhMpj44yjtxfDv3

Publicación New York : Springer-Verlag, 2010

Formato Monografía

Formato Monografía