الكتب الالكترونية

عدد الكتب: 1501 - 1520 /1575
978-3-540-89897-9
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 ...

اقرأ المزيد
978-0-387-26233-8
Transaction-Level Modeling with SystemC

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

اقرأ المزيد
978-3-540-32974-9
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 ...

اقرأ المزيد
978-3-540-48891-0
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, ...

اقرأ المزيد
978-3-540-75162-5
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 ...

اقرأ المزيد
978-3-540-77042-8
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 ...

اقرأ المزيد
978-3-540-79299-4
Transactions on Computational Science I

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

اقرأ المزيد
978-3-540-87563-5
Transactions on Computational Science II

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

اقرأ المزيد
978-3-540-89287-8
Transactions on Petri Nets and Other Models of Concurrency I

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

اقرأ المزيد
978-0-387-75456-7
Trends in Computer Aided Innovation

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

اقرأ المزيد
978-3-540-33261-9
Triangulations and Applications

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

اقرأ المزيد
978-1-4302-0498-5
Troubleshooting Oracle Performance

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

اقرأ المزيد
978-0-387-73655-6
Trust Management

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

اقرأ المزيد
978-0-387-09428-1
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 ...

اقرأ المزيد
978-1-4020-4258-4
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. ...

اقرأ المزيد
978-3-540-68979-9
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 ...

اقرأ المزيد
978-3-540-78663-4
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 ...

اقرأ المزيد
978-3-540-31429-5
Types for Proofs and Programs

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

اقرأ المزيد
978-3-540-68103-8
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 ...

اقرأ المزيد
978-3-540-31797-5
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 ...

اقرأ المزيد
عدد الكتب: 1501 - 1520 /1575