Visas
1 - 20
av
150
resultat för sökning '
'
Hoppa till innehåll
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Mitt konto
Logga ut
Inloggning för organisationer
Språk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Library Catalog
Nyckelord
Title/Journal Title
Upphovsman
Ämne
Signum
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Sök
Avancerad sökning
|
Browse
|
Söktips
|
Repeat Search in WorldCat
Rekommenderade teman:
Artificial Intelligence
OCH
Computer science—Mathematics
OCH
Formal Languages and Automata Theory
Visa begränsningar (3)
Rekommenderade teman:
Artificial Intelligence
OCH
Computer science—Mathematics
OCH
Formal Languages and Automata Theory
Sökresultat
Rekommenderade teman
Rekommenderade teman
Artificial Intelligence
Artificial intelligence
150
Computer science—Mathematics
Formal Languages and Automata Theory
Machine theory
150
Computer science
86
Computer Science Logic and Foundations of Programming
64
mer ...
Discrete mathematics
62
Discrete Mathematics in Computer Science
61
Algorithms
50
Software Engineering
47
Software engineering
47
Symbolic and Algebraic Manipulation
46
Mathematics of Computing
31
Theory of Computation
27
Mathematical statistics
21
Probability and Statistics in Computer Science
21
Computer programming
20
Programming Techniques
20
Compilers (Computer programs)
19
Compilers and Interpreters
19
Information Storage and Retrieval
16
Information storage and retrieval systems
16
Data Mining and Knowledge Discovery
15
Data mining
15
Mathematical Applications in Computer Science
15
Application software
12
Computer and Information Systems Applications
12
Computer networks
11
Computer Communication Networks
9
mindre ...
Visas
1 - 20
av
150
resultat för sökning '
'
, Sökningstid : 0,05s
Förfina resultatet
Resultat per sida
20
40
60
80
100
Sortera
Relevans
Tid (nyaste först)
Tid (äldsta först)
Signum
Upphovsman
Titel
1
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
2
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Publicerad 2014
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2014 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
3
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
4
Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
5
Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
6
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
7
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
Publicerad 2011
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2011 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
8
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /
Publicerad 2011
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2011 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
9
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /
Publicerad 2011
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2011 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
10
Logic and Its Applications Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings /
Publicerad 2011
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2011 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
11
Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
12
Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers /
Publicerad 2014
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2014 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
13
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
14
Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
15
Computers and Games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers /
Publicerad 2011
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2011 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
16
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
17
Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
Publicerad 2015
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2015 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
18
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings /
Publicerad 2014
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2014 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
19
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
Publicerad 2014
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2014 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
20
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings /
Publicerad 2014
Signum:
Laddar...
Placering:
Laddar...
Available in Springer Computer Science eBooks 2014 English/International.
Elektronisk
E-bok
Lägg till i favoriter
Sparad:
1
2
3
4
5
6
7
8
Nästa
[8]
Sökverktyg:
RSS-flöde
—
Skicka sökningen per e-post
—
Spara sökningen
Back
Begränsa sökningen
Materialtyp
Elektronisk
150
E-bok
150
Upphovsman
SpringerLink (Online service)
150
Martín-Vide, Carlos
4
Rudolph, Sebastian
4
Truthe, Bianca
4
de Queiroz, Ruy
4
Bouchon-Meunier, Bernadette
3
mer ...
Carette, Jacques
3
Croitoru, Madalina
3
Dediu, Adrian-Horia
3
Kahl, Wolfram
3
Kuznetsov, Sergei O.
3
Lesot, Marie-Jeanne
3
Lukasiewicz, Thomas
3
Manea, Florin
3
Narukawa, Yasuo
3
Sojka, Petr
3
Vieira, Susana
3
Wang, Dongming
3
Yager, Ronald R.
3
Banerjee, Mohua
2
Bobillo, Fernando
2
Botana, Francisco
2
Calmet, Jacques
2
Carvalho, Joao Paulo
2
Daelemans, Walter
2
Dau, Frithjof
2
Fanizzi, Nicola
2
Fleuriot, Jacques
2
Gunopulos, Dimitrios
2
Hofmann, Thomas
2
Visa alla ...
mindre ...
Språk
English
150
Utgivningsår
Från och med:
Till:
Laddar...