| Systematik Neuerwerbungen | Lehrbuchsammlung Literaturempfehlungen | E-Zeitschriften gedruckte Zeitschriften | Datenbanken Internetquellen |
| Zeitraum Feb. 2013 zurück zu Jan. 2013 Abstract state machines,... Signatur: 2922-0531 Abstract state machines, Alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings / John Derrick ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XV, 378 S. : Ill., graph. Darst ; 24 cm Kongr.: International Conference on Abstract State Machines, Alloy, B, VDM, and Z ; 3 (Pisa, Italy) : 2012.06.18-21 (Lecture notes in computer science ; 7316) ISBN 3-642-30884-8=978-3-642-30884-0 = 978-3-642-30885-7 Advances in swarm... Advances in swarm intelligence : third international conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 ; proceedings / Ying Tan ... (ed.). - Heidelberg [u.a.]: Springer, 2012 Kongr.: ICSI 2012 ; 3 (Shenzhen) : 2012.06.17-20 (Lecture notes in computer science ; ..) Pt. 1 : Signatur: 2922-0201 Lecture notes in computer science ; 7331. - 2012. - XXV, 623 S. : Ill., graph. Darst ; 235 mm x 155 mm Pt. 2 : Signatur: 2922-0191 Lecture notes in computer science ; 7332. - 2012. - XXV, 607 S. : Ill., graph. Darst ; 235 mm x 155 mm Algorithm theory - SWAT... Signatur: 2922-0968 Algorithm theory - SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 ; proceedings / Fedor V. Fomin ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XV, 400 S. : Ill., graph. Darst Kongr.: Scandinavian Symposium and Workshops on Algorithm Theory ; 13 (Helsinki, Finland) : 2012.07.04-06 (Lecture Notes in Computer Science ; 7357) ISBN 3-642-31154-7=978-3-642-31154-3 = 978-3-642-31155-0 Algorithms and models for... Signatur: 2922-0272 Algorithms and models for the web graph : 9th international workshop, WAW 2012, Halifax, NS, Canada, June 22 - 23, 2012 ; proceedings / Anthony Bonato ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - VIII, 178 S. : Ill., graph. Darst ; 24 cm Kongr.: International Workshop on Algorithms and Models for the Web Graph ; 9 (Halifax, Canada) : 2012.06.22-23 (Lecture notes in computer science ; 7323) ISBN 3-642-30540-7=978-3-642-30540-5 = 978-3-642-30541-2 Ambient intelligence :... Signatur: 2925-0514 Ambient intelligence : third international joint conference, AmI 2012, Pisa, Italy, November 13 - 15, 2012 ; proceedings / Fabio Paternò ... (eds.). - Berlin [u.a.]: Springer, 2012. - XV, 461 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Joint Conference on Ambient Intelligence ; 3 (Pisa) : 2012.11.13-15 (Lecture notes in computer science ; 7683) ISBN 3-642-34897-1=978-3-642-34897-6 = 978-3-642-34898-3 Lecture notes in computer... Signatur: 2922-0939 Lecture notes in computer science ; 7324. - Heidelberg [u.a.]: Springer, 2012. - XXIV, 440 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference on Image Analysis and Recognition ; 9 (Aveiro, Portugal) : 2012.06.25-27 (Lecture notes in computer science ; 7324) In: Image Analysis and Recognition : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25 - 27, 2012 ; proceedings / Aurélio Campilho ... (eds.) ; Pt. 1 Lecture notes in computer... Signatur: 2922-0890 Lecture notes in computer science ; 7325. - Heidelberg [u.a.]: Springer, 2012. - XXIII, 494 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference on Image Analysis and Recognition ; 9 (Aveiro, Portugal) : 2012.06.25-27 (Lecture notes in computer science ; 7325) In: Image Analysis and Recognition : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25 - 27, 2012 ; proceedings / Aurélio Campilho ... (eds.) ; Pt. 2 Automated reasoning : 6th... Signatur: 2922-0926 Automated reasoning : 6th international joint conference, IJCAR 2012, Manchester, UK, June 26 - 29, 2012 ; proceedings / Bernhard Gramlich ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIV, 568 S. : Ill., graph. Darst ; 24 cm Kongr.: International Joint Conference on Automated Reasoning ; 6 (Manchester) : 2012.06.26-29 (Lecture notes in computer science ; 7364 : Lecture notes in artificial intelligence) ISBN 3-642-31364-7=978-3-642-31364-6 = 978-3-642-31365-3 Autonomous and... Signatur: 2922-5015 Autonomous and intelligent systems : third international conference, AIS 2012, Aveiro, Portugal, June 25 - 27, 2012 ; proceedings / Mohamed Kamel ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XVI, 270 S. : Ill., graph. Darst ; 24 cm Kongr.: International Conference on Autonomous and Intelligent Systems ; 3 (Aveiro, Portugal) : 2012.06.25-27 (Lecture notes in computer science ; 7326 : Lecture notes in artificial intelligence) ISBN 3-642-31367-1=978-3-642-31367-7 = 978-3-642-31368-4 Bangsow, Steffen: Signatur: 2925-7588 Praxishandbuch Plant Simulation und SimTalk : Anwendung und Programmierung in über 150 Beispiel-Modellen / Steffen Bangsow. - München: Hanser, 2011. - XII, 437 S. : zahlr. Ill., graph. Darst & 1 CD-ROM (12 cm) ISBN 3-446-42782-1=978-3-446-42782-2 = 978-3-446-42903-1 Lecture notes in computer... Signatur: 2922-0557 Lecture notes in computer science ; 7334 / Benjamino Murgante [Hrsg.]. - Heidelberg [u.a.]: Springer, 2012. - XXI, 759 S. : Ill., graph. Darst., Kt ; 235 mm x 155 mm Kongr.: International Conference on Computational Science and Its Applications ; 12 (Salvador de Bahia, Brazil) : 2012.06.18-21 (Lecture notes in computer science ; 7334) In: Computational science and its applications - ICCSA 2012 : 12th International conference, Salvador de Bahia, Brazil, June 18 - 21, 2012 ; proceedings / Beniamino Murgante ... (eds.) ; Pt. 2 Lecture notes in computer... Signatur: 2922-0544 Lecture notes in computer science ; 7336 / Benjamino Murgante [Hrsg.]. - Heidelberg [u.a.]: Springer, 2012. - XXI, 661 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference on Computational Science and Its Applications ; 12 (Salvador de Bahia, Brazil) : 2012.06.18-21 (Lecture notes in computer science ; 7336) In: Computational science and its applications - ICCSA 2012 : 12th International conference, Salvador de Bahia, Brazil, June 18 - 21, 2012 ; proceedings / Beniamino Murgante ... (eds.) ; Pt. 4 Biomedical image... Signatur: 2922-1006 Biomedical image registration : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012 ; proceedings / Benoît M. Dawant ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 308 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: Workshop on Biomedical Image Registration ; 5 (Nashville, Tenn.) : 2012.07.07-08 (Lecture notes in computer science ; 7359) ISBN 3-642-31339-6=978-3-642-31339-4 = 978-3-642-31340-0 Biometric recognition :... Signatur: 2925-0608 Biometric recognition : 7th Chinese conference, CCBR 2012, Guangzhou, China, December 4 - 5, 2012 ; proceedings / Wei-Shi Zheng ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 390 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: Chinese Conference on Biometric Recognition ; 7 (Guangzhou) : 2012.12.04-05 (Lecture notes in computer science ; 7701) ISBN 3-642-35135-2=978-3-642-35135-8 = 978-3-642-35136-5 Böhme, Ingo: Signatur: 2918-2802 iPhone- und iPad-Programmierung für Einsteiger : iOS-Apps entwickeln von Anfang an / Ingo Böhme. - 2. Aufl München: Markt+Technik-Verl., 2012. - 361 S. : zahlr. Ill (Always learning) ISBN 3-8272-4713-6=978-3-8272-4713-1 Brain informatics :... Signatur: 2925-0569 Brain informatics : International Conference, BI 2012, Macau, China, December 4-7, 2012 ; proceedings / Fabio Massimo Zanzotto ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XVI, 374 S. : graph. Darst ; 235 mm x 155 mm Kongr.: BI ; (Macau) : 2012.12.04-07 (Lecture notes in computer science ; 7670 : Lecture notes in artificial intelligence) ISBN 3-642-35138-7=978-3-642-35138-9 = 978-3-642-35139-6 Breast imaging : 11th... Signatur: 2922-0997 Breast imaging : 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012 ; proceedings / Andrew D. A. Maidment ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIX, 786 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Workshop on Breast Imaging ; 11 (Philadelphia, Pa.) : 2012.07.08-11 (Lecture notes in computer science ; 7361) ISBN 3-642-31270-5=978-3-642-31270-0 = 978-3-642-31271-7 Combinatorial pattern... Signatur: 2922-0984 Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3 - 5, 2012 ; proceedings / Juha Kärkkäinen ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIII, 454 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: Symposium on Combinatorial Pattern Matching ; 23 (Helsinki, Finland) : 2012.07.03-05 (Lecture notes in computer science ; 7354) ISBN 3-642-31264-0=978-3-642-31264-9 = 978-3-642-31265-6 Computational issues in... Signatur: 2925-0802 Computational issues in fluid construction grammar : a new formalism for the representation of lexicons and grammars / Luc Steels (ed.). - Heidelberg [u.a.]: Springer, 2012. - X, 330 S. : Ill ; 235 mm x 155 mm (Lecture notes in computer science ; 7249 : Lecture notes in artificial intelligence) ISBN 3-642-34119-5=978-3-642-34119-9 = 978-3-642-34120-5 Computer aided... Signatur: 2922-5086 Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings / P. Madhusudan ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XVI, 789 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference on Computer-Aided Verification ; 24 (Berkeley, Calif.) : 2012.07.07-13 (Lecture notes in computer science ; 7358) ISBN 3-642-31423-6=978-3-642-31423-0 = 978-3-642-31424-7 Controlled natural... Signatur: 2922-0913 Controlled natural language : second international workshop, CNL 2010, Marettimo Island, Italy, September 13 - 15, 2010 ; revised papers / Michael Rosner ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - VI, 193 S. : Ill., graph. Darst ; 24 cm Kongr.: International Workshop on Controlled Natural Language ; 2 (Marettimo Island, Italy) : 2010.09.13-15 (Lecture notes in computer science ; 7175 : Lecture notes in artificial intelligence) ISBN 3-642-31174-1=978-3-642-31174-1 = 978-3-642-31175-8 Coordination models and... Signatur: 2922-0133 Coordination models and languages : 14th international conference, COORDINATION 2012, Stockholm, Sweden, June 14 - 15, 2012 ; proceedings / Marjan Sirjani (ed.). - Heidelberg [u.a.]: Springer, 2012. - XIV, 276 S. : graph. Darst ; 24 cm Kongr.: Coordination 2012 ; 14 (Stockholm) : 2012.06.13-14 (Lecture notes in computer science ; 7274) ISBN 3-642-30828-7=978-3-642-30828-4 = 978-3-642-30829-1 Correct reasoning :... Signatur: 2922-0353 Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz / Esra Erdem ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XI, 594 S. : graph. Darst ; 24 cm (Lecture notes in computer science ; 7265 : Festschrift) ISBN 3-642-30742-6=978-3-642-30742-3 = 978-3-642-30743-0 Cyber-physical systems :... Signatur: 2921-2882 Cyber-physical systems : Innovationsmotor für Mobilität, Gesundheit, Energie und Produktion / Acatech (Hrsg.). [Red.: Ariane Hellinger; Linda Tönskötter]. - Berlin [u.a.]: Springer, 2011. - 44 S. : graph. Darst ; 26 cm (Acatech Position) ISBN 3-642-27566-4=978-3-642-27566-1 Design and analysis of... Signatur: 2925-0572 Design and analysis of algorithms : first mediterranean conference on algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3 - 5, 2012 ; proceedings / Guy Even ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - X, 260 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: Mediterranean Conference on Algorithms ; 1 (Kibbutz Ein Gedi) : 2012.12.03-05 (Lecture notes in computer science ; 7659) ISBN 3-642-34861-0=978-3-642-34861-7 = 978-3-642-34862-4 Diagrammatic... Signatur: 2922-0942 Diagrammatic representation and inference : 7th international conference, Diagrams 2012, Canterbury, UK, July 2 - 6, 2012 ; proceedings / Philip Cox ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIII, 358 S. : Ill., graph. Darst ; 24 cm Kongr.: International conference on the Theory and Application of Diagrams ; 7 (Canterbury) : 2012.07.02-06 (Lecture notes in computer science ; 7352 : Lecture notes in artificial intelligence) ISBN 3-642-31222-5=978-3-642-31222-9 = 978-3-642-31223-6 Distributed applications... Signatur: 2922-0340 Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference, DAIS 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings / Karl Michael Göschka; Seif Haridi (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIII, 246 S. : graph. Darst ; 24 cm Kongr.: DAIS 2012 ; 12 (Stockholm) : 2012.06.13-16 (Lecture notes in computer science ; 7272) ISBN 3-642-30822-8=978-3-642-30822-2 = 9783-642-30823-9 Energy efficient data... Signatur: 2925-0899 Energy efficient data centers : first international workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 ; revised selected papers / Jyrki Huusko ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 152 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Workshop on Energy-Efficient Data Centers ; 1 (Madrid) : 2012.05.08 (Lecture notes in computer science ; 7396) ISBN 3-642-33644-2=978-3-642-33644-7 = 978-3-642-33645-4 Experimental algorithms :... Signatur: 2922-0146 Experimental algorithms : 11th international symposium, SEA 2012, Bordeaux, France, June 7 - 9, 2012 ; proceedings / Ralf Klasing (ed.). - Heidelberg [u.a.]: Springer, 2012. - XIII, 406 S. : Ill., graph. Darst ; 24 cm Kongr.: SEA 2012 ; 11 (Bordeaux) : 2012.06.07-09 (Lecture notes in computer science ; 7276) ISBN 3-642-30849-X=978-3-642-30849-9 = 978-3-642-30850-5 Formal techniques for... Signatur: 2922-0162 Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings / Holger Giese ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 267 S. : graph. Darst ; 24 cm Kongr.: FMOODS/FORTE 2012 ; 14 (Stockholm) : 2012.06.13-16 (Lecture notes in computer science ; 7273) ISBN 3-642-30792-2=978-3-642-30792-8 = 978-3-642-30793-5 Haptics: perception,... Haptics: perception, devices, mobility, and communication : International Conference, EuroHaptics 2012, Tampere, Finland, June 13 - 15, 2012 ; proceedings / Poika Isokoski ... (eds.). - Heidelberg [u.a.]: Springer, 2012 Kongr.: EuroHaptics ; (Tampere, Finland) : 2012.06.13-15 (Lecture notes in computer science ; ..) Pt. 1 : Signatur: 2922-5057 Lecture notes in computer science ; 7282. - 2012. - XX, 650 S. : Ill., graph. Darst ; 235 mm x 155 mm Pt. 2 : Signatur: 2922-5060 Lecture notes in computer science ; 7283. - 2012. - XX, 226 S. : Ill., graph. Darst ; 235 mm x 155 mm How the world computes :... Signatur: 2922-0298 How the world computes : Turing Centenary conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18 - 23, 2012 ; proceedings / S. Barry Cooper ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XVIII, 756 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: Conference on Computability in Europe ; 8 (Cambridge, UK) : 2012.06.18-23 (Lecture notes in computer science ; 7318) ISBN 3-642-30869-4=978-3-642-30869-7 = 978-3-642-30870-3 Implementation and... Signatur: 2925-0815 Implementation and application of functional languages : 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3 - 5, 2011 ; revised selected papers / Andy Gill ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - VI, 180 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Symposium on Implementation and Application of Functional Languages ; 23 (Lawrence, Kan.) : 2011.10.03-05 (Lecture notes in computer science ; 7257) ISBN 3-642-34406-2=978-3-642-34406-0 = 978-3-642-34407-7 Integrated formal methods... Signatur: 2922-0285 Integrated formal methods : 9th international conference, IFM 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings / John Derrick ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 360 S. : Ill., graph. Darst ; 24 cm Kongr.: International Conference on Integrated Formal Methods ; 9 (Pisa, Italy) : 2012.06.18-21 (Lecture notes in computer science ; 7321) ISBN 3-642-30728-0=978-3-642-30728-7 = 978-3-642-30729-4 Intelligent computer... Signatur: 2922-5099 Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 ; proceedings / Johan Jeuring ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XVIII, 471 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference AISC ; 11 (Bremen) : 2012.07.08-13 (Lecture notes in computer science ; 7362 : Lecture notes in artificial intelligence) ISBN 3-642-31373-6=978-3-642-31373-8 = 978-3-642-31374-5 Intelligent tutoring... Signatur: 2922-0366 Intelligent tutoring systems : 11th international conference, ITS 2012, Chania, Crete, Greece, June 14 - 18, 2012 ; proceedings / Stefano A. Cerri ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XXXIV, 726 S. : Ill., graph. Darst ; 24 cm Kongr.: ITS ; 11 (Chania) : 2012.06.14-18 (Lecture notes in computer science ; 7315) ISBN 3-642-30949-6=978-3-642-30949-6 = 978-3-642-30950-2 Internet privacy : eine... Signatur: 2925-8998 Internet privacy : eine multidisziplinäre Bestandsaufnahme ; a multidisciplinary analysis / Johannes Buchmann (Hrsg.). - Berlin [u.a.]: Springer Vieweg, 2012. - 327 S. : graph. Darst ; 260 mm x 193 mm (acatech STUDIE) ISBN 3-642-31942-4=978-3-642-31942-6 = 978-3-642-31943-3 Lecture notes in computer... Signatur: 2922-5073 Lecture notes in computer science ; 7367. - Heidelberg [u.a.]: Springer, 2012. - XXV, 683 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Symposium on Neural Networks ; 9 (Shenyang, China) : 2012.07.11-14 (Lecture notes in computer science ; 7367) In: Advances in Neural Networks - ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11 - 14, 2012 ; proceedings / Jun Wang ... (eds.) ; Pt. I Law, Averill M.: Signatur: 2926-3446 Simulation modeling and analysis / Averill M. Law. - 4. ed., internat. ed. Boston, Mass. [u.a.]: McGraw-Hill, 2007. - XIX, 768 S. : Ill., graph. Darst & 1 CD-ROM (12 cm) (McGraw Hill series in industrial engineering and management science) URL: http://www.gbv.de/dms/ilmenau/toc/54369156X.PDF ISBN 0-07-125519-2=978-0-07-125519-6 = 007-125519-D=978-007-125519-D Logic-based program... Signatur: 2925-0598 Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18 - 20, 2011 ; revised selected papers / Germán Vidal (ed.). - Heidelberg [u.a.]: Springer, 2012. - X, 252 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Symposium on Logic-Based Program Synthesis and Transformation ; 21 (Odense) : 2011.07.18-20 (Lecture notes in computer science ; 7225) ISBN 3-642-32210-7=978-3-642-32210-5 = 978-3-642-32211-2 Motion in games : 5th... Signatur: 2925-0491 Motion in games : 5th international conference, MIG 2012, Rennes, France, November 15 - 17, 2012 ; proceedings / Marcelo Kallmann ... (eds.). - Berlin [u.a.]: Springer, 2012. - XII, 384 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference on Motion in Games ; 5 (Rennes) : 2012.11.15-17 (Lecture notes in computer science ; 7660) ISBN 3-642-34709-6=978-3-642-34709-2 = 978-3-642-34710-8 Multi-agent systems : 9th... Signatur: 2925-0909 Multi-agent systems : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011 ; revised selected papers / Massimo Cossentino ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 258 S. ; 235 mm x 155 mm Kongr.: European Workshop on Multi-Agent Systems ; 9 (Maastricht) : 2011.11.14-15 (Lecture notes in computer science ; 7541) ISBN 3-642-34798-3=978-3-642-34798-6 = 978-3-642-34799-3 Multicore software... Signatur: 2922-0971 Multicore software engineering, performance, and tools : international conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012 ; proceedings / Victor Pankratius ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - VIII, 93 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference on Multicore Software Engineering, Performance, and Tools ; (Prague, Czech Republic) : 2012.05.31-06.01 (Lecture notes in computer science ; 7303) ISBN 3-642-31201-2=978-3-642-31201-4 = 978-3-642-31202-1 multivariate algorithmic... Signatur: 2922-0214 ¬The¬ multivariate algorithmic revolution and beyond : essays dedicated to Michael R. Fellows on the occasion of his 60th birthday / Hans L. Bodlaender ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XXX, 496 S. : Ill., graph. Darst (Lecture notes in computer science ; 7370 : Festschrift) ISBN 978-3-642-30890-1 = 978-3-642-30891-8 Natural language... Signatur: 2922-0887 Natural language processing and information systems : 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26 - 28, 2012 ; proceedings / Gosse Bouma ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XV, 398 S. : Ill., graph. Darst ; 24 cm Kongr.: International Conference on Applications of Natural Language to Information Systems ; 17 (Groningen, The Netherlands) : 2012.06.26-28 (Lecture notes in computer science ; 7337) ISBN 3-642-31177-6=978-3-642-31177-2 = 978-3-642-31178-9 OpenMP in a heterogeneous... Signatur: 2922-0337 OpenMP in a heterogeneous world : 8th international workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11 - 13, 2012 ; proceedings / Barbara M. Chapman ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XI, 280 S. : Ill., graph. Darst ; 24 cm Kongr.: International Workshop on OpenMP ; 8 (Rome, Italy) : 2012.06.11-13 (Lecture notes in computer science ; 7312) ISBN 3-642-30960-7=978-3-642-30960-1 = 978-3-642-30961-8 Optimizing apparent... Optimizing apparent display resolution enhancement for arbitrary videos / Michael Stengel; Martin Eisemann [Hrsg.]; Stephan Wenger [Hrsg.]; Benjamin Hell [Hrsg.]; Marcus Magnor [Hrsg.]. - [Elektronische Ressource] Braunschweig: Computer Graphics Lab, 2013. - Online Ressource (PDF-Datei: 28 S.) (Technical Report // Computer Graphics Lab, TU Braunschweig ; 2013 2 18) URL: http://www.digibib.tu-bs.de/?docid=000488937901 06-02-13; 1030/00847903 06-02-13 14:51:09.0007800 1363371177 Lecture notes in computer... Signatur: 2925-0611 Lecture notes in computer science ; 7650 / Philippe Cudré-Mauroux [Hrsg.]. - Heidelberg [u.a.]: Springer, 2012. - XXX, 467 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Semantic Web Conference ; 11 (Boston, Mass.) : 2012.11.11-15 (Lecture notes in computer science ; 7650) In: ¬The¬ semantic web - ISWC 2012 : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012 ; proceedings / Philippe Cudré-Mauroux ... ; Pt. 2 Lecture notes in computer... Signatur: 2922-5057 Lecture notes in computer science ; 7282. - Heidelberg [u.a.]: Springer, 2012. - XX, 650 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: EuroHaptics ; (Tampere, Finland) : 2012.06.13-15 (Lecture notes in computer science ; 7282) In: Haptics: perception, devices, mobility, and communication : International Conference, EuroHaptics 2012, Tampere, Finland, June 13 - 15, 2012 ; proceedings / Poika Isokoski ... (eds.) ; Pt. 1 Lecture notes in computer... Signatur: 2922-5060 Lecture notes in computer science ; 7283. - Heidelberg [u.a.]: Springer, 2012. - XX, 226 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: EuroHaptics ; (Tampere, Finland) : 2012.06.13-15 (Lecture notes in computer science ; 7283) In: Haptics: perception, devices, mobility, and communication : International Conference, EuroHaptics 2012, Tampere, Finland, June 13 - 15, 2012 ; proceedings / Poika Isokoski ... (eds.) ; Pt. 2 Post, Uwe: Signatur: 2926-0290 Android-Apps entwickeln : [für Programmiereinsteiger geeignet ; eine Spiele-App von A bis Z ; Schritt für Schritt zu eigenen Apps und Spielen ; inkl. Craskurs zu Java und OOP ; Animation, Sounds, Zeichnen, Bewegungssensoren, Kamera, Highscores u.v.m.] / Uwe Post. - 2., aktualisierte und erw. Ausg Bonn: Galileo Press, 2012. - 395 S. : Ill., graph. Darst ; 23 cm & 1 DVD-ROM (12 cm) (Galileo computing) ISBN 3-8362-1947-6=978-3-8362-1947-1 Product-focused software... Signatur: 2922-0311 Product-focused software process improvement : 13th international conference, PROFES 2012, Madrid, Spain, June 13 - 15, 2012 ; proceedings / Oscar Dieste ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XVI, 378 S. : Ill., graph. Darst ; 24 cm Kongr.: International Conference on Product-Focused Software Process Improvement ; 13 (Madrid, Spain) : 2012.06.13-15 (Lecture notes in computer science ; 7343) ISBN 3-642-31062-1=978-3-642-31062-1 = 978-3-642-31063-8 Sakarovitch, Jacques ¬<1947->: Signatur: 2926-3718 [Éléments de théorie des automates <engl.>] Elements of automata theory / Jacques Sakarovitch. Transl. by Reuben Thomas. - Cambridge [u.a.]: Cambridge Univ. Press, 2009. - XXIV, 758 S. : graph. Darst URL: http://www.zentralblatt-math.org/zmath/en/search/?an=1188.68177 =M DE-601 =N ZBM =Q pdf/application =V 2011-01-26 =3 01-Q--GBV-B--1 ISBN 978-0-521-84425-3 Schlickling, Marc: Signatur: 2925-7669 Timing Model Derivation : Static Analysis of Hardware Description Languages / Marc Schlickling. - Berlin: epubli GmbH, 2013. - 248 S. ; 210 mm x 148 mm, 383 g ISBN 3-8442-4513-8=978-3-8442-4513-4 Scientific and... Signatur: 2922-0900 Scientific and statistical database management : 24th international conference, SSDBM 2012, Chania, Crete, Greece, June 25 - 27, 2012 ; proceedings / Anastasia Ailamaki ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XVII, 654 S. : Ill., graph. Darst ; 24 cm Kongr.: International Conference on Scientific and Statistical Database Managment ; 24 (Chania, Crete, Greece) : 2012.06.25-27 (Lecture notes in computer science ; 7338) ISBN 3-642-31234-9=978-3-642-31234-2 = 978-3-642-31235-9 Search computing :... Signatur: 2925-0585 Search computing : broadening web search / Stefano Ceri ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 254 S. : Ill., graph. Darst ; 235 mm x 155 mm (Lecture notes in computer science ; 7538) ISBN 3-642-34212-4=978-3-642-34212-7 = 978-3-642-34213-4 Sedgewick, Robert ¬<1946->: Signatur: 2926-5169 ¬An¬ introduction to the analysis of algorithms / Robert Sedgewick; Philippe Flajolet. - 2. ed. Upper Saddle River, NJ [u.a.]: Addison-Wesley, 2013. - XVII, 572 S. : graph. Darst ISBN 0-321-90575-X=978-0-321-90575-8 semantic web : joint... Signatur: 2922-0175 ¬The¬ semantic web : joint international semantic technology conference, JIST 2011, Hangzhou, China, December 4 - 7, 2011 ; proceedings / Jeff Z. Pan ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIII, 436 S. : Ill., graph. Darst ; 24 cm Kongr.: Joint International Semantic Technology Conference ; (Hangzhou, China) : 2011.12.04-07 (Lecture notes in computer science ; 7185) ISBN 3-642-29922-9=978-3-642-29922-3 = 978-3-642-29923-0 Simulated evolution and... Signatur: 2925-0556 Simulated evolution and learning : 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16 - 19, 2012 ; proceedings / Lam Thu Bui ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIII, 512 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: Simulated Evolution and Learning Conference ; 9 (Hanoi) : 2012.12.16-19 (Lecture notes in computer science ; 7673) ISBN 3-642-34858-0=978-3-642-34858-7 = 978-3-642-34859-4 Software service and... Signatur: 2922-0159 Software service and application engineering : essays dedicated to Bernd Krämer on the occasion of his 65th birthday / Maritta Heisel (ed.). - Heidelberg [u.a.]: Springer, 2012. - XVIII, 179 S. : Ill., graph. Darst ; 24 cm (Lecture notes in computer science ; 7365 : Services science) (Festschrift) ISBN 3-642-30834-1=978-3-642-30834-5 = 978-3-642-30835-2 Structural information... Signatur: 2922-0955 Structural information and communication complexity : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012 ; proceedings / Guy Even ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XIX, 340 S. : Ill., graph. Darst Kongr.: International Colloquium on Structural Information and Communication Complexity ; 19 (Reykjavik, Iceland) : 2012.06.30-07.02 (Lecture notes in computer science ; 7355) ISBN 3-642-31103-2=978-3-642-31103-1 = 978-3-642-31104-8 Trust and trustworthy... Signatur: 2922-0243 Trust and trustworthy computing : 5th international conference, TRUST 2012, Vienna, Austria, June 13 - 15, 2012 ; proceedings / Stefan Katzenbeisser ... (eds.). - Heidelberg [u.a.]: Springer, 2012. - XII, 339 S. : Ill., graph. Darst ; 24 cm Kongr.: International Conference on Trust and Trustworthy Computing ; 5 (Vienna, Austria) : 2012.06.13-15 (Lecture notes in computer science ; 7344) ISBN 3-642-30920-8=978-3-642-30920-5 = 978-3-642-30921-2 Ubiquitous computing and... Signatur: 2925-4756 Ubiquitous computing and ambient intelligence : 6th international conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3 - 5, 2012 ; proceedings / José Bravo ... (eds.). - Berlin [u.a.]: Springer, 2012. - XIX, 523 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: International Conference on Ubiquitous Computing and Ambient Intelligence ; 6 (Vitoria-Gasteiz) : 2012.12.03-05 (Lecture notes in computer science ; 7656) ISBN 3-642-35376-2=978-3-642-35376-5 = 978-3-642-35377-2 Vollmar, Roland: Konrad Zuses Universum / von Roland Vollmar. - 2011. - URL: http://www.digibib.tu-bs.de/?docid=000489877901 06-02-13; 1030/00847903 06-02-13 15:26:29.0007800 1363380796 Weschkalnies, Nick: Signatur: 2926-0274 Adobe Flash CS6 : das umfassende Handbuch ; [von den Grundlagen zu den professionellen Flash-Film ; Animation, Zeichnen, Spieleprogrammierung, ActionScript 3 u. v. m. ; Einführung in die Entwicklung für iOS, Android und HTML5] / Nick Weschkalnies ; Rojahn Ahmadi ; Ilya Shabanov ; Ilya Shabanov. - 1. Aufl. Bonn: Galileo Press, 2013. - 957 S. : Ill., graph. Darst ; 175 mm x 240 mm & 1 DVD-ROM (12 cm) (Galileo Design) (Edition PAGE) ISBN 3-8362-1888-7=978-3-8362-1888-7 Winter, Rainer ¬<1960->: Signatur: 2904-2832 Widerstand im Netz : zur Herausbildung einer transnationalen Öffentlichkeit durch netzbasierte Kommunikation / Rainer Winter. (Unter Mitarb. von Sonja Kutschera-Groinig). - Bielefeld: Transcript, 2010. - 165 S. : Ill., graph. Darst ; 225 mm x 135 mm, 181 gr (Cultural studies ; 21) URL: http://www.gbv.de/dms/ilmenau/toc/51329080X.PDF ISBN 3-89942-555-3=978-3-89942-555-0 Wöckel, Stephan: Signatur: 2919-4832 Internet in der Grundschule : medienpädagogische und -didaktische Grundlagen / von Stephan Wöckel. - 1. Aufl Leipzig [u.a.]: Ernst-Klett-Grundschulverl., c 2002. - 223 S. : graph. Darst ; 24 cm (Klett Grundschule) URL: http://www.dandelon.com/intelligentSEARCH.nsf/alldocs/F9CE4CE039D2E047C12571B80 ISBN 3-12-196211-6 Wösten, André: Signatur: 1451-7246 Joomla! 3 : das umfassende Training ; in 9 Stunden zur eigenen Website mit Joomla! - inkl. Joomla! und sämtlicher Software auf DVD / Ihr Trainer: André Wösten. - 1. Aufl. Bonn: Galileo Press, 2013. - 1 DVD-ROM : farb ; 12 cm, in Behältnis 19 x 14 x 3 cm & 1 Beil. (17 S.) (Video Training) (Galileo computing) In: - inkl. Joomla! und sämtlicher Software auf DVD / Ihr Trainer: André Wösten Lecture notes in computer... Signatur: 2922-0201 Lecture notes in computer science ; 7331 / Ying Tan [Hrsg.]. - Heidelberg [u.a.]: Springer, 2012. - XXV, 623 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: ICSI 2012 ; 3 (Shenzhen) : 2012.06.17-20 (Lecture notes in computer science ; 7331) In: Advances in swarm intelligence : third international conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 ; proceedings / Ying Tan ... (ed.) ; Pt. 1 Lecture notes in computer... Signatur: 2922-0191 Lecture notes in computer science ; 7332 / Ying Tan [Hrsg.]. - Heidelberg [u.a.]: Springer, 2012. - XXV, 607 S. : Ill., graph. Darst ; 235 mm x 155 mm Kongr.: ICSI 2012 ; 3 (Shenzhen) : 2012.06.17-20 (Lecture notes in computer science ; 7332) In: Advances in swarm intelligence : third international conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 ; proceedings / Ying Tan ... (ed.) ; Pt. 2 Dummer, Georg ¬<1975->: Signatur: 4562-2278 Modellgetriebene Softwareentwicklung eingebetteter Systeme : Methodik, Metamodelle, Beispiele / von Georg Dummer. - 2012. - 4, IV, 237 S. : Ill., graph. Darst., Notenbeisp Karlsruhe, 2012 Eckert, Kai ¬<1978->: Signatur: 4560-9712 Usage-driven maintenance of knowledge organization systems / vorgelegt von Kai Eckert. - 2012. - XIV, 170 S. : graph. Darst Mannheim, 2012 Frederiksen, Annette ¬<1985->: Signatur: 4562-1004 Auslegung von miniaturisieren Flying-Spot-Laserprojektoren für eine optimale visuelle Wahrnehmung / von Annette Frederiksen. - 2012. - V, 177 S. : Ill., graph. Darst Karlsruhe, 2012 Geister, Dagi ¬<1979->: Signatur: 2925-8710 Constraint Generierung für domänenspezifische Modellierungssprachen / Dagi Geister. - Als Manuskr. gedr. Köln: DLR, 2012. - X, 251 S. : graph. Darst (Forschungsbericht // Deutsches Zentrum für Luft und Raumfahrt ; 2012,15) Hannover, 2012 Hackenberg, Linn: Signatur: 3506-8240 Maschinen als kollaborative Gesprächspartner : nutzer- und situationsorientierte Gestaltung automotiver Sprachdialogsysteme / von Linn Hackenberg. - 2013. - 258 S. : Ill., graph. Darst Braunschweig, 2013 Hackenberg, Linn: Maschinen als kollaborative Gesprächspartner : nutzer- und situationsorientierte Gestaltung automotiver Sprachdialogsysteme / von Linn Hackenberg. - Braunschweig: Univ.-Bibl., 2013. - Online-Ressource (258 S. = 2,8 MB) URL: http://www.digibib.tu-bs.de/?docid=000477997901 04-02-13; 1023/00847903 04-02-13 10:18:38.0007800 136298521X Braunschweig, 2013 Harland, Hanno Justus: Signatur: 4562-0995 Nutzung logikbasierter Verhaltensrepräsentationen zur natürlichsprachlichen Beschreibung von Videos / von Hanno Harland. - 2011. - XII, 204 S. : Ill., graph. Darst Karlsruhe, 2011 erstellt am Fr., 8. Mrz 2013, 66 Einträge |