Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lesbundel voor het basisonderwijs, opgesplitst per graad, met uitgewerkte lessen en kopieerbare leerlingenblaadjes. Thema zijn de millenniumdoelen en de brochure bestaat uit een bundeling van lesbrieven, verhalen en lessuggesties bij de campagne.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Op ieder moment van de dag worden er over de hele wereld spelletjes gespeeld, van de koude Noordpoolgebieden tot de barre woestijn van Noord-Afrika, van de indrukwekkende hoge bergen van Zuid-Amerika tot de uitgestrekte vlakte van India, van de grote industriële steden in het westen tot de meest afgelegen dorpen in de Stille Zuidzee. Ook al kennen de mensen uit de verschillende werelddelen elkaar niet, toch zijn er verrassend veel overeenkomsten tussen de spelletjes die zij spelen. Er zijn verschillende spelletjes die ieder ook weer een eigen functie hebben. Zo werd met tik- en renspelletjes het uithoudingsvermogen verbeterd. Met mikspelletjes oefende men vaardigheden voor de jacht. Daarnaast waren er ook verschillende spelletjes om het geheugen te oefenen of om logisch te leren denken. In dit pakket zijn enkel buitenspelen opgenomen, maar er is ook een versie met binnenspelen beschikbaar.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Queueing theory applications can be discovered in many walks of life including; transportation, manufacturing, telecommunications, computer systems and more. However, the most prevalent applications of queueing theory are in the telecommunications field. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System focuses on discrete time modeling and illustrates that most queueing systems encountered in real life can be set up as a Markov chain. This feature is very unique because the models are set in such a way that matrix-analytic methods are used to analyze them. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System is the most relevant book available on queueing models designed for applications to telecommunications. This book presents clear concise theories behind how to model and analyze key single node queues in discrete time using special tools that were presented in the second chapter. The text also delves into the types of single node queues that are very frequently encountered in telecommunication systems modeling, and provides simple methods for analyzing them. Where appropriate, alternative analysis methods are also presented. This book is for advanced-level students and researchers concentrating on engineering, computer science and mathematics as a secondary text or reference book. Professionals who work in the related industries of telecommunications, industrial engineering and communications engineering will find this book useful as well.

Computer networks. --- Discrete-time systems. --- Markov processes. --- Queuing theory. --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Statistics --- Erlang traffic formula --- Queueing theory --- Theory of queues --- Waiting-line theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Computer science. --- Computer system failures. --- Computer programming. --- Computers. --- Mathematical statistics. --- Computer simulation. --- Computer Science. --- Theory of Computation. --- Simulation and Modeling. --- Programming Techniques. --- Probability and Statistics in Computer Science. --- System Performance and Evaluation. --- Models and Principles. --- Production scheduling --- Stochastic processes --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Distributed processing --- Information theory. --- Computer system performance. --- Informatics --- Science --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Communication theory --- Communication --- Cybernetics --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Failures --- Statistical methods --- Programming --- Computer science --- Computer Modelling. --- Models of Computation. --- Mathematics. --- Evaluation. --- Computer mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial satellites in telecommunication.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.

Computer software --Development --Congresses. --- Formal methods (Computer science) --Congresses. --- Programming languages (Electronic computers) --Congresses. --- Type theory --Congresses. --- Computer software --- Formal methods (Computer science) --- Programming languages (Electronic computers) --- Type theory --- Computer Science --- Engineering & Applied Sciences --- Development --- Information Technology --- Software Engineering --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer simulation. --- Management information systems. --- Computer Science. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Programming Techniques. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Communication systems --- Programming --- Logic, Symbolic and mathematical --- Information Systems.