This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical computerscience, FSTTCS'97. The 18 revised full papers presented were sele...
详细信息
ISBN:
(数字)9783540696599
ISBN:
(纸本)9783540638766
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical computerscience, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.
This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics – SOFSEM 2005, held on January 22–28, 2005 in LiptovskyJ ´ an, ´ ...
详细信息
ISBN:
(数字)9783540305774
ISBN:
(纸本)9783540243021
This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics – SOFSEM 2005, held on January 22–28, 2005 in LiptovskyJ ´ an, ´ Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti?c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: – Foundations of computerscience (Track Chair: Bernadette Charron-Bost) – Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt´ a? s) – Software Engineering (Track Chair: M´ aria Bielikova) ´ – Graph Drawing (Track Chair: Ondrej Syk ´ ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34.
This textbook provides an engaging and motivational introduction to traditional topics in discretemathematics, in a manner specifically designed to appeal to computerscience students. The text empowers students to t...
详细信息
ISBN:
(数字)9781447140696
This textbook provides an engaging and motivational introduction to traditional topics in discretemathematics, in a manner specifically designed to appeal to computerscience students. The text empowers students to think critically, to be effective problem solvers, to integrate theory and practice, and to recognize the importance of abstraction.;Clearly structured and interactive in nature, the book presents detailed walkthroughs of several algorithms, stimulating a conversation with the reader through informal commentary and provocative questions. Features: no university-level background in mathematics required; ideally structured for classroom-use and self-study, with modular chapters following ACM curriculum recommendations; describes mathematical processes in an algorithmic manner; contains examples and exercises throughout the text, and highlights the most important concepts in each section; selects examples that demonstrate a practical use for the concept in question.
This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of computerscience, SOFSEM 2023, held in Nový Smokovec, Slovakia, during January 15...
详细信息
ISBN:
(数字)9783031231018
ISBN:
(纸本)9783031231001
This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of computerscience, SOFSEM 2023, held in Nový Smokovec, Slovakia, during January 15–18, 2023.;This workshop focuses on graphs problems and optimization; graph drawing and visualization; NP-hardness and fixed parameter tractability; communication and temporal graphs; complexity and learning; and robots and strings.
During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in computerscience has become a distinguished and high-quality computerscience event. The workshop aims at uniting theory and prac...
详细信息
ISBN:
(数字)9783540305590
ISBN:
(纸本)9783540241324
During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in computerscience has become a distinguished and high-quality computerscience event. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can successfully be applied to v- ious areas of computerscience and by exposing new theories emerging from applications. In this way, WG provides a common ground for the exchange of information among people dealing with several graph problems and working in various disciplines. Thereby, the workshop contributes to forming an interdis- plinary research community. The original idea of the Workshop on Graph-Theoretic Concepts in C- puter science was ingenuity in all theoretical aspects and applications of graph concepts, wherever applied. Within the last ten years, the development has strengthened in particular the topic of structural graph properties in relation to computational complexity. This workshop has become pivotal for the c- munity interested in these *** aimspeci?c to the 30thWG was to support the central role of WG in both of the prementioned areas on the one hand and on the other hand to promote its originally broader scope. The 30th WG was held at the Physikzentrum Bad Honnef, which serves as the main meeting point of the German Physical Society. It o?ers a secluded setting for research conferences, seminars, and workshops, and has proved to be especiallystimulatingforfruitful *** hall with a modern double rear projection, interactive electronic board, and full video conferencing equipment.
This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in computerscience, WG *** 32 full papers presented in this volume were carefully reviewe...
详细信息
ISBN:
(数字)9783031159145
ISBN:
(纸本)9783031159138
This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in computerscience, WG *** 32 full papers presented in this volume were carefully reviewed and selected from a total of 96 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from Graph Theory can be applied to various areas in computerscience, or by extracting new graph theoretic problems from applications.
The 33rd International Conference “Workshop on Graph-Theoretic Concepts in computerscience” (WG 2007) took place in the Conference Center in old castleinDornburgnearJena,Germany,June21–23,***80 participants came f...
详细信息
ISBN:
(数字)9783540748397
ISBN:
(纸本)9783540748380
The 33rd International Conference “Workshop on Graph-Theoretic Concepts in computerscience” (WG 2007) took place in the Conference Center in old castleinDornburgnearJena,Germany,June21–23,***80 participants came from various countries all over the world, among them Brazil, Canada, the Czech Republic, France, UK, Greece, Hungary, Italy, Japan, The Netherlands, Norway, Sweden, Taiwan, and the USA. WG 2007 continued the series of 32 previous WG conferences. Since 1975, the WG conference has taken place 20 times in Germany, four times in The Netherlands, twice in Austria as well as once in Italy, Slovakia, Switzerland, the Czech Republic, France and in Norway. The WG conference traditionally aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computerscience, or by extracting new problems from applications. The goal is to present recent researchresults and to identify and exploredirections of future research. Thecontinuinginterestinthe WGconferenceswasre?ectedin thehighn- ber of submissions; 99 papers were submitted and in an evaluation process with four reports per submission, 30 papers were accepted by the Program Comm- tee for the conference. Due to the high number of submissions and the limited schedule of 3 days, various good papers could not be accepted. There were invited talks by Ming-Yang Kao (Evanston, Illinois) on algori- mic DNA assembly, and by Klaus Jansen (Kiel, Germany) on approximation algorithms for geometric intersection graphs.
暂无评论