Electronic Books

Total Books: 1181 - 1200 /1367

System Analysis and Modeling: Language Profiles

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

System Modeling and Optimization (vol. # 166)

System Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two ...

System Signatures and their Applications in Engineering Reliability

the purpose of this book to provide guidance on how reliability problems might be structured, modeled and solved. Over the ...

SystemVerilog for Verification

Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...

Systematic Modeling and Analysis of Telecom Frontends and their Building Blocks

This book reports on research in the field of methods for modeling and analysis of telecommunication frontends and their ...

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...

Talking About Second Language Acquisition / Karim Sadeghi

This book includes interviews with fourteen internationally-acclaimed leading figures in Second Language Acquisition (SLA), ...

Taxonomies for the Development and Verification of Digital Systems

"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...

Technical Translation

This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...

Technologies for E-Services

This book constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe ...

Telecommunications Modeling, Policy, and Technology

With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...

Telecommunications Planning

Network Design and Management focuses on the latest methodological developments in three key areas---pricing of telecommunications ...

Terrestrial Trunked Radio - Tetra

Terrestrial Trunked Radio (TETRA) has become the tool to design any type of public security systems, in particular due to ...

Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Testing of Communicating Systems (vol. # 3502)

This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...

Testing of Communicating Systems (vol. # 3964)

This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...

Testing of Software and Communicating Systems

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

The Amazing Journey of Reason from DNA to Artificial Intelligence

This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...

Total Books: 1181 - 1200 /1367