Electronic Books

Total Books: 1501 - 1520 /1575
Towards a Service-Based Internet : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings

This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...

Weiterlesen
Transaction-Level Modeling with SystemC

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

Weiterlesen
Transactions on Aspect-Oriented Software Development I

This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...

Weiterlesen
Transactions on Aspect-Oriented Software Development II

This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...

Weiterlesen
Transactions on Aspect-Oriented Software Development III

This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...

Weiterlesen
Transactions on Aspect-Oriented Software Development IV

This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...

Weiterlesen
Transactions on Computational Science I

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

Weiterlesen
Transactions on Computational Science II

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

Weiterlesen
Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Weiterlesen
Trends in Computer Aided Innovation

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...

Weiterlesen
Triangulations and Applications

This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...

Weiterlesen
Troubleshooting Oracle Performance

What do you do when your database application isn't running fast enough? You troubleshoot, of course. Finding the slow part ...

Weiterlesen
Trust Management

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...

Weiterlesen
Trust Management II : Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

Weiterlesen
Trust in Technology: A Socio-Technical Perspective

This book encapsulates some work done in the DIRC project concerned with trust and responsibility in socio-technical systems. ...

Weiterlesen
Trusted Computing - Challenges and Applications : First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings

This volume covering the core issues of trust in IT systems and trusted computing and to bridge the gaps between international ...

Weiterlesen
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

Weiterlesen
Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Weiterlesen
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Weiterlesen
UML Modeling Languages and Applications

This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...

Weiterlesen
Total Books: 1501 - 1520 /1575