Carlos Delgado Kloos – författare
Visar alla böcker från författaren Carlos Delgado Kloos. Handla med fri frakt och snabb leverans.
25 produkter
25 produkter
Del 196 - IFIP Advances in Information and Communication Technology
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
Inbunden, Engelska, 2006
1 112 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 20061 459 kr
Läs direkt efter köp
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.
E-bok
PDF, Engelska, 20132 049 kr
Läs direkt efter köp
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.
Inbunden, Engelska, 1997
1 664 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 1995
1 112 kr
Skickas inom 10-15 vardagar
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. This text puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism. Two chapters 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 intended for researchers in formal methods and can be used as a text for an advanced course on the subject.
E-bok
PDF, Engelska, 2006734 kr
Läs direkt efter köp
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.
Del 307 - Springer International Series in Engineering and Computer Science
Formal Semantics for VHDL
Häftad, Engelska, 2012
1 079 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 20121 416 kr
Läs direkt efter köp
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.
648 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2013
1 616 kr
Skickas inom 10-15 vardagar
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.
Engelska, 2013
648 kr
Skickas inom 5-8 vardagar
Del 151 - IFIP Advances in Information and Communication Technology
EduTech: Computer-Aided Design Meets Computer-Aided Learning
Computer-Aided Design Meets Computer-Aided Learning
Häftad, Engelska, 2013
528 kr
Skickas inom 10-15 vardagar
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.
Del 196 - IFIP Advances in Information and Communication Technology
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
Häftad, Engelska, 2014
1 112 kr
Skickas inom 10-15 vardagar
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.
Del 11475 - Lecture Notes in Computer Science
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings
Häftad, Engelska, 2019
528 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019.The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Massive Open Online Courses (MOOCs) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. 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.The chapter 'Goal Setting and Striving in MOOCs. A Peek inside the Black Box of Learner Behaviour' is open access under a CC BY 4.0 license at link.springer.com.
692 kr
Läs direkt efter köp
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019.
The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Massive Open Online Courses (MOOCs) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. 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.
The chapter ''Goal Setting and Striving in MOOCs. A Peek inside the Black Box of Learner Behaviour'' is open access under a CC BY 4.0 license at link.springer.com.
Del 10254 - Lecture Notes in Computer Science
Digital Education: Out to the World and Back to the Campus
5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings
Häftad, Engelska, 2017
528 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganés, Madrid, Spain, in May 2017. The 23 full and 10 short papers presented in this volume were carefully reviewed and selected from 53 submissions. Massive Open Online Courses (MOOCs) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. 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.
E-bok
Engelska, 2017692 kr
Läs direkt efter köp
This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganés, Madrid, Spain, in May 2017.
The 23 full and 10 short papers presented in this volume were carefully reviewed and selected from 53 submissions. Massive Open Online Courses (MOOCs) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. 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.
Häftad, Engelska, 1987
254 kr
Skickas inom 10-15 vardagar
E-bok
PDF, Engelska, 2005317 kr
Läs direkt efter köp
Häftad, Engelska, 1997
559 kr
Skickas inom 10-15 vardagar
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. 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. The results of experimental tests of the tools are also presented.
Häftad, Engelska, 2011
559 kr
Skickas inom 10-15 vardagar
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. The 30 revised full papers presented were carefully reviewed and selected from 158 submissions. The book also includes 12 short papers, 8 poster papers, and 2 invited paper. 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.
E-bok
PDF, Engelska, 2011734 kr
Läs direkt efter köp
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. The 30 revised full papers presented were carefully reviewed and selected from 158 submissions. The book also includes 12 short papers, 8 poster papers, and 2 invited paper. 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.
Häftad, Engelska, 2012
559 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrücken, Germany, in September 2012. The 26 revised full papers presented were carefully reviewed and selected from 130 submissions. The book also includes 12 short papers, 16 demonstration papers, 11 poster papers, and 1 invited paper. Specifically, the programme and organizing structure was formed through the themes: mobile learning and context; serious and educational games; collaborative learning; organisational and workplace learning; learning analytics and retrieval; personalised and adaptive learning; learning environments; academic learning and context; and, learning facilitation by semantic means.
E-bok
PDF, Engelska, 2012734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrücken, Germany, in September 2012. The 26 revised full papers presented were carefully reviewed and selected from 130 submissions. The book also includes 12 short papers, 16 demonstration papers, 11 poster papers, and 1 invited paper. Specifically, the programme and organizing structure was formed through the themes: mobile learning and context; serious and educational games; collaborative learning; organisational and workplace learning; learning analytics and retrieval; personalised and adaptive learning; learning environments; academic learning and context; and, learning facilitation by semantic means.
E-bok
PDF, Engelska, 2012734 kr
Läs direkt efter köp
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. 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. The results of experimental tests of the tools are also presented.