{"title":"Carlos Delgado Kloos","description":null,"products":[{"product_id":"towards-ubiquitous-learning-book-carlos-delgado-kloos-9783642239847","title":"Towards Ubiquitous Learning","description":"This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. There are many interesting papers on topics such as web 2.0 and social media, recommender systems, learning analytics, collaborative learning, interoperability of tools, etc.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52122067271953,"sku":"NLS9783642239847","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761807978769,"sku":"NIN9783642239847","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642239847.jpg?v=1785986263"},{"product_id":"edutech-computer-aided-design-meets-computer-aided-learning-book-carlos-delgado-kloos-9781475779776","title":"EduTech: Computer-Aided Design Meets Computer-Aided Learning","description":"Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and eLearning technologies are two areas which, though different, in fact share many concerns. The design of CAD and eLearning systems already touches on a number of parallels, such as system interoperability, user interfaces, standardisation, XML-based formats, reusability aspects, etc. Furthermore, the teaching of Design Automation tools and methods is particularly amenable to a distant or blended learning setting, and implies the interconnection of typical CAD tools, such as simulators or synthesis tools, with eLearning tools. There are many other aspects in which synergy can be found when using eLearning technology for teaching and learning technology.   EduTech: Computer-Aided Design Meets Computer-Aided Learning contains the proceedings of the EduTech2004 workshop, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP). Organized by IFIP WG 10.5 (Design and Engineering of Electronic Systems) in cooperation with IFIP WG 3.6 (Distance Education), the workshop proceedings explore the interrelationship between these two subjects, where computer-aided design meets computer-aided learning. The book includes papers related to eLearning in the area of electronic CAD, but also includes contributions tackling general issues of eLearning that are applicable to this and many other areas such as reusability, standards, open source tools or mobility.   This book will be of value to those interested in the latest developments in eLearning in general, and also to those coming from the electronic design field who want to know how to apply these developments in their area.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142471643409,"sku":"NLS9781475779776","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781475779776.jpg?v=1786700309"},{"product_id":"semantics-of-digital-circuits-book-carlos-delgado-kloos-9783540185406","title":"Semantics of Digital Circuits","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52327446020369,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327446708497,"sku":"NLS9783540185406","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540185406.jpg?v=1792009533"},{"product_id":"digital-education-out-to-the-world-and-back-to-the-campus-book-carlos-delgado-kloos-9783319590431","title":"Digital Education: Out to the World and Back to the Campus","description":"This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganes, Madrid, Spain, in May 2017. But they are not only restricted to global outreach: the same technology can be used to improve teaching on campus and training inside companies and institutions.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52350788272401,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52350791909649,"sku":"NLS9783319590431","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319590431.jpg?v=1792002831"},{"product_id":"formal-semantics-for-vhdl-book-carlos-delgado-kloos-9781461359418","title":"Formal Semantics for VHDL","description":"It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by several tools, both commercial and academic. If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semantics in English. But rigor and clarity are very hard to maintain in a semantics defined in this way, and that has already given rise to many misconceptions and contradictory interpretations. Formal Semantics for VHDL is the first book that puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism: two of them use Petri nets as target language, and two of them higher order logic. Two use functional concepts, and finally another uses the concept of evolving algebras. Formal Semantics for VHDL is essential reading for researchers in formal methods and can be used as a text for an advanced course on the subject.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52403869810961,"sku":"NLS9781461359418","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461359418.jpg?v=1791995842"},{"product_id":"hardware-description-languages-and-their-applications-book-carlos-delgado-kloos-9781475753875","title":"Hardware Description Languages and their Applications","description":"In the past few decades Computer Hardware Description Languages  (CHDLs) have been a rapidly expanding subject area due to a number of  factors, including the advancing complexity of digital electronics,  the increasing prevalence of generic and programmable components of  software-hardware and the migration of VLSI design to high level  synthesis based on HDLs. Currently the subject has reached the  consolidation phase in which languages and standards are being  increasingly used, at the same time as the scope is being broadened  to additional application areas. This book presents the latest  developments in this area and provides a forum from which readers can  learn from the past and look forward to what the future holds.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52410106249489,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52410106904849,"sku":"NLS9781475753875","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781475753875.jpg?v=1786700684"},{"product_id":"eunice-2005-networks-and-applications-towards-a-ubiquitously-connected-world-book-carlos-delgado-kloos-9780387308159","title":"EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World","description":"Furthermore, the Summer School is an open forum for the cooperation of the European member institutions and any other organisation interested European academiclresearch centre at all levels.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52433071178001,"sku":"NLS9780387308159","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52735191515409,"sku":"NIN9780387308159","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387308159.jpg?v=1791916455"},{"product_id":"hardware-description-languages-and-their-applications-book-carlos-delgado-kloos-9780412788109","title":"Hardware Description Languages and their Applications","description":"In the past few decades Computer Hardware Description Languages  (CHDLs) have been a rapidly expanding subject area due to a number of  factors, including the advancing complexity of digital electronics,  the increasing prevalence of generic and programmable components of  software-hardware and the migration of VLSI design to high level  synthesis based on HDLs. Currently the subject has reached the  consolidation phase in which languages and standards are being  increasingly used, at the same time as the scope is being broadened  to additional application areas. This book presents the latest  developments in this area and provides a forum from which readers can  learn from the past and look forward to what the future holds.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52482785149201,"sku":"NLS9780412788109","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52735276024081,"sku":"NIN9780412788109","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780412788109.jpg?v=1791930601"},{"product_id":"formal-semantics-for-vhdl-book-carlos-delgado-kloos-9780792395522","title":"Formal Semantics for VHDL","description":"If different tools and users are to generate and read the same  language then it is necessary that the same semantics is assigned by  them to all constructs and elements of the language.   Formal  Semantics for VHDL is the first book that puts forward a cohesive  set of semantics for the VHDL language.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52589630685457,"sku":"NLS9780792395522","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792395522.jpg?v=1761060451"},{"product_id":"practical-formal-methods-for-hardware-design-book-carlos-delgado-kloos-9783540620075","title":"Practical Formal Methods for Hardware Design","description":"The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616654881041,"sku":"NLS9783540620075","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540620075.jpg?v=1791979049"},{"product_id":"hardware-description-languages-and-their-applications-book-carlos-delgado-kloos-9781475753868","title":"Hardware Description Languages and Their Applications","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52666812334353,"sku":"NLS9781475753868","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781475753868.jpg?v=1762280949"},{"product_id":"edutech-book-carlos-delgado-kloos-9781475779769","title":"Edutech","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52684405866769,"sku":"NLS9781475779769","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781475779769.jpg?v=1762322957"},{"product_id":"eunice-2005-networks-and-applications-towards-a-ubiquitously-connected-world-book-carlos-delgado-kloos-9781489986177","title":"EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World","description":"EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to foster the mobility of students, faculty nembers and research scientists working in the field of information and com llunication technologies and to promote educational and research cooperation between its member institutions. The prime means for implementing these goals is the annual Summer School organized by the member institutions. From its conception, the EUNICE Summer Schools were designed as unique events where the joint participation of PhD students and supervisors working in the field of information and communication technologies (ICT) is the key to create an event that goes far beyond a conventional international workshop. Furthermore, the Summer School is an open forum for the cooperation of the European member institutions and any other organisation interested European academiclresearch centre at all levels. This cooperation is paramount to successfully construct and participate in the European Higher Education Area, and especially, to achieve easy and effective exchange of research activities.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53521657463057,"sku":"NLS9781489986177","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781489986177.jpg?v=1786081014"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-carlos-delgado-kloos.oembed","provider":"World of Books ","version":"1.0","type":"link"}