SOFSEM '97: Theory and Practice of Informatics

SOFSEM '97: Theory and Practice of Informatics
Author :
Publisher : Springer Science & Business Media
Total Pages : 596
Release :
ISBN-10 : 3540637745
ISBN-13 : 9783540637745
Rating : 4/5 (745 Downloads)

Book Synopsis SOFSEM '97: Theory and Practice of Informatics by : Frantisek Plasil

Download or read book SOFSEM '97: Theory and Practice of Informatics written by Frantisek Plasil and published by Springer Science & Business Media. This book was released on 1997-11-05 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.


SOFSEM '97: Theory and Practice of Informatics Related Books

SOFSEM '97: Theory and Practice of Informatics
Language: en
Pages: 596
Authors: Frantisek Plasil
Categories: Computers
Type: BOOK - Published: 1997-11-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Rep
Sofsem '96
Language: en
Pages: 514
Authors: Keith G. Jeffery
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

DOWNLOAD EBOOK

Analysis and Verification of Multiple-Agent Languages
Language: en
Pages: 452
Authors: Mads Dam
Categories: Computers
Type: BOOK - Published: 1997-01-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is a
Logical Foundations of Computer Science
Language: en
Pages: 456
Authors: S. I. Adi︠a︡n
Categories: Computers
Type: BOOK - Published: 1997-05-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A Sobolev gradient of a real-valued functional is a gradient of that functional taken relative to the underlying Sobolev norm. This book shows how descent metho
Cooperative Information Agents
Language: en
Pages: 308
Authors: Peter Kandzia
Categories: Computers
Type: BOOK - Published: 1997-02-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Workshop on Cooperative Information Agents - DAI Meets Databases, CIA-97, held in Kiel