Resultados de búsqueda - intersections computing processing program foundations https

Buscar alternativas:
intersections computing » interaction computing , interneurons computing , intersections rotating
computing processing » computing proceeding , computing proceedings , computer processing
program foundations » program foundation , problem foundations , program conditions
processing program » processing programs , processing programmed , proceedings program
foundations https » equations https

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS...

Publicado 2010

Tabla de Contenidos: “...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”
Enlace del recurso

Electrónico eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Enlace del recurso

Electrónico eBook

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Publicado 2006

Tabla de Contenidos: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Enlace del recurso

Electrónico eBook

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Publicado 2015

Tabla de Contenidos: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Enlace del recurso

Electrónico eBook

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... -- Foundations of Satisfiability Modulo Theories -- Logical Form as a Determinant of Cognitive Processes...”
Enlace del recurso

Electrónico eBook

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Publicado 2008

Tabla de Contenidos: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Enlace del recurso

Electrónico eBook

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “...On a Logical Foundation for Explicit Substitutions -- From Proof-Nets to Linear Logic Type Systems...”
Enlace del recurso

Electrónico eBook

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

Publicado 2006

Tabla de Contenidos: “... Papers -- Extended Directed Search for Probabilistic Timed Reachability -- Intersection of Regular Signal...”
Enlace del recurso

Electrónico eBook

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proc...

Publicado 2014

Tabla de Contenidos: “...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”
Enlace del recurso

Electrónico eBook

Community Well-Being and Community Development Conceptions and Applications /

Publicado 2015

Tabla de Contenidos: “...Preface -- Chapter 1. Exploring the Intersection of Community Well-Being and Community Development...”
Enlace del recurso

Electrónico eBook

Methodologies in Peace Psychology Peace Research by Peaceful Means /

Publicado 2015

Tabla de Contenidos: “... 20 Program Evaluation: Why Process Matters -- Chapter 21Writing Peace Psychology: Creating High...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados