Resumes
Resumes
Bengt Jonsson Phones & Addresses
-
Gilbert, AZ
-
San Diego, CA
-
Philadelphia, PA
-
Mesa, AZ
-
Chandler, AZ
Publications
Amazon
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
View pageTesting is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth ass...
Binding
Paperback
Pages
664
Publisher
Springer
ISBN #
3540262784
EAN Code
9783540262787
ISBN #
9
Ecological Bulletins, Ecology of Woody Debris in Boreal Forests
View pageToday dead trees are not only viewed upon as waste and as potential sources of pest species. Instead they have gained an increased attention as key factors for biodiversity in many ecosystems. This change in focus and concern has sparked intense research activities directed to explore the ecological...
Binding
Hardcover
Pages
280
Publisher
Wiley-Blackwell
ISBN #
8716164326
EAN Code
9788716164322
ISBN #
6
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Lecture Notes in Computer Science)
View pageThis volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.The 22 revised full papers presented were selected from a total of 61 submissions; also include...
Binding
Paperback
Pages
490
Publisher
Springer
ISBN #
3540616489
EAN Code
9783540616481
ISBN #
5
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings (Lecture Notes in Computer Science)
View pageThis volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5...
Binding
Paperback
Pages
528
Publisher
Springer
ISBN #
3540583297
EAN Code
9783540583295
ISBN #
4
Switched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation (The Springer International Series in Engineering and Computer Science)
View pageSwitched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation describes the design and implementation of switched-current (SI) circuits with emphasis on signal processing and data-conversion applications. The work includes theoretical analysis, high-level and circuit-...
Author
Bengt E. Jonsson
Binding
Paperback
Pages
171
Publisher
Springer
ISBN #
1441949860
EAN Code
9781441949868
ISBN #
3
Setting Conservation Targets for Managed Forest Landscapes (Conservation Biology)
View pageForests host a disproportionate share of the world's biodiversity. They are increasingly being seen as a refuge for genetic diversity, native species, natural structures, and ecological processes. Yet, intensive forestry threatens their value for biodiversity. The authors present concepts, approache...
Binding
Paperback
Pages
426
Publisher
Cambridge University Press
ISBN #
0521700728
EAN Code
9780521700726
ISBN #
2
Biodiversity in Dead Wood (Ecology, Biodiversity and Conservation)
View pageFossils document the existence of trees and wood-associated organisms from almost 400 million years ago, and today there are between 400,000 and 1 million wood-inhabiting species in the world. This is the first book to synthesise the natural history and conservation needs of wood-inhabiting organism...
Author
Jogeir N. Stokland, Juha Siitonen, Bengt Gunnar Jonsson
Binding
Paperback
Pages
521
Publisher
Cambridge University Press
ISBN #
0521717035
EAN Code
9780521717038
ISBN #
1
Surfactants and Polymers in Aqueous Solution [Hardcover] [2002] (Author) Krister Holmberg, Bo Jonsson, Bengt Kronberg, Bjorn Lindman
View page
Binding
Hardcover
Publisher
Wiley
ISBN #
10
Isbn (Books And Publications)
Switched-Current Signal Processing and A/D Conversion Circuits : Design and Implementation
View page
Author
Bengt E. Jonsson
ISBN #
0792378717
Protocol Specification, Testing, and Verification XI: Proceedings
View page
Author
Bengt Jonsson
ISBN #
0444892109
Public and Private Health Services
View page
Author
Bengt Jonsson
ISBN #
0631150889
Health Economics of Dementia
View page
Author
Bengt Jonsson
ISBN #
0471983764
Biomechanics X
View page
Author
Bengt Jonsson
ISBN #
0873220676
Biomechanics X
View page
Author
Bengt Jonsson
ISBN #
0873220684
Biomechanics X
View page
Author
Bengt Jonsson
ISBN #
0873220692
Model-based Testing of Reactive Systems: Advanced Lectures
View page
Author
Bengt Jonsson
ISBN #
3540262784