Jiri Hochman's Documents

Jiri Hochman's Documents

Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-of-the-Art CIM Solutions

Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-of-the-Art CIM Solutions
Read more
Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry
Read more
SOFSEM 95: 22 conf

SOFSEM 95: 22 conf
Read more
Mathematical Foundations of Computer Science 2001, 26 conf., MFCS 2001

Mathematical Foundations of Computer Science 2001, 26 conf., MFCS 2001
Read more
Mathematical Foundations of Computer Science 1998, 23 conf., MFCS'98

Mathematical Foundations of Computer Science 1998, 23 conf., MFCS'98
Read more
Cartesian currents in the calculus of variations

Cartesian currents in the calculus of variations
Read more
Zeolites and Catalysis: Synthesis, Reactions and Applications (2 Volume set)

Zeolites and Catalysis: Synthesis, Reactions and Applications (2 Volume set)
Read more
Transboundary Floods: Reducing Risks Through Flood Management (NATO Science Series: IV: Earth and Environmental Sciences)

Transboundary Floods: Reducing Risks Through Flood Management (NATO Science Series: IV: Earth and Environmental Sciences)
Read more
BSL3 and BSL4 Agents: Proteomics, Glycomics, and Antigenicity

BSL3 and BSL4 Agents: Proteomics, Glycomics, and Antigenicity
Read more
Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification
Read more
Counting and configurations. Problems in combinatorics, arithmetic, and geometry

Counting and configurations. Problems in combinatorics, arithmetic, and geometry
Read more
Dangerous Pollutants (Xenobiotics) in Urban Water Cycle (NATO Science for Peace and Security Series C: Environmental Security)

Dangerous Pollutants (Xenobiotics) in Urban Water Cycle (NATO Science for Peace and Security Series C: Environmental Security)
Read more
SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, ... Computer Science and General Issues)

SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, ... Computer Science and General Issues)
Read more
Simulating Complex Systems by Cellular Automata (Understanding Complex Systems)

Simulating Complex Systems by Cellular Automata (Understanding Complex Systems)
Read more
Prague Linguistic Circle Papers: v. 4

Prague Linguistic Circle Papers: v. 4
Read more
Linear Optimization Problems with Inexact Data

Linear Optimization Problems with Inexact Data
Read more
Counting and configurations. Problems in combinatorics, arithmetic, and geometry

Counting and configurations. Problems in combinatorics, arithmetic, and geometry
Read more
Assassination Operation Anthropoid 1941-1942

Assassination Operation Anthropoid 1941-1942
Read more
Automata, Languages and Programming, 26 conf., ICALP'99

Automata, Languages and Programming, 26 conf., ICALP'99
Read more
SIP Security

SIP Security
Read more
Biological Reaction Engineering: Dynamic Modelling Fundamentals with Simulation Examples

Biological Reaction Engineering: Dynamic Modelling Fundamentals with Simulation Examples
Read more
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification
Read more
Equations and Inequalities: Elementary Problems and Theorems in Algebra and Number Theory

Equations and Inequalities: Elementary Problems and Theorems in Algebra and Number Theory
Read more
Chemical Engineering Dynamics: Modelling with PC Simulation

Chemical Engineering Dynamics: Modelling with PC Simulation
Read more
Sustainability in the Process Industry: Integration and Optimization (Green Manufacturing & Systems Engineering)

Sustainability in the Process Industry: Integration and Optimization (Green Manufacturing & Systems Engineering)
Read more
Chemical Engineering Dynamics: Modelling with PC Simulation

Chemical Engineering Dynamics: Modelling with PC Simulation
Read more
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification
Read more
Biological Reaction Engineering

Biological Reaction Engineering
Read more
Sustainability in the Process Industry: Integration and Optimization (Green Manufacturing & Systems Engineering)

Sustainability in the Process Industry: Integration and Optimization (Green Manufacturing & Systems Engineering)
Read more
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings (Lecture ... Computer Science and General Issues)

Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings (Lecture ... Computer Science and General Issues)
Read more