SOFSEM '96: Theory and Practice of Informatics

23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings

AvKeith G. Jeffery,Jaroslav Kral

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996.The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers selected by the program committee for inclusion in the proceedings.

Produktinformation

Utgivningsdatum:1996-11-06
Mått:170 x 250 x 28 mm
Vikt:768 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:500
Upplaga:1996
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540619949

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

A unified view to string matching algorithms.- Communication in parallel systems.- An overview of the Tigger object-support operating system framework.- The arias distributed shared memory: An overview.- CORBA and object services.- Decision-theoretic reasoning and the human-computer interface: Advances in embedded intelligent agents.- Probabilistic approaches to motion planning.- Learning in order to reason: The approach.- Database semantics in heterogeneous environment.- Business case processing — Rationale, survey and trends.- Data Mining and the Keso project.- Computer Visualization — Concepts, trends and current research.- High performance computing — The computational chemistry perspective.- Iterative methods for unsymmetric linear systems.- Core technologies for system renovation.- Trends in game tree search.- A visual approach to VDM.- Statecharts: Past, present, future.- Scalable fault tolerance.- A deductive database support to the specification of concurrent systems.- Interprocess communication in the T4 system.- A formal representation for state diagrams in the OMT methodology.- Feasible real random access machines.- Temporal conversion functions for multitemporal relational databases.- An output sensitive solution to the set union and intersection problem.- On the semantics of multistage interconnection networks.- Decision trees, knowledge rules and some related data mining algorithms.- Regularity is decidable for normed BPA and normed BPP processes in polynomial time.- A new proposal of concurrent process calculus.- On the specification of visual languages: Multisets as first-class citizens.- Restarting automata with rewriting.- On the role of orthogonality in the GMRES method.- Efficient tree pattern unification.- A light-weight formalism for thespecification of reactive systems.- Knowledge discovery in alarm data analysis.- Aunt's problem: Table rounding.- A seven-head dragon for optimal pattern searching.- Choosing reference views for image-based representation.- Recognizing graph products and bundles.- Genetic algorithms-based creation of fuzzy-rule bases for the car control.- A transaction model for mobile and active database systems.

Mer från samma författare

Web Information Systems -- WISE 2004

Xiaofang Zhou, Stanley Su, Mike P. Papazoglou, Maria E. Orlowska, Keith G. Jeffery

Häftad, 2004

1 136 kr

Web Information Systems -- WISE 2004

Keith G. Jeffery, Maria E. Orlowska, Mike P. Papazoglou, Stanley Su, Xiaofang Zhou

E-bok

2004

1 470 kr

SOFSEM 2000: Theory and Practice of Informatics

Vaclav Hlavac, Keith G. Jeffery, Jiri Wiedermann

Häftad, 2000

571 kr

Advances in Database Technology - EDBT 2002

Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorny, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke

Häftad, 2002

1 136 kr

SOFSEM 2000: Theory and Practice of Informatics

Jiri Wiedermann, Keith G. Jeffery, Vaclav Hlavac

E-bok

2003

739 kr

Advances in Database Technology - EDBT 2002

Matthias Jarke, Klemens Bohm, Elisa Bertino, Simonas Saltenis, Jaroslav Pokorny, Keith G. Jeffery, Christian S. Jensen

E-bok

2003

1 470 kr

SOFSEM '97: Theory and Practice of Informatics

Frantisek Plasil, Keith G. Jeffery

Häftad, 1997

572 kr

Sharing Data, Information and Knowledge

Alexander Gray, Keith G. Jeffery, Jianhua Shao

Häftad, 2008

572 kr

Sharing Data, Information and Knowledge

Jianhua Shao, Keith G. Jeffery, Alexander Gray

E-bok

2008

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

SOFSEM '95: Theory and Practice of Informatics

Miroslav Bartosek, Jan Staudek, Jiri Wiedermann

Häftad, 1995

572 kr

SOFSEM'99: Theory and Practice of Informatics

Jan Pavelka, Gerard Tel, Miroslav Bartosek

Häftad, 1999

572 kr

SOFSEM'99: Theory and Practice of Informatics

Miroslav Bartosek, Gerard Tel, Jan Pavelka

E-bok

2003

739 kr

Sharing Data, Information and Knowledge

Alexander Gray, Keith G. Jeffery, Jianhua Shao

Häftad, 2008

572 kr

Advances in Database Technology - EDBT 2002

