feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920998902882
    Format: X, 124 p. , online resource.
    ISBN: 9783540480129
    Series Statement: Lecture Notes in Computer Science, 285
    Note: The stream language -- Procedural level agents -- Register transfer level agents -- Gate level agents -- Switch level agents -- Conclusion.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540185406
    Language: English
    Subjects: Computer Science , Engineering
    RVK:
    RVK:
    RVK:
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almahu_9947388588002882
    Format: XII, 292 p. 77 illus. , online resource.
    ISBN: 9783319590448
    Series Statement: Lecture Notes in Computer Science, 10254
    Content: 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. .
    Note: From a Small Liberal Arts College to the World: Our Blended Courses, SPOC, and MOOCs in Italian Studies -- Giving Exible Learners a Head Start on Higher Education: Designing and Implementing a Pre-induction Socialization MOOC -- The E.M.M.A. Experience: Emerging Patterns and Factors for Success -- Mentoring Learners in MOOCs: a New Way to Improve Completion Rates -- Towards e-Presence at Distance as a Way to Reach and Share e-Quality: the Case of the ECO sMOOCs -- Additional Functionalities to Convert an xMOOC into an xLMOOC -- A Principled Approach to the Design of Collaborative MOOC Curricula -- Towards Full Engagement for Open Online Education. A Practical Experience for a MicroMaster -- From Low-Scale to Collaborative, Gamified and Massive-Scale Courses: Redesigning a MOOC -- Innovation in EU Communication: MOOCs from the European Committee of the Regions -- Does Gamification in MOOC Discussion Forums Work -- A MOOC-based Flipped Class: Lessons Learned from the Orchestration Perspective -- An International Collaboration in the Design Experience of a MOOC Series -- Measuring the Degree of Innovation in Education through the Implementation of an Indicator Based on Analyzing MOOC-related Activities -- Towards a Typology of MOOC Activity Patterns: Learners Who never Rest -- Improving MOOC Student Learning through Enhanced Peer-to-Peer Tasks -- Who Wants to Chat on a MOOC? Lessons from a Peer Recommender System -- Weekly Predicting the At-risk MOOC Learners Using Dominance-based Rough Set Approach -- MOOC Friends and Followers: An Analysis of Twitter Hashtag Networks -- Understanding Learning and Teaching in MOOCs from the Perspectives of Students and Instructors: a Review of Literature from 2014 to 2016 -- Effect of Free Certificate Discontinuation in Completion Rates of MOOC -- Challenges of Identifying Second Language English Speakers in MOOCs -- MOOC Quality Evaluation System: Tomsk State University Experience -- The Drivers of Employer Support for Professional Skill Development in MOOCs -- To Change or not to Change? That's the Question on MOOC-Success, Barriers and Their Implications -- Follow-up of Learning Activities in Open edX: a Case Study at the University of Cauca -- Increasing Educational Value: the Transformation of MOOCs into Open Educational Resources -- Implementation Intention and How it Affects Goal Achievement in MOOCs -- A Social Learning Grid for MOOCs: Exploring a FutureLearn Case -- The Double Classroom: Design Patterns Using MOOCs in Teacher Education -- Early Prediction and Variable Importance of Certificate Accomplishment -- Types of Dropout in Adaptive Open Online Courses -- Exploring the Role of Assessment in Developing Learners' Critical Thinking in Massive Open Online Courses. .
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783319590431
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Konferenzschrift ; Konferenzschrift
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Book
    Book
    Berlin u.a. :Springer,
    UID:
    almahu_BV000751343
    Format: IX, 124 S.
    ISBN: 3-540-18540-2 , 0-387-18540-2
    Series Statement: Lecture notes in computer science 285
    Language: English
    Subjects: Computer Science , Engineering
    RVK:
    RVK:
    RVK:
    Keywords: Digitalschaltung ; Semantik ; Programmiersprache ; Semantik ; Formale Semantik ; Programmiersprache ; Digitalschaltung
    Author information: Delgado Kloos, Carlos.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_BV039588285
    Format: XVIII, 545 S. : , Ill., graph. Darst. ; , 235 mm x 155 mm.
    ISBN: 978-3-642-23984-7 , 3-642-23984-6
    Series Statement: Lecture notes in computer science 6964
    Additional Edition: Erscheint auch als Online-Ausgabe Towards ubiquitous learning
    Language: English
    Subjects: Computer Science , Education , General works , Psychology
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: E-Learning ; Selbstgesteuertes Lernen ; Universalität ; Konferenzschrift
    Author information: Delgado Kloos, Carlos.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9948621054902882
    Format: XVI, 227 p. , online resource.
    Edition: 1st ed. 2004.
    ISBN: 9781402081620
    Series Statement: IFIP Advances in Information and Communication Technology, 151
    Content: EduTech: Computer-Aided Design Meets Computer-Aided Learning Edited by Carlos Delgado Kloos and Abelardo Pardo 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.
    Note: Invited Contributions -- Open Source Approaches to Eductional Technology Innovation -- Towards Ambient Schooling -- Can Learning Objects Be Reused - And How? -- E-Learning Standards -- Towards an Enhanced Learning Design Language -- A Type-Based Taxonomy of Items in Assessments -- Use of Standards in a Technical Setting -- Implications of Learning Technology Standardization in Electronic Design -- Review of Standards and Standardisation Activities -- Requirements for Computer-Aided Learning from the Point of View of Electronic Design -- Learning Technology Standardization in Europe -- E-Learning in System Design -- Optimiller: An Interactive Environment that Helps Students in the Understanding, Design and Optimization of Miller Electronic Oscillator Circuits for QCM Sensors -- Educational Tools for Industrial Communication Networks Design -- Remote System of Design and Test of DC-DC Converters -- Mobile E-Learning -- An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services -- Development of E-Learning Tools -- Virtual Community in the Classroom: An Innovating Tool for Elearning -- The E-Learning Grid: Peer-To-Peer Approach -- An Intelligent Virtual Environment for Distance Learning -- Development and Implementation of a Biometric Verification System for E-Learning Platforms -- A Testing Methodology for an Open Software E-Learning Platform -- E-Learning Experience -- Learning Objects Definition and Use in -- E-Learning Engineering: Recommendations for Consumer-Driven Blended Learning -- Impact of Technology on E-Learning -- Impact of Technology on Learning Paradigms and Teaching Practices -- E-Learning Issues for Advanced Technical Topics -- Telecad Course Online and Evaluation Procedure -- Weblabs: A Virtual Laboratory for Collaborative E-Learning -- Building the E-Learning Environment.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9781475779776
    Additional Edition: Printed edition: ISBN 9781402081613
    Additional Edition: Printed edition: ISBN 9781475779769
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Book
    Book
    Boston [u.a.] :Kluwer,
    UID:
    almahu_BV024796706
    Format: XIII, 249 S. : , Ill.
    ISBN: 0-7923-9552-2
    Series Statement: The Kluwer international series in engineering and computer science
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: VHDL
    Author information: Delgado Kloos, Carlos.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almahu_BV003584038
    Format: 157 S. auf 2 Mikrofiches : graph. Darst.
    Note: München, Techn. Univ., Diss., 1986
    Language: English
    Keywords: Integrierte Schaltung ; Entwurf ; Digitalschaltung ; Entwurf ; Formalisierung ; Hochschulschrift ; STREAM
    Author information: Delgado Kloos, Carlos.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    almahu_9948173927402882
    Format: X, 189 p. 50 illus., 41 illus. in color. , online resource.
    Edition: 1st ed. 2019.
    ISBN: 9783030198756
    Series Statement: Information Systems and Applications, incl. Internet/Web, and HCI ; 11475
    Content: 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.
    Note: Research Track -- Chrome plug-in to support SRL in MOOCs -- Curiouser and Curiouser: The Wonderland of Emotion in LMOOCs -- Applied Mobile-Assisted Seamless Learning Techniques in MOOCs -- Socializing on MOOCs: comparing university and self-enrolled students -- On the use of MOOCs in companies: a panorama of current practices -- Exploring the effect of Response Time on Students' Performance: a pilot study -- Blended Learning with MOOCs ‒ From Investment Effort to Success: A Systematic Literature Review on Empirical Evidence -- Goal Setting and Striving in MOOCs ‒ A Peek inside the Black Box of Learner Behaviour -- Markov Decision Process for MOOC users behavioral inference? -- Exploring the Problems Experienced by Learners in a MOOC Implementing Active Learning Pedagogies -- Designing a MOOC – A new channel for teacher professional development? -- Online course production and university internationalization: correlation analysis -- Experience Track -- Developing the Open Virtual Mobility Learning Hub -- Empowering MOOC participants: dynamic content adaptation through external tools -- Collective Resolution of Enigmas, a Meaningful and Productive Activity in Moocs -- First year of the UQ Sustainable Energy MicroMasters series: Evaluation of participation and achievement -- Reskilling Higher Education Professionals: Skills and workflow in the making of a MOOC -- How to run a massive open online course once the funding is over -- A Ubiquitous Learning Analytics Architecture for a Service-Oriented MOOC Platform -- Embracing Diversity: a raising awareness MOOC experience -- Storytelling and innovative digital techniques which increase motivation levels of MOOC participants.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783030198749
    Additional Edition: Printed edition: ISBN 9783030198763
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    almahu_9948621481402882
    Format: X, 350 p. , online resource.
    Edition: 1st ed. 1997.
    ISBN: 9780387350646
    Series Statement: IFIP Advances in Information and Communication Technology,
    Content: 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.
    Note: 1 Synchronous languages for hardware and software reactive systems -- 2 Towards a complete design method for embedded systems using Predicate/Transition-Nets -- 3 Simplifying data operations for formal verification -- 4 CTL and equivalent sublanguages of CTL -- 5 Verifying linear temporal properties of data intensive controllers using finite instantiations -- 6 A high-level language for programming complex temporal behaviors and its translation into synchronous circuits (poster abstract) -- 7 System-level hardware design with ?-charts (poster abstract) -- 8 Interface synthesis in embedded hardware-software systems (poster abstract) -- 9 TripleS-a formal validation environment for functional specifications (poster abstract) -- 10 SOFHIA: a CAD environment to design digital control systems (poster abstract) -- 11 Compiling the language BALSA to delay insensitive hardware (poster abstract) -- 12 High-level synthesis of structured data paths (poster abstract) -- 13 Characterizing a portable subset of behavioural VHDL-93 -- 14 Algebra of communicating timing charts for describing and verifying hardware interfaces -- 15 A formal proof of absence of deadlock for any acyclic network of PCI buses -- 16 Behavioural modelling of sampled-data with HDL-A and ABSynth -- 17 Hardware description languages in practical design flows -- 18 VHDL generation from SDL specification -- 19 Exploiting isomorphism for speeding up instance-binding in an integrated scheduling allocation and assignment approach to architectural synthesis -- 20 Verification of large systems in silicon (special talk) -- 21 The Shall Design test Development model for hardware systems -- 22 Modular operational semantic specification of transport triggered architectures -- 23 The world of I/O: a rich application area for formal methods (invited talk) -- 24 Abstract modelling of asynchronous micropipeline systems using Rainbow -- 25 A new partial order reduction algorithm for concurrent system verification (short talk) -- 26 VHDL power simulator: power analysis at gate level -- 27 Object oriented extensions to VHDL. the LaMI proposal -- Index of contributors -- Keyword index.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9781475753875
    Additional Edition: Printed edition: ISBN 9780412788109
    Additional Edition: Printed edition: ISBN 9781475753868
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    UID:
    almahu_9948621503002882
    Format: X, 124 p. , online resource.
    Edition: 1st ed. 1987.
    ISBN: 9783540480129
    Series Statement: Lecture Notes in Computer Science, 285
    Note: The stream language -- Procedural level agents -- Register transfer level agents -- Gate level agents -- Switch level agents -- Conclusion.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662170267
    Additional Edition: Printed edition: ISBN 9783540185406
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages