*Showing* 1 - 20 *of* 759

Konferenzschrift 351 Logische Programmierung 54 Programmierung 42 Künstliche Intelligenz 37 Softwareentwicklung 30 Aufsatzsammlung 29 *more* ... Programmiersprache 29 Theoretische Informatik 29 Formale Methode 26 Automatisches Beweisverfahren 24 Parallelverarbeitung 24 Data Mining 18 Programmierlogik 18 Software Engineering 17 Mehragentensystem 16 Computerarchitektur 14 Datenbanksystem 14 Wissensextraktion 14 Soft Computing 13 Verteiltes System 13 Constraint-Programmierung 12 Expertensystem 12 Maschinelles Lernen 12 Programmverifikation 12 Typentheorie 12 Logik 11 Model Checking 11 Objektorientierte Programmierung 11 Programmanalyse 10 Verifikation 10 *less* ...

*Buch* 759 *Konferenzschrift* 362 *Dissertation* 5 *Festschrift* 3

Voronkov, Andrei 9 Tanenbaum, Andrew S. 6 Bishop, Matt 5 Díaz, Josep 5 Zimmermann, Hans-Jürgen 5 Rossi, Francesca 4 *more* ... Agha, Gul 3 Apt, Krzysztof R. 3 Baader, Franz 3 Bjørner, Dines 3 Brewka, Gerhard 3 Dershowitz, Nachum 3 Ehrig, Hartmut 3 Gabbay, Dov M. 3 Gaudel, Marie-Claude 3 Gertler, Janos 3 Gray, Jim 3 Gunopulos, Dimitrios 3 Gupta, Gopal 3 Hofmann, Thomas 3 Kuchen, Herbert 3 Malerba, Donato 3 Margaria, Tiziana 3 Nielsen, Mogens 3 Norvig, Peter 3 Reuter, Andreas 3 Siekmann, Jörg 3 Vazirgiannis, Michalis 3 Weiss, Gerhard 3 Wooldridge, Michael J. 3 *less* ...

*eng* 749 *ger* 12 *fre* 1 *und* 1