Matthias Jarke, Klemens Bohm, Elisa Bertino, Simonas Saltenis, Jaroslav Pokorny, Keith G. Jeffery, Christian S. Jensen

E-bok

2003

1 470 kr

Web Information Systems -- WISE 2004

Keith G. Jeffery, Maria E. Orlowska, Mike P. Papazoglou, Stanley Su, Xiaofang Zhou

E-bok

2004

1 470 kr

SOFSEM '97: Theory and Practice of Informatics

Frantisek Plasil, Keith G. Jeffery

Häftad, 1997

572 kr

Sharing Data, Information and Knowledge

Jianhua Shao, Keith G. Jeffery, Alexander Gray

E-bok

2008

739 kr

SOFSEM 2000: Theory and Practice of Informatics

Vaclav Hlavac, Keith G. Jeffery, Jiri Wiedermann

Häftad, 2000

571 kr

SOFSEM '96: Theory and Practice of Informatics

23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings

AvKeith G. Jeffery,Jaroslav Kral

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1996-11-06
Mått:170 x 250 x 28 mm
Vikt:768 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:500
Upplaga:1996
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540619949

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

A unified view to string matching algorithms.- Communication in parallel systems.- An overview of the Tigger object-support operating system framework.- The arias distributed shared memory: An overview.- CORBA and object services.- Decision-theoretic reasoning and the human-computer interface: Advances in embedded intelligent agents.- Probabilistic approaches to motion planning.- Learning in order to reason: The approach.- Database semantics in heterogeneous environment.- Business case processing — Rationale, survey and trends.- Data Mining and the Keso project.- Computer Visualization — Concepts, trends and current research.- High performance computing — The computational chemistry perspective.- Iterative methods for unsymmetric linear systems.- Core technologies for system renovation.- Trends in game tree search.- A visual approach to VDM.- Statecharts: Past, present, future.- Scalable fault tolerance.- A deductive database support to the specification of concurrent systems.- Interprocess communication in the T4 system.- A formal representation for state diagrams in the OMT methodology.- Feasible real random access machines.- Temporal conversion functions for multitemporal relational databases.- An output sensitive solution to the set union and intersection problem.- On the semantics of multistage interconnection networks.- Decision trees, knowledge rules and some related data mining algorithms.- Regularity is decidable for normed BPA and normed BPP processes in polynomial time.- A new proposal of concurrent process calculus.- On the specification of visual languages: Multisets as first-class citizens.- Restarting automata with rewriting.- On the role of orthogonality in the GMRES method.- Efficient tree pattern unification.- A light-weight formalism for thespecification of reactive systems.- Knowledge discovery in alarm data analysis.- Aunt's problem: Table rounding.- A seven-head dragon for optimal pattern searching.- Choosing reference views for image-based representation.- Recognizing graph products and bundles.- Genetic algorithms-based creation of fuzzy-rule bases for the car control.- A transaction model for mobile and active database systems.

Mer från samma författare

Web Information Systems -- WISE 2004

Xiaofang Zhou, Stanley Su, Mike P. Papazoglou, Maria E. Orlowska, Keith G. Jeffery

Häftad, 2004

1 136 kr

Web Information Systems -- WISE 2004

Keith G. Jeffery, Maria E. Orlowska, Mike P. Papazoglou, Stanley Su, Xiaofang Zhou

E-bok

2004

1 470 kr

SOFSEM 2000: Theory and Practice of Informatics

Vaclav Hlavac, Keith G. Jeffery, Jiri Wiedermann

Häftad, 2000

571 kr

Advances in Database Technology - EDBT 2002

Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorny, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke

Häftad, 2002

1 136 kr

SOFSEM 2000: Theory and Practice of Informatics

Jiri Wiedermann, Keith G. Jeffery, Vaclav Hlavac

E-bok

2003

739 kr

Advances in Database Technology - EDBT 2002

Matthias Jarke, Klemens Bohm, Elisa Bertino, Simonas Saltenis, Jaroslav Pokorny, Keith G. Jeffery, Christian S. Jensen

E-bok

2003

1 470 kr

SOFSEM '97: Theory and Practice of Informatics

Frantisek Plasil, Keith G. Jeffery

Häftad, 1997

572 kr

Sharing Data, Information and Knowledge

Alexander Gray, Keith G. Jeffery, Jianhua Shao

Häftad, 2008

572 kr

Sharing Data, Information and Knowledge

Jianhua Shao, Keith G. Jeffery, Alexander Gray

E-bok

2008

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr