Springer Berlin Heidelberg Textbooks


Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proc

Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proc

  • by Renate Schmidt (Editor)
  • ISBN: 3540378731
  • ISBN-13: 9783540378730
This volume contains the joint proceedings of the 9th International Conference on Relational Methods in Computer Science (RelMiCS-9) and the 4th Inter- tionalWorkshoponApplicationsofKleeneAlgebra(AKA2006).Thejointevent was hosted by the ...

Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings

Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings

  • by Lou Goble, John-Jules Ch. Meyer
  • ISBN: 3540358420
  • ISBN-13: 9783540358428
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006.

Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

  • by Thambipillai Srikanthan (Editor), Jingling Xue (Editor), Chip-Hong Chang (Editor)
  • ISBN: 3540296433
  • ISBN-13: 9783540296430
This book constitutes the refereed proceedings of the 10th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2005, held in Singapore in October 2005.

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

  • by Leszek Pacholski, Jerzy Tiuryn (Editor)
  • ISBN: 3540600175
  • ISBN-13: 9783540600176
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the ...

Information Retrieval and Mining in Distributed Environments

Information Retrieval and Mining in Distributed Environments

  • by Alessandro Soro (Editor), Eloisa Vargiu (Editor), Giuliano Armano (Editor), Gavino Paddeu (Editor)
  • ISBN: 3642160883
  • ISBN-13: 9783642160882

Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings

Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings

  • by P.S. Thiagarajan (Editor)
  • ISBN: 3540606920
  • ISBN-13: 9783540606925
This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995.

Graph-Theoretic Concepts in Computer Science: International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings

Graph-Theoretic Concepts in Computer Science: International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings

  • by Jan van Leeuwen (Editor)
  • ISBN: 3540507280
  • ISBN-13: 9783540507284
This volume presents the proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '88), held from June 15 to 17, 1988 in Amsterdam, The Netherlands.

Fete of Combinatorics and Computer Science

Fete of Combinatorics and Computer Science

  • by Gyula O.H. Katona (Editor), Alexander Schrijver (Editor), Tamas Szonyi (Editor)
  • ISBN: 364213579X
  • ISBN-13: 9783642135798
These are included in the volume "Building Bridges". The other speakers were able to finish their contribution only later, these are collected in the present volume.

Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings

Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings

  • by Rudrapatna K. Shyamasundar (Editor)
  • ISBN: 3540575294
  • ISBN-13: 9783540575290
Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, ...

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings

  • by Ernst W. Mayr (Editor)
  • ISBN: 3540564020
  • ISBN-13: 9783540564027
The workshop was attended by 61 scientists from 16 countries. All 29 papers in the volume have undergone careful revision after the meeting, based on the discussions and comments from the audience and the referees.

 

azTextBook.com - 2014. TextBook Database. #42,715:8,360 • Contact & DMCA