2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers

(Visualizza in formato marc) (Visualizza in BIBFRAME)

Titolo:	2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers
Pubblicazione:	Piscataway, New Jersey : , : IEEE, , 2020
Descrizione fisica:	1 online resource
Disciplina:	005.1015113
Soggetto topico:	Computer software
Sommario/riassunto:	ICCSN 2020 welcomes author submission of papers concerning any branch of the Communication Software and Networks, and their applications ineducation, and other subjects The subjects covered by the ICCSN 2020 include COMMUNICATIONS NETWORKS AND SYSTEMS, SIGNAL PROCESSING & APPLICATIONS, and their applications.
Altri titoli varianti:	2020 12th International Conference on Communication Software and Networks
Titolo autorizzato:	2020 12th International Conference on Communication Software and Networks (ICCSN)
ISBN:	1-7281-9815-1
Formato:	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione:	Inglese
Record Nr.:	9910437191903321
Lo trovi qui:	Univ. Federico II
Opac:	Controlla la disponibilità qui

Documenti simili

Semantics of Probabilistic Processes [[electronic resource] ] : An Operational Approach / / by Yuxin Deng Deng Yuxin
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky
Integrated Formal Methods [[electronic resource] ] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith
ABZ 2014: The Landing Gear Case Study [[electronic resource] ] : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig

Semantics of Probabilistic Processes [[electronic resource] ] : An Operational Approach / / by Yuxin Deng
Deng Yuxin

Formal Techniques for Safety-Critical Systems [[electronic resource] ] : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky

Integrated Formal Methods [[electronic resource] ] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith

ABZ 2014: The Landing Gear Case Study [[electronic resource] ] : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig

1 2 3 4 5 6 7 8 9 10 11 12 13 ... > >>