Books in category Computer Science
3 4 5 6 7 8 9 10 11 12 13
Author:
Publisher : Springer
ISBN : 9783540587156
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994.Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoreti
Author:
Publisher : Springer
ISBN : 9783540637578
This book constitutes the strictly refereed post-workshop proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97, held in Berlin, Germany in June 1997.The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions. The papers address a variety of graph-theoretic issues relevant from the computer science poi
Author:
Publisher : Springer
ISBN : 9783540600848
This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics ad
Author: Robin Sahner
Publisher : Kluwer Academic Publishers
ISBN : 9780792396505
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyc
Author: Cambel, A. B.
Publisher : Academic Press Inc
ISBN : 9780121559403
These are exciting times for mathematics, science, and technology. One of the fields that has been receiving great attention is Chaos Theory. Actually, this is not a single discipline, but a potpourri of nonlinear dynamics, nonequilibrium thermodynamics, information theory, and fractal geometry. In the less than two decades that Chaos Theory has become a major part of mathematics and physics, it h
Author: Perfiliev, Kirill
Publisher : VDM Verlag
ISBN : 9783639046939
This book examines Service Oriented Architectures (SOA) and Web Services, in particular focusing on the mobile domain. It presents a Contract First framework for platform-independent specification and automated implementation of Web Services adapters. For functionally and semantically interoperable implementation in the healthcare domain, HL7 is exemplarily addressed. The feasibility and appropria
Author:
Publisher : Springer
ISBN : 9783540625599
This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG '96, held in Cadenabbia, Italy, in June 1996.The 30 revised full papers presented in the volume were selected from a total of 65 submissions. This collection documents the state of the art in the area. Among the topics addressed are graph algorithms,
Author: Borger, Egon (EDT)/ Cisternino, Antonio (EDT)
Publisher : SPRNC
ISBN : 9783540897613
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product li
Author: Thiagarajan, P. S. ;Yap, R.
Publisher : Springer
ISBN : 9783540668565
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated re
Author: Kauffman, Dorothy
Publisher : Oxford University Press, USA
ISBN : 9780194309608
Author: Benke, Jzsef Dniel
Publisher : VDM Verlag
ISBN : 9783639032543
Author: Antollini, Mario
Publisher : VDM Verlag
ISBN : 9783639052282
Author: Jerzy Soldek
Publisher : Unknown
ISBN : 9780792376514
Advanced Computer Systems is a collection of forty selected papers presented to the Eighth International Conference on Computer Systems, October 2001 in Mielno, Poland. These papers provide a comprehensive summary of practice and research progress in information technologies: Recognition, Security and Safety concentrates on the widely-known problems of information systems security. These chapters
Author: Serhani, Mohamed Adel
Publisher : VDM Verlag
ISBN : 9783836457675
Author:
Publisher : Springer
ISBN : 9783540581529
This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 in
Author: Minker, Jack (EDT)
Publisher : Kluwer Academic Publishers
ISBN : 9780792372240
This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collection consists of both original research and surveys of almost every subject that uses logic in AI, contrib
Author: Fritz, Carsten
Publisher : VDM Verlag
ISBN : 9783639009859
Author: Haupt, Michael
Publisher : VDM Verlag
ISBN : 9783639003857
Author: Nguyen, Ngoc H.
Publisher : Springer
ISBN : 9781846288883
The need for resolution of knowledge inconsistency arises in many practical applications of computer systems. This kind of inconsistency results from the use of various resources of knowledge in realizing practical tasks. These resources often are autonomous and use different mechanisms for processing knowledge about the same real world. This can lead to inconsistency. This book provides a wide sn
Author:
Publisher : Springer
ISBN : 9783540445296
This book constitutes the refereed proceedings of the 4th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2006, held in Montreal, Canada in September 2006. The 17 revised full papers presented were carefully reviewed and selected from 34 initial submissions. The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative di
Foundations of Software Technology and Theoretical Computer Science
Author: Publisher : Springer
ISBN : 9783540587156
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994.Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoreti
Min Price: 114.00
Max Price: 114.00
Graph-Theoretic Concepts in Computer Science
Author: Publisher : Springer
ISBN : 9783540637578
This book constitutes the strictly refereed post-workshop proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97, held in Berlin, Germany in June 1997.The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions. The papers address a variety of graph-theoretic issues relevant from the computer science poi
Min Price: 108.00
Max Price: 108.00
Automata, Languages and Programming
Author: Publisher : Springer
ISBN : 9783540600848
This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics ad
Min Price: 155.00
Max Price: 155.00
Perform Reliability Analysis Computer Systems an Example Based Approach Using the Sharpe Software Pa
Author: Robin SahnerPublisher : Kluwer Academic Publishers
ISBN : 9780792396505
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyc
Min Price: 84.00
Max Price: 84.00
Applied Chaos Theory: A Paradigm for Complexity
Author: Cambel, A. B.Publisher : Academic Press Inc
ISBN : 9780121559403
These are exciting times for mathematics, science, and technology. One of the fields that has been receiving great attention is Chaos Theory. Actually, this is not a single discipline, but a potpourri of nonlinear dynamics, nonequilibrium thermodynamics, information theory, and fractal geometry. In the less than two decades that Chaos Theory has become a major part of mathematics and physics, it h
Min Price: 63.00
Max Price: 63.00
Mobile Web Services
Author: Perfiliev, Kirill Publisher : VDM Verlag
ISBN : 9783639046939
This book examines Service Oriented Architectures (SOA) and Web Services, in particular focusing on the mobile domain. It presents a Contract First framework for platform-independent specification and automated implementation of Web Services adapters. For functionally and semantically interoperable implementation in the healthcare domain, HL7 is exemplarily addressed. The feasibility and appropria
Min Price: 94.00
Max Price: 94.00
Graph-Theoretic Concepts in Computer Science
Author: Publisher : Springer
ISBN : 9783540625599
This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG '96, held in Cadenabbia, Italy, in June 1996.The 30 revised full papers presented in the volume were selected from a total of 65 submissions. This collection documents the state of the art in the area. Among the topics addressed are graph algorithms,
Min Price: 113.00
Max Price: 113.00
Advances In Software Engineering
Author: Borger, Egon (EDT)/ Cisternino, Antonio (EDT)Publisher : SPRNC
ISBN : 9783540897613
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product li
Min Price: 55.00
Max Price: 55.00
Advances in Computing Science - Asian'99
Author: Thiagarajan, P. S. ;Yap, R. Publisher : Springer
ISBN : 9783540668565
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated re
Min Price: 106.00
Max Price: 106.00
The Computer Age: Beginning Level
Author: Kauffman, Dorothy Publisher : Oxford University Press, USA
ISBN : 9780194309608
Min Price: 5.00
Max Price: 5.00
Development and Assessment of Wafer Transport Sequencing Rules for Clustertools
Author: Benke, Jzsef Dniel Publisher : VDM Verlag
ISBN : 9783639032543
Min Price: 82.00
Max Price: 82.00
A High Level Pub/Sub Layer for Open Distributed Heterogeneous Environments
Author: Antollini, Mario Publisher : VDM Verlag
ISBN : 9783639052282
Min Price: 82.00
Max Price: 82.00
Advanced Computer Systems
Author: Jerzy SoldekPublisher : Unknown
ISBN : 9780792376514
Advanced Computer Systems is a collection of forty selected papers presented to the Eighth International Conference on Computer Systems, October 2001 in Mielno, Poland. These papers provide a comprehensive summary of practice and research progress in information technologies: Recognition, Security and Safety concentrates on the widely-known problems of information systems security. These chapters
Min Price: 178.00
Max Price: 178.00
A Framework and Methodology for Managing Quality of Web Services
Author: Serhani, Mohamed Adel Publisher : VDM Verlag
ISBN : 9783836457675
Min Price: 151.00
Max Price: 151.00
Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
Author: Publisher : Springer
ISBN : 9783540581529
This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 in
Min Price: 110.00
Max Price: 110.00
Logic-Based Artificial Intelligence
Author: Minker, Jack (EDT)Publisher : Kluwer Academic Publishers
ISBN : 9780792372240
This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collection consists of both original research and surveys of almost every subject that uses logic in AI, contrib
Min Price: 278.00
Max Price: 278.00
Simulation-Based Simplification of Omega-Automata
Author: Fritz, Carsten Publisher : VDM Verlag
ISBN : 9783639009859
Min Price: 108.00
Max Price: 108.00
Virtual Machine Support for Aspect-Oriented Programming Languages
Author: Haupt, Michael Publisher : VDM Verlag
ISBN : 9783639003857
Min Price: 151.00
Max Price: 151.00
Advanced Methods for Inconsistent Knowledge Management
Author: Nguyen, Ngoc H. Publisher : Springer
ISBN : 9781846288883
The need for resolution of knowledge inconsistency arises in many practical applications of computer systems. This kind of inconsistency results from the use of various resources of knowledge in realizing practical tasks. These resources often are autonomous and use different mechanisms for processing knowledge about the same real world. This can lead to inconsistency. This book provides a wide sn
Min Price: 99.00
Max Price: 99.00
Comparative Genomics: RECOMB 2006 International Workshop, RCG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
Author: Publisher : Springer
ISBN : 9783540445296
This book constitutes the refereed proceedings of the 4th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2006, held in Montreal, Canada in September 2006. The 17 revised full papers presented were carefully reviewed and selected from 34 initial submissions. The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative di
Min Price: 92.00
Max Price: 92.00
Find book
books-az.com all rights reserved
