SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

B. Steffen (Redacteur), C. Baier (Redacteur), M.G.J. van den Brand, J. Eder (Redacteur), M. Hinchey (Redacteur), T. Margaria (Redacteur)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Uittreksel

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.
Originele taal-2Engels
UitgeverijSpringer
ISBN van elektronische versie978-3-319-51963-0
ISBN van geprinte versie978-3-319-51962-3
DOI's
StatusGepubliceerd - 2017

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume10139

Vingerafdruk

Computer science
Knowledge engineering
Formal languages
Graph theory
Coloring
Scheduling algorithms
Petri nets
Data structures
Software engineering
Semantics
Systems analysis
Specifications

Citeer dit

Steffen, B. (editor), Baier, C. (editor), van den Brand, M. G. J., Eder, J. (editor), Hinchey, M. (editor), & Margaria, T. (editor) (2017). SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. (Lecture Notes in Computer Science; Vol. 10139). Springer. https://doi.org/10.1007/978-3-319-51963-0
Steffen, B. (Redacteur) ; Baier, C. (Redacteur) ; van den Brand, M.G.J. ; Eder, J. (Redacteur) ; Hinchey, M. (Redacteur) ; Margaria, T. (Redacteur). / SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Springer, 2017. (Lecture Notes in Computer Science).
@book{cf96244d92f64ff7be06dd94d82d3a01,
title = "SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings",
abstract = "This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.",
author = "{van den Brand}, M.G.J.",
editor = "B. Steffen and C. Baier and J. Eder and M. Hinchey and T. Margaria",
year = "2017",
doi = "10.1007/978-3-319-51963-0",
language = "English",
isbn = "978-3-319-51962-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",

}

Steffen, B (redactie), Baier, C (redactie), van den Brand, MGJ, Eder, J (redactie), Hinchey, M (redactie) & Margaria, T (redactie) 2017, SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10139, Springer. https://doi.org/10.1007/978-3-319-51963-0

SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. / Steffen, B. (Redacteur); Baier, C. (Redacteur); van den Brand, M.G.J.; Eder, J. (Redacteur); Hinchey, M. (Redacteur); Margaria, T. (Redacteur).

Springer, 2017. (Lecture Notes in Computer Science; Vol. 10139).

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

TY - BOOK

T1 - SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

AU - van den Brand, M.G.J.

A2 - Steffen, B.

A2 - Baier, C.

A2 - Eder, J.

A2 - Hinchey, M.

A2 - Margaria, T.

PY - 2017

Y1 - 2017

N2 - This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.

AB - This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.

U2 - 10.1007/978-3-319-51963-0

DO - 10.1007/978-3-319-51963-0

M3 - Book editing

SN - 978-3-319-51962-3

T3 - Lecture Notes in Computer Science

BT - SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

PB - Springer

ER -