SOFSEM 2010: Theory and Practice of Computer Science

SOFSEM 2010: Theory and Practice of Computer Science
Author :
Publisher : Springer Science & Business Media
Total Pages : 795
Release :
ISBN-10 : 9783642112652
ISBN-13 : 364211265X
Rating : 4/5 (65X Downloads)

Book Synopsis SOFSEM 2010: Theory and Practice of Computer Science by : Jan van Leeuwen

Download or read book SOFSEM 2010: Theory and Practice of Computer Science written by Jan van Leeuwen and published by Springer Science & Business Media. This book was released on 2010-01-20 with total page 795 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 53 revised full papers, presented together with 11 invited contributions, were carefully reviewed and selected from 134 submissions. SOFSEM 2010 was organized around the following four tracks: Foundations of computer science, principles of software construction, Data, knowledge, and intelligent systems and Web science.


SOFSEM 2010: Theory and Practice of Computer Science Related Books

SOFSEM 2010: Theory and Practice of Computer Science
Language: en
Pages: 795
Authors: Jan van Leeuwen
Categories: Computers
Type: BOOK - Published: 2010-01-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, held in Špindl
Treewidth, Kernels, and Algorithms
Language: en
Pages: 350
Authors: Fedor V. Fomin
Categories: Computers
Type: BOOK - Published: 2020-04-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volum
On the Move to Meaningful Internet Systems: OTM 2011
Language: en
Pages: 431
Authors: Robert Meersman
Categories: Computers
Type: BOOK - Published: 2011-11-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The two-volume set LNCS 7044 and 7045 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (Coo
Foundations of Software Science and Computational Structures
Language: en
Pages: 497
Authors: Lars Birkedal
Categories: Mathematics
Type: BOOK - Published: 2012-03-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held a
Provably Correct Systems
Language: en
Pages: 332
Authors: Mike Hinchey
Categories: Mathematics
Type: BOOK - Published: 2017-03-01 - Publisher: Springer

DOWNLOAD EBOOK

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these s