Baltic Computer Science

Baltic Computer Science von Barzdins Janis (Herausgeber) und Bjorner Dines (Herausgeber)

Herausgeber: Barzdins, Janis

Herausgeber: Bjorner, Dines

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Informatik

ISBN: 3540541314

EAN/ISBN-13: 9783540541318

Sprache: eng

Veröffentlichung: September 2007


 
 
Klappentext zu Baltic Computer Science
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.

weitere passende Bücher

Databases and Information Systems

Modern information systems differ in essence from their predecessors. They support operations at multiple locations and different time zones, are distributed and network-based, and use …

Preface. Workshop Committee. Part 1: Foundations of databases. Object Views and Query Modification; K. Subieta, J. Plodzien. On Materialising Object-Oriented Views; R. Wrembel. Indexing on Multivalued …


geschrieben von Barzdins (Autor) und Janis Barzdins (Herausgeber) und Albertas Caplinskas (Herausgeber)

Logics of Specification Languages

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are …


geschrieben von Dines Bjorner (Herausgeber) und Martin C. Henson (Herausgeber)

Perspectives of System Informatics

This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999.The 44 …


geschrieben von Dines Bjorner (Herausgeber) und Manfred Broy (Herausgeber) und Alexandre V. Zamulin (Herausgeber)

Artificial Intelligence and Soft Computing -- ICAISC 2006

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2006, held in Zakopane, Poland, in June 2006.
The 128 …


geschrieben von

Foundations in IT Service Management basierend auf ITIL

In recent years, IT Service Management has developed into a field in its own right. Organizations are now so dependent on the automation of large parts of their business processes that the quality of …


geschrieben von Jan van Bon (Herausgeber)

Niemalsland

Der Engländer Neil Gaiman, 1960 geboren, arbeitete zunächst in London als Journalist und wurde durch seine Comic-Serie "Der Sandmann" bekannt. Neben den Romanen "Niemalsland" und "Der …

Der gutmütige Richard kommt einem Mädchen zu Hilfe und verliert dadurch seine Identität - niemand kennt ihn mehr. Als naiver Held wider Willen steigt er hinab nach Unter-London, eine …


geschrieben von Tina Hohl (Übersetzung) und Neil Gaiman (Autor)

Pucki kommt in die höhere Schule

Pucki muss ihr geliebtes Zuhause verlassen um das Gymnasium zu besuchen. Dort entwickelt sie sich nach anfänglichen Widerständen und Wirrungen vom unaufmerksamen Kind zu einer …


geschrieben von Magda Trott (Autor)

Kasimir backt

Kasimir, der patente Biber Ein Geburtstagskuchen vom Biber Kasimir. Mit einem Rezept zum Nachmachen. …


geschrieben von Lars Klinting (Autor)

Der Doktor und das liebe Vieh

ist das Pseudonym des Tierarztes James Whight, geboren 1916. Er wuchs in Schottland auf, studierte in Glasgow Tiermedizin und erhielt eine Assistentenstelle in den Nord Yorkshire Dales. Sein Sohn …

Warmherzig und humorvoll, mit nie versiegendem Staunen vor dem immer wieder neuen Wunder des Lebens erzählt James Herriot in diesen amüsanten Erinnerungen von der Tierarztpraxis in der …


geschrieben von James Herriot (Autor) und Friedrich A. Kloth (Übersetzung)


durchsuche buecher-lounge.de

  • Loading