Deutsch Englisch

Katalogmenü

Lesesaal- Systematik

Sachgebiete Neuerwerbungen

Speichern

Trefferanalyse

Abmelden

 
 
 
 

Benutzerausweis beantragen

Führungen

Elektronische Zeitschriften

Fernleihe

1 - 10 von 15250
vorherige Seite      nächste Seite
* Ihre Aktion  suchen [und] xpr ('ZDB-2-SCS*' OR 'ZDB-2-LNC*') OR (RTI springer ebook collection computer science) OR (xpr 'ZDB-2-*' OR xpr 'GBV-ELSEVIER-EBS' OR abr 'olr-nth*' OR abr 'acq') AND (ddc 00* OR lcc qa7*)
Online Ressourcen (ohne Zeitschr.) 1.  Artificial Intelligence and Evolutionary Computations in Engineering Systems : Proceedings of ICAIECES 2016
/ Subhransu Sekhar Dash. - Singapore : Springer Singapore, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 2.  , Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII : Special Issue on Big Data Analytics and Knowledge Discovery
/ Abdelkader Hameurlain. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 3.  , Towards Autonomous Robotic Systems : 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings
/ Yang Gao. - Cham : Springer International Publishing, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 4.  , Collaboration and Technology : 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings
/ Carl Gutwin. - Cham : Springer International Publishing, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 5.  , Collaboration Technologies and Social Computing : 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017, Proceedings
/ Takashi Yoshino. - Cham : Springer International Publishing, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 6.  , Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
/ Leonardo de Moura. - Cham : Springer International Publishing, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 7.  , Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
/ Alessandro Abate. - Cham : Springer International Publishing, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 8.  , Biomimetic and Biohybrid Systems : 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017, Proceedings
/ Michael Mangan. - Cham : Springer International Publishing, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 9.  , Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
/ Manuel V. Hermenegildo. - Cham : Springer International Publishing, 2017Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 10.  , Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
/ Rupak Majumdar. - Cham : Springer International Publishing, 2017Zusammenfassung
1 - 10 von 15250
vorherige Seite      nächste Seite
Wort   Typ   Anzahl
qa7? [LCC] LoC-Classification 15494
\zdb 2 scs? [XPR] ZDB-Sigel (Ph) 15880
springer ebook collection computer science [RTI] Serie (Phrase) 8009
gbv elsevier ebs [XPR] ZDB-Sigel (Ph) 3
\zdb 2 ? [XPR] ZDB-Sigel (Ph) ≈254646
\zdb 2 lnc? [XPR] ZDB-Sigel (Ph) 15927
00? [DDC] DDC 46352
olr-nth? [ABR] Internes Abrufzeichen 348
acq [ABR] Internes Abrufzeichen ≈4813
 
1 - 10 von 15250
vorherige Seite      nächste Seite