Resultados de búsqueda - "Imperative programming"

The Curse of the Excluded Middle. por MEIJER, ERIK

Ver este registro en EBSCOhost

Judging machines: philosophical aspects of deep learning. por Schubbach, Arno

Ver este registro en EBSCOhost

Hierarchical Thinking, Grammatical Structures, and the Originary Scene. por Ludwigs, Marina

Ver este registro en EBSCOhost

An Ego of Her Own∗. por Wiener, Oswald

Ver este registro en EBSCOhost

THE SERPENT'S TRAIL: WILLIAM JAMES, OBJECT-ORIENTED PROGRAMMING, AND CRITICAL REALISM. por Crockett, Larry J.

Ver este registro en EBSCOhost

The Creative Process in Traiettoria : An Account of the Genesis of Marco Stroppa's Musical Thought. por Tiffon, Vincent, Sprenger-Ohana, Noémie

Ver este registro en EBSCOhost

How Does Concurrency Extend The Paradigm Of Computation?[a]. por Schachter, Vincent

Ver este registro en EBSCOhost

Programming Languages and Systems por Robbert Krebbers

Ver este registro en EBSCOhost

Formal Methods por André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Ver este registro en EBSCOhost

Algorithmic Regimes : Methods, Interactions, and Politics por Juliane Jarke, Bianca Prietl, Simon Egbert, Yana Boeva, Hendrik Heuer

Ver este registro en EBSCOhost

Computer Aided Verification por Ruzica Piskac, Zvonimir Rakamarić

Ver este registro en EBSCOhost

Automated Reasoning with Analytic Tableaux and Related Methods por Gian Luca Pozzato, Tarmo Uustalu

Ver este registro en EBSCOhost

Programming Languages and Systems por Viktor Vafeiadis

Ver este registro en EBSCOhost

Theses on the Metaphors of Digital-Textual History por Martin Paul Eve

Ver este registro en EBSCOhost

Health Care in the Information Society : Volume 1 - From Adventure of Ideas to Anarchy of Transition por David Ingram

Ver este registro en EBSCOhost

Early Computer Science Education – Goals and Success Criteria for Pre-Primary and Primary Education por Nadine Bergner, Hilde Köster, Johannes Magenheim, Kathrin Müller, Ralf Romeike, Ulrik Schroeder, Carsten Schulte, Stiftung Haus der kleinen Forscher

Ver este registro en EBSCOhost

Academic Entrepreneurship in Theory and Practice por Hanna Nowak-Mizgalska, Aleksandra Szulczewska-Remi (eds.)

Ver este registro en EBSCOhost

Soft Computing : Techniques in Engineering Sciences por Mangey Ram, Suraj B. Singh

Ver este registro en EBSCOhost

The Huawei and Snowden Questions : Can Electronic Equipment From Untrusted Vendors Be Verified? Can an Untrusted Vendor Build Trust Into Electronic Equipment? por Olav Lysne

Ver este registro en EBSCOhost

Deliberation, Representation, Equity : Research Approaches, Tools and Algorithms for Participatory Processes por Love Ekenberg, Karin Hansson, Mats Danielson, Göran Cars

Ver este registro en EBSCOhost