TU BRAUNSCHWEIG
Symbolfoto

Fachportale  


Systematik
Neuerwerbungen
Lehrbuchsammlung
Literaturempfehlungen
E-Zeitschriften
gedruckte Zeitschriften
Datenbanken
Internetquellen

Informatik
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


Dissertationen

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


[i] zuletzt aktualisiert: 08.03.2013
Email: ub@tu-bs.de