Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
(Ritorna alla ricerca)
Tutti i filtri della tua ricerca
Formato
Data di pubblicazione
Data
Lingua di pubblicazione
Biblioteca
Autore (Persona)
Opere
Editore
Soggetto geografico
Soggetto genere / forma
Livello bibliografico
Soggetto topico
Computer science
(86)
Machine theory
(81)
Formal Languages and Automata Theory
(79)
Mathematical logic
(78)
Artificial intelligence
(77)
Artificial Intelligence
(76)
Computer Science Logic and Foundations of Programming
(68)
Computer science—Mathematics
(64)
Mathematical Logic and Formal Languages
(62)
Software Engineering
(54)
Software engineering
(54)
Symbolic and Algebraic Manipulation
(47)
Computer logic
(42)
Computer programming
(42)
Logics and Meanings of Programs
(42)
Theory of Computation
(37)
Programming Techniques
(35)
Discrete Mathematics in Computer Science
(34)
Programming languages (Electronic computers)
(31)
Compilers (Computer programs)
(29)
Compilers and Interpreters
(29)
Mathematical Logic and Foundations
(29)
Programming Languages, Compilers, Interpreters
(29)
Algorithms
(28)
Discrete mathematics
(26)
Mathematics of Computing
(20)
Application software
(13)
Computers
(12)
Information Storage and Retrieval
(11)
Natural Language Processing (NLP)
(11)
Natural language processing (Computer science)
(11)
Declarative programming
(10)
Software Engineering/Programming and Operating Systems
(10)
Algorithm Analysis and Problem Complexity
(8)
Programming languages (Electronic computers) - Semantics
(8)
Computer Appl. in Administrative Data Processing
(7)
Computer vision
(7)
Database management
(7)
Information storage and retrieval
(7)
Declarative programming languages
(6)
Information Systems Applications (incl. Internet)
(6)
Numerical analysis
(6)
Application software - Development
(5)
Computation by Abstract Devices
(5)
Computer Imaging, Vision, Pattern Recognition and Graphics
(5)
Computer networks
(5)
Database Management
(5)
Image processing—Digital techniques
(5)
Math Applications in Computer Science
(5)
Computer Engineering and Networks
(4)
Computer Graphics
(4)
Computer engineering
(4)
Computer graphics
(4)
Data Mining and Knowledge Discovery
(4)
Data mining
(4)
Formal languages
(4)
Formal methods (Computer science)
(4)
Information storage and retrieval systems
(4)
Logic
(4)
Mathematical statistics
(4)
Operating Systems
(4)
Operating systems (Computers)
(4)
Probability and Statistics in Computer Science
(4)
Special Purpose and Application-Based Systems
(4)
Special purpose computers
(4)
Arithmetic and Logic Structures
(3)
Combinatorics
(3)
Computer Science, general
(3)
Computer science - Mathematics
(3)
Elaboratori elettronici - Linguaggi - Congressi - 1994
(3)
Logic in AI
(3)
Logic programming
(3)
Logic, Symbolic and mathematical
(3)
Logica simbolica
(3)
Numeric Computing
(3)
Numerical Analysis
(3)
Algebra
(2)
Antibodies
(2)
Arithmetic and logic units, Computer
(2)
Artificial intelligence—Data processing
(2)
Computational Linguistics
(2)
Computational Mathematics and Numerical Analysis
(2)
Computational linguistics
(2)
Computer Application in Social and Behavioral Sciences
(2)
Computer Communication Networks
(2)
Computer Vision
(2)
Computer software
(2)
Cooperating objects (Computer systems) - Programming
(2)
Data Science
(2)
Elaboratori elettronici - Programmazione - Linguaggi
(2)
Immunology
(2)
Linguaggi di programmazione - Semantica
(2)
Linguistics
(2)
Logica matematica
(2)
Logica matematica - Congressi - 1994
(2)
Management information systems
(2)
Management of Computing and Information Systems
(2)
Mathematical Software
(2)
Mathematics—Data processing
(2)
Models of Computation
(2)
Order, Lattices, Ordered Algebraic Structures
(2)
Pattern Recognition
(2)
Pattern recognition
(2)
Rewriting systems (Computer science)
(2)
Semantics - Data processing
(2)
Sequential machine theory
(2)
Social sciences—Data processing
(2)
System analysis
(2)
Temporal automata
(2)
Algebraic theory of languages and automata
(1)
Automata and formal grammars
(1)
Automata theory
(1)
Big Data
(1)
Big data
(1)
Biomathematics
(1)
Categorie matematiche - Informatica
(1)
Complex Systems
(1)
Computer Modelling
(1)
Computer Science
(1)
Computer arithmetic and logic units
(1)
Computer communication systems
(1)
Computer security
(1)
Computer simulation
(1)
Computer software - Development
(1)
Computers and Society
(1)
Computers and civilization
(1)
Congressi - Hoegaarden - 1992
(1)
Cryptography
(1)
Cryptology
(1)
Data Structures and Information Theory
(1)
Data and Information Security
(1)
Data encryption (Computer science)
(1)
Data protection
(1)
Data structures (Computer science)
(1)
Digital Humanities
(1)
Digital humanities
(1)
Elaboratori - Linguaggi di programmazione
(1)
Elaboratori elettronici - Linguaggi
(1)
Elaboratori elettronici - Linguaggi - Congressi - 1991
(1)
Elaboratori elettronici - Linguaggi - Congressi - 1992
(1)
Elaboratori elettronici - Linguaggi - Congressi - 1993
(1)
Elaboratori elettronici - Linguaggio Deva
(1)
Elaboratori elettronici - Programmazione
(1)
Elaborazione elettronica - Congressi - Edinburgh - 2008
(1)
Elaborazione elettronica - Congressi - Tokyo - 2009
(1)
Epistemology
(1)
Formal languages - Semantics
(1)
Frames (Information theory)
(1)
Image Processing and Computer Vision
(1)
Image processing
(1)
Informatica - Congressi - Bertinoro - 2008
(1)
Informatica - Congressi - Coimbra - 2009
(1)
Informatica - Congressi - Dublin - 2006
(1)
Informatica - Congressi - Karpacz - 2004
(1)
Informatica - Congressi - Lausanne - 2007
(1)
Informatica - Congressi - Oxford - 2005
(1)
Informatica - Congressi - Szeged - 2006
(1)
Informatica - Programmazione - Congressi - Antwerp - 2004
(1)
Informatica e apprendimento - Congressi - Banff - 2004
(1)
Informatica e apprendimento - Congressi - Bertinoro - 2005
(1)
Informatica e apprendimento - Congressi - Pittsburgh - 2006
(1)
Informatica e apprendimento - Congressi - San Doego - 2007
(1)
Information theory
(1)
Intelligenza artificiale - Congressi - 1994
(1)
Intelligenza artificiale - Congressi - Athens - 2004
(1)
Intelligenza artificiale - Congressi - Bremen - 2007
(1)
Intelligenza artificiale - Congressi - Montreal - 2009
(1)
Intelligenza artificiale - Congressi - Saint-Malo - 2008
(1)
Intelligenza artificiale - Congressi - Tallin - 2005
(1)
Intelligenza artificiale - Congressi - Tokyo - 2006
(1)
Linguaggi di programmazione - Congressi - Athens - 1994
(1)
Linguaggi di programmazione - Congressi - Edinburgh - 2008
(1)
Linguaggi di programmazione - Congressi - Pasadena - 2009
(1)
Linguaggi di programmazione - Congressi - Porto - 2007
(1)
Linguaggi di programmazione - Congressi - Saint-Malo - 2008
(1)
Linguaggi di programmazione - Congressi - Seattle - 2006
(1)
Linguaggi di programmazione - Congressi - Tokyo - 2006
(1)
Linguaggi di programmazione - Congressi - Tokyo - 2009
(1)
Linguaggi di programmazione - Congressi - Udine - 2008
(1)
Linguaggi di programmazione - Semantica - Congressi - 1993
(1)
Linguaggi formali - Congressi - 2004
(1)
Linguaggi formali - Congressi - 2006
(1)
Linguaggi formali - Congressi - Bonn - 2006
(1)
Linguaggi formali - Congressi - Montreal - 2003
(1)
Linguaggi formali - Congressi - Oxford - 2006
(1)
Linguaggi formali -- Congressi -- 1986
(1)
Linguaggio di Programmazione - congressi - 2004
(1)
Logica e elaboratori elettronici - Congressi - 2004
(1)
Logica matematica - Applicazioni alla programmazione degli elaboratori elettronici - Congressi
(1)
Logica matematica - Congressi - Antwerp - 2004
(1)
Logica matematica - Congressi - Barcellona - 2004
(1)
Logica matematica - Congressi - Batumi - 2005
(1)
Logica matematica - Congressi - Bremen - 2007
(1)
Logica matematica - Congressi - Edinburgh - 2008
(1)
Logica matematica - Congressi - Montreal - 2009
(1)
Logica matematica - Congressi - Pasadena - 2009
(1)
Logica matematica - Congressi - Pisa - 2009
(1)
Logica matematica - Congressi - Porto - 2007
(1)
Logica matematica - Congressi - Seattle - 2006
(1)
Logica matematica - Congressi - Tallin - 2005
(1)
Logica matematica - Congressi - Tbilisi - 2007
(1)
Logica matematica - Congressi - Tokyo - 2009
(1)
Logica matematica - Congressi - Udine - 2008
(1)
Matematica - Applicazioni all'informatica
(1)
Mathematical Modeling and Industrial Mathematics
(1)
Mathematical and Computational Biology
(1)
Mathematical linguistics
(1)
Mathematical models
(1)
Models and Principles
(1)
Modern Philosophy
(1)
Modern philosophy
(1)
Ontologies (Information retrieval)
(1)
Optical data processing
(1)
Philosophy and science
(1)
Philosophy of Science
(1)
Programmazione logica - Congressi - 1993
(1)
Programmazione logica - Congressi - 1994
(1)
Programmazione orientata oggetti - Congressi
(1)
Programmazione orientata oggetti - Congressi - Athens - 2005
(1)
Programmazione orientata oggetti - Congressi - Bologna - 2006
(1)
Programmazione orientata oggetti - Congressi - Oslo - 2008
(1)
Programmazione orientata oggetti - Congressi - Paphos - 2007
(1)
Programmazione parallela
(1)
Psycholinguistics
(1)
Semantic integration (Computer systems)
(1)
Semantica - Congressi - 1992
(1)
Semantics
(1)
Signal processing
(1)
Signal, Image and Speech Processing
(1)
Software per computer - Congressi - Budapest - 2008
(1)
Software per computer - Congressi - Grenoble - 2009
(1)
Software per computer - Congressi - Vancover - 2007
(1)
Software sviluppo - Congressi - Barcellona - 2004
(1)
Software sviluppo - Congressi - Pisa - 2009
(1)
Speech processing systems
(1)
System theory
(1)
Systems and Data Security
(1)
Systems engineering
(1)
Theoretical Linguistics
(1)
UML (Computer science)
(1)
elaborazione elettronica
(1)
linguaggi di programmazione
(1)
logica matematica
(1)