Choose an application

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

Programming --- Software engineering --- Génie logiciel --- Periodicals. --- Périodiques --- Software engineering. --- Information Technology --- Mathematical Sciences --- Software Engineering --- Applied Mathematics --- Complex Analysis --- Computer software engineering --- Engineering

Choose an application

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

The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Amendment 1 with changes and additions that improve the capabilities of the language and the reliability of programs written in the language. The Ada 2012 Reference Manual will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically.

Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- programmeren (informatica) --- programmeertalen --- software engineering --- OS (operating system) --- computerkunde --- Software engineering --- Operating systems (Computers) --- Informatique --- Génie logiciel --- Systèmes d'exploitation (Ordinateurs) --- EPUB-LIV-FT LIVINFOR SPRINGER-B

Choose an application

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

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and then produces a Petri net realizing them exactly, or if this is not possible produces a Petri net realizing an optimal approximation of the specifications. In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter in Part III and the chapters in Part IV cover more advanced topics and applications: P/T-nets with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits. Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.

Mathematical logic --- Mathematics --- Computer science --- Programming --- Computer. Automation --- toegepaste informatica --- computers --- informatica --- computerbesturingssystemen --- externe fixatie (geneeskunde --- programmeren (informatica) --- wiskunde --- software engineering --- logica --- Computer Science. --- Theory of Computation. --- Mathematics of Computing. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Foundations. --- Computer science. --- Software engineering. --- Computers. --- Informatique --- Génie logiciel --- Ordinateurs --- Mathematics. --- Mathématiques

Choose an application

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

This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

Logic --- Operational research. Game theory --- Computer science --- Programming --- Computer. Automation --- stochastische analyse --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- database management --- informatietechnologie --- programmeertalen --- software engineering --- programmatielogica --- computerkunde --- Computer Science. --- Computation by Abstract Devices. --- Software Engineering. --- Logics and Meanings of Programs. --- Probability and Statistics in Computer Science. --- Data Structures. --- Programming Languages, Compilers, Interpreters. --- Computer science. --- Software engineering. --- Data structures (Computer science). --- Logic design. --- Informatique --- Génie logiciel --- Structures de données (Informatique) --- Structure logique --- EPUB-LIV-FT LIVINFOR SPRINGER-B

Choose an application

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

"Met dit praktische boek ontdek je de kracht van ChatGPT en leer je hoe je deze technologie kunt gebruiken om je in je dagelijkse bezigheden te ondersteunen. Een absolute must-read voor iedereen die meer uit deze fascinerende technologie wil halen!"Ontdek de wereld van ChatGPT en leer hoe je deze krachtige AI-technologie kunt gebruiken om middels opdrachten in gewoon Nederlands je dagelijkse bezigheden leuker en efficiënter te maken. In dit boek nemen we je mee door de basisprincipes van ChatGPT, van de geschiedenis en de werking tot de meest recente ontwikkelingen. Je leert hoe je ChatGPT kunt gebruiken voor verschillende toepassingen, zoals het opvragen, analyseren en genereren van informatie, het schrijven van voorstellen, samenvattingen en recepten en meer. We bespreken ook de ethische overwegingen van het gebruik van ChatGPT en geven praktische tips voor verantwoord gebruik.Uit de inhoud:Geschiedenis en toekomst van ChatGPTHoe ChatGPT werktDe verschillende versies van ChatGPTToepassingen van ChatGPTGeavanceerde techniekenEthische zaken en praktische tips voor verantwoord gebruikTalloze praktische voorbeelden voor thuis, het werk of ontspanningNaast ChatGPT wordt ook aandacht besteed aan Midjourney, een AI-generator voor beeld, en Microsofts Bing Chat, dat gebruikmaakt van de technologie achter ChatGPT.Bron: https://www.vanduurenmedia.nl/EAN/9789463563130/Hallo_ik_ben_ChatGPT?utm_source=managementnieuwsbrief&utm_medium=email&utm_campaign=9789463563130&utm_rid=40354

ChatGPT --- Artificiële intelligentie --- Public law. Constitutional law --- Didactics of technology --- Organization theory --- Mass communications --- Artificial intelligence. Robotics. Simulation. Graphics --- toegepaste informatica --- KI (kunstmatige intelligentie) --- robots --- nieuwe technologie --- computerprogramma --- kunstmatige intelligentie --- technologische verandering --- cambio tecnológico --- teknologinen muutos --- technologinis pakeitimas --- teknologisk förändring --- mudança tecnológica --- trasformazione tecnologica --- technologická zmena --- технологична промяна --- bidla teknoloġika --- τεχνολογική αλλαγή --- tehnološka promjena --- technologická změna --- technológiai változás --- evoluție tehnologică --- changement technologique --- tehnoloģijas maiņa --- technologischer Wandel --- tehnološka sprememba --- tehnoloogiline muutus --- rozwój technologii --- technological change --- ndryshim teknologjik --- технолошка промена --- teknologisk forandring --- athrú teicneolaíoch --- développement technique --- digitálna revolúcia --- технолошки развој --- technological progress --- tehnoloģiskā attīstība --- tekniska framsteg --- mutamento tecnologico --- technologický rozvoj --- tekniskt framsteg --- technischer Fortschritt --- digitalna revolucija --- digitális forradalom --- tehnoloogia areng --- rivoluzione digitale --- athrú teicneolaíochta --- aanpassing technische vooruitgang --- sviluppo tecnologico --- tehnikas progress --- технички напредак --- revolución digital --- technológiai változások --- προσαρμογή στην τεχνική πρόοδο --- aanpassing aan technische vooruitgang --- pielāgošanās tehnikas attīstībai --- digitaalinen vallankumous --- développement technologique --- ψηφιακή επανάσταση --- a műszaki fejlődéshez történő hozzáigazítás --- rewolucja cyfrowa --- technologische ontwikkeling --- rivoluzzjoni diġitali --- revoluție digitală --- tehnološke promjene --- mukautuminen tekniikan kehitykseen --- развитие на технологиите --- progresso tecnico --- technical progress --- tehnoloģiju maiņa --- postęp technologiczny --- adaptare la progresul tehnic --- technologijos tobulinimas --- digitale revolutie --- teknologiska framsteg --- прилагођавање техничком напретку --- цифрова революция --- техническо развитие --- prilagajanje tehničnemu napredku --- technologische Entwicklung --- revolução digital --- anpassning till tekniska framsteg --- tehnikas attīstība --- tehnološki napredak --- приспособување на технолошките промени --- mutation technologique --- prispôsobenie technickému pokroku --- rozwój technologiczny --- tekniikan kehittyminen --- přizpůsobení technickému pokroku --- progrès technique --- tekniikan kehitys --- a műszaki fejlődéshez való igazodás --- teknologisk udvikling --- progreso técnico --- réabhlóid dhigiteach --- műszaki fejlődés --- adaptation au progrès technique --- digitální revoluce --- teknisk udvikling --- progress tekniku --- tilpasning til den tekniske udvikling --- zhvillim tekonologjik --- progreso tecnológico --- приспособяване към техническия напредък --- Anpassung an den technischen Fortschritt --- kohandumine tehnika arenguga --- adaptación al progreso técnico --- технически напредък --- prisitaikymas prie technikos pažangos --- tekninen muutos --- desarrollo tecnológico --- dezvoltare tehnologică --- teknologinen kehitys --- změna technologie --- tekninen kehitys --- technikos pažanga --- teknisk fremskridt --- skaitmeninė revoliucija --- technologinis pokytis --- technological development --- teknikutveckling --- adeguamento al progresso tecnico --- tehnika arenemine --- technologijų raida --- technológiai fejlesztés --- techninė pažanga --- progrès technologique --- технички развој --- teknologiske forandringer --- technológiai fejlődés --- desenvolvimento tecnológico --- tehnološki razvoj --- prilagoditev tehničnemu napredku --- adattament għall-progress tekniku --- sopeutuminen tekniikan kehitykseen --- attività tecnologica --- cambiamento tecnologico --- tilpasning til teknisk fremskridt --- tehnika areng --- технолошки напредок --- përparim teknologjik --- digitaalrevolutsioon --- tehnikaareng --- révolution numérique --- progres tehnic --- tehnoloģijas attīstība --- digitālā revolūcija --- adaptation to technical progress --- żvilupp teknoloġiku --- teknologins utveckling --- τεχνολογική εξέλιξη --- voortschrijden van de technologie --- tehnični napredek --- digital revolution --- sfida tecnologica --- digitale Revolution --- pielāgošana tehniskajam progresam --- technický pokrok --- adaptação ao progresso técnico --- technische vooruitgang --- dostosowanie do postępu technicznego --- crise de adaptação tecnológica --- τεχνική πρόοδος --- adaptim ndaj përparimeve teknologjike --- prilagodba tehničkom napretku --- progresso técnico --- műszaki fejlődéshez történő hozzáigazítás --- inteligência artificial --- mesterséges intelligencia --- inteligencia artificial --- tekoäly --- sztuczna inteligencja --- вештачка интелигенција --- umetna inteligenca --- mākslīgais intelekts --- artificial intelligence --- umělá inteligence --- künstliche Intelligenz --- inteligență artificială --- tehisintellekt --- изкуствен интелект --- artificiell intelligens --- intelligence artificielle --- intleacht shaorga --- intelligenza artificiale --- intelliġenza artifiċjali --- umelá inteligencia --- dirbtinis intelektas --- τεχνητή νοημοσύνη --- umjetna inteligencija --- inteligjencë artificiale --- kunstig intelligens --- calcolatore di quinta generazione --- συστήματα λήψης αποφάσεων --- sistema inteligente --- ayuda a la decisión --- sistem expert --- ajuda à decisão --- ekspertinė sistema --- expert system --- szakértői rendszer --- συστήματα εμπειρογνώμονες --- expertsystem --- strumento di aiuto alla decisione --- wissensbasierendes System --- IA --- Expertensystem --- KI --- konstgjord intelligens --- expertný systém --- sistem ekspert --- asiantuntijajärjestelmä --- sistema experto --- systeemexpert --- ekspertsistēma --- ekspertsüsteem --- système expert --- sistema esperto --- Entscheidungshilfe --- aide à la décision --- sistema di supporto alle decisioni --- τεχνητή ευφυΐα --- expertní systém --- софтуер --- λογισμικό --- софтвер (умотворина) --- tarkvara --- Software --- programmatūra --- programinė įranga --- ohjelmisto --- programmel --- softuer --- softwer --- software --- софтвер --- szoftver --- programvara --- logiciel --- oprogramowanie --- softvér --- bogearraí --- programska oprema --- program software --- industrie software --- aplikační programové vybavení --- ανάπτυξη πληροφορικής --- software d'attuazione --- desenvolvimento informático --- programiranje --- programinės įrangos kūrimas --- program de calculator --- programmēšana --- softwarový průmysl --- software-industrie --- programminženierija --- ríomhchlárú --- vývoj informačních technologií --- programa de computador --- Programmierung --- sviluppo di software --- programação informática --- soporte lógico informático --- industri e softuerëve --- edb-program --- sviluppo informatico --- разработване на програми --- ohjelmistoala --- tarkvaratehnika --- програмирање --- tarkvaratööstus --- szoftverfejlesztés --- tarkvarapakett --- softver --- programación informática --- progiciel --- Softwaretechnologie --- programinės įrangos pramonė --- tietokoneen ohjelmointi --- programma software --- software package --- Anwendungssoftware --- desenvolvimento de software --- software development --- datorprogram --- ohjelmistosuunnittelu --- προγραμματισμός Η/Υ --- programmeren --- vývoj softvéru --- tietokoneohjelma --- computer programme --- kompiuterio programavimas --- pacáiste bogearraí --- softwareudvikling --- indústria do software --- Rechnerprogramm --- mjukvara --- softwareontwerp --- arvutiprogrammeerimine --- firmware --- dezvoltare de software --- programinės įrangos technika --- kompiuterio programa --- razvoj programske opreme --- programska podrška --- programme d'ordinateur --- софтверски пакет --- programozás --- standardiserad programvara --- arvutiprogramm --- πληροφορικά προγράμματα --- Softwareindustrie --- programska potpora --- programmazione informatica --- programování --- conceção de software --- industria del software --- ríomhchlárúchán --- industrie du logiciel --- software di base --- balík programů --- počítačový program --- programvaruindustri --- programmatūras pakotne --- softwareontwikkeling --- programmelindustri --- razvoj softvera --- datorprogrammering --- microprogramma --- softwarový balík --- programa de ordenador --- számítógépes program --- ingegneria del software --- softvérový balík --- inxhinieri e softuerëve --- počítačové programovanie --- développement logiciel --- ohjelmistopakkaus --- programa informático --- tietotekniikan kehittäminen --- forbairt bogearraí --- programmation informatique --- desarrollo de programas informáticos --- ohjelmistokehitys --- vývoj softwaru --- programmapakket --- βιομηχανία προγραμμάτων Η/Υ --- softvérové inžinierstvo --- EDV-Programm --- datorprogramma --- softwareindustri --- προγράμματα συστημάτων Η/Υ --- sada programů --- softwarová technologie --- Software-Engineering --- software industry --- dezvoltare informatică --- suporte lógico --- Informatikentwicklung --- edb-programmering --- Standardsoftware --- aplikační software --- softwarové inženýrství --- innealtóireacht bogearraí --- paketë softueri --- tarkvaraarendus --- programové vybavení --- ríomhchlár --- programma di calcolatore --- προγράμματα ηλεκτρονικών υπολογιστών --- softvérový priemysel --- programmatuur --- ανάπτυξη λογισμικού --- software engineering --- informatikai fejlesztés --- programų paketas --- software applicativo --- développement informatique --- computer programming --- szoftvergyártás --- programmering --- programmatūras izstrāde --- żvilupp ta' softwer --- software aplicativ --- programa de aplicação --- génie logiciel --- развитие на информационните технологии --- programim kompjuterik --- program kompjuterik --- информатичко решение --- new technology --- ny teknik --- új technológia --- нова технология --- nowe technologie --- jauna tehnoloģija --- nuova tecnologia --- nova tecnologia --- nová technológia --- nueva tecnología --- teknologji e re --- nouvelle technologie --- nová technologie --- uus tehnoloogia --- uusi teknologia --- tehnologie avansată --- neue Technologie --- teknoloġija ġdida --- нова технологија --- nuatheicneolaíocht --- νέες τεχνολογίες --- nova tehnologija --- ny teknologi --- naujoji technologija --- moderná technológia --- alta tecnologia --- Spitzentechnologie --- neuartige Technologie --- tecnología avanzada --- technique de pointe --- fejlett technológia --- advanced technology --- Hightech --- advanced technique --- kõrgtehnoloogia --- avanceret teknik --- alta tecnología --- progresivní technologie --- high-tech --- korszerű technika --- forkantteknologi --- teknikë e përparuar --- arenenud tehnoloogia --- spetsteknik --- špičková technika --- högt utvecklad teknik --- hoch entwickelte Technik --- arenenud tehnika --- high technology --- technologie avancée --- tecnologia de ponta --- висока технологија --- tecnologia di punta --- tecnica d'avanguardia --- avancerad teknik --- tecnologia nova --- geavanceerde technologie --- tecnología punta --- csúcstechnológia --- napredna tehnologija --- hoogontwikkelde technologie --- tecnica di punta --- speerpunttechnologie --- kehittynyt teknologia --- högteknologi --- teknologji e lartë --- τεχνολογία αιχμής --- pažangioji technika --- напредна технологија --- attīstīta tehnoloģija --- korkea teknologia --- højteknologi --- προηγμένη τεχνολογία --- technologie nouvelle --- augstās tehnoloģijas --- модерна технологија --- tehnică avansată --- haute technologie --- spitstechnologie --- tecnologia avanzata --- high tech --- aukštoji technologija --- attīstīta metode --- înaltă trhnologie --- spjutspetsteknik --- špičková technologie --- visoka tehnologija --- korszerű technológia --- moderná technika --- pažangioji technologija --- kehittynyt tekniikka --- fortgeschrittene Technologie --- tecnologia avançada --- hightech --- υψηλή τεχνολογία --- AI (artificiële intelligentie)