Logic, language information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ; Ruy de Queiroz (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4576)
ISBN 978-3-540-73443-7 / 3-540-73443-0 kart. : EUR 55.64 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4576)
ISBN 978-3-540-73445-1
Lizenzpflichtig
Quelle: DNB
Mathematics of program construction
: 4th international conference ; proceedings / MPC '98, Marstrand, Sweden, June 1998. J. Jeuring (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1422)
ISBN 978-3-540-69345-1
Lizenzpflichtig
Quelle: DNB
Model driven development of reliable automotive services
: revised selected papers / Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15 - 17, 2006 / Manfred Broy ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4922)
ISBN 978-3-540-70930-5
Lizenzpflichtig
Quelle: DNB
Neuro fuzzy techniques for intelligent information systems
: with 54 tables / Nikola Kasabov ; Robert Kozma (ed.). - Heidelberg : Physica-Verl., 1999. - XI, 449 S. : graph. Darst.; 24 cm - (Studies in fuzziness and soft computing; Vol. 30)
ISBN 978-3-7908-1187-2 / 3-7908-1187-4 Pp. : DM 178.00
Literaturangaben
Quelle: DNB
Prospects for hardware foundations
: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)
ISBN 978-3-540-49254-2
Lizenzpflichtig
Quelle: DNB
Real world applications of evolutionary computing
: proceedings / EvoWorkshops 2000: EvoIASP ..., Edinburgh, Scotland, UK, April 17, 2000. Stefano Cagnoni et al. (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 1803)
ISBN 978-3-540-45561-5
Lizenzpflichtig
Quelle: DNB
Reliable software technologies
: proceedings / Ada Europe '99, 1999 Ada Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999. Michael González Harbour ; Juan A. de la Puente (ed.). - Berlin : Springer, 1999. - XIII, 449 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1622)
ISBN 978-3-540-66093-4 / 3-540-66093-3 kart. : DM 102.00
Literaturangaben
Quelle: DNB
Reliable software technologies
: proceedings / Ada Europe '99, 1999 Ada Europe International Conference on Reliable Software Technologies, Santander, Spain, June 1999. Michael González Harbour ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1622)
ISBN 978-3-540-48753-1
Lizenzpflichtig
Quelle: DNB
Stapelkamp, Torsten: Screen- und Interfacedesign
: Gestaltung und Usability für Hard- und Software / Torsten Stapelkamp. - Berlin : Springer, 2007. - Online-Ressource - (X.media.press)
ISBN 978-3-540-32950-3
Lizenzpflichtig
Quelle: DNB