Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Meer
Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. Meer
Dieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berechenbaren Wortfunktionen auf eine von jeglichem Maschinenmodell unabhängige Weise zu charakterisieren, nämlich als die partiell Wort-rekursiven Wortfunktionen. Meer
Die Gesellschaft für Informatik trat mit dem Workshop "Betrieb von Rechenzentren" an den grossen Kreis von Firmen, Behörden, Lehr- und Forschungseinrichtungen heran, die Datenverarbeitungs anlagen betreiben. Meer
1m Herbst 1974 entschied sich der FachausschuB 3/4 {"Rechnerorganisa tion und Betriebssysteme"} der GI in Ubereinstimmung mit dem Fachaus schuB 6 {"Technische Informatik"} der NTG, das Thema "Datenfernverar beitung und Rechnerverbundnetze" der geplanten Fachtagung in Aachen voranzustellen. Meer
This volume presents the proceedings of the sixth International Conference on Advanced Information Systems Engineering, held in Utrecht, The Netherlands, in June 1994. Meer
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Critical Information Infrastructures Security, CRITIS 2006, held on Samos Island, Greece in August/September 2006 in conjunction with ISC 2006, the 9th International Information Security Conference. Meer
This book constitutes the reviewed proceedings of the Second International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2006, held in Venice, Italy in July 2006, in association with ICALP 2006. Meer
This book constitutes the thoroughly refereed extended post-proceedings of the 7th International Workshop on Membrane Computing, WMC 2006, held in Leiden, Netherlands in July 2006. Meer
The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. Meer
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008. Meer
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. Meer
These two-volume books comprise the post-conference proceedings of the 14th International Conference on Neural Information Processing (ICONIP 2007) held in Kitakyushu, Japan, during November 13–16, 2007. Meer
The two volume set LNCS 4984 and LNCS 4985 constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Neural Information Processing, ICONIP 2007, held in Kitakyushu, Japan, in November 2007, jointly with BRAINIT 2007, the 4th International Conference on Brain-Inspired Information Technology. Meer
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. Meer
The book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008. Meer
This book constitutes the thoroughly refereed post-proceedings of the Third European Workshop on Security and Privacy in Ad hoc and Sensor Networks, ESAS 2006, held in Hamburg, Germany in September 2006 in conjunction with the 11th European Symposium on Research in Computer Security (ESORICS 2006). Meer
This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books