Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Bibliographic Details
Main Author: Voronkov, Andrei
Other Involved Persons: Virbitskaite, Irina (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer 2015
ISBN:9783662468234
3662468239
9783662468227
3662468220
Series:Lecture notes in computer science 8974
Physical Description:Online-Ressource (XIII, 415 p. 106 illus, online resource)
DOI:10.1007/978-3-662-46823-4
Subjects:
Other Editions:Show all 2 Editions
QR Code: Show QR Code
LEADER 06348cam a22012852 4500
001 1656500493
003 DE-627
005 20180729161225.0
007 cr uuu---uuuuu
008 150505s2015 xx |||||o 10| ||eng c
020 |a 9783662468234  |9 978-3-662-46823-4 
024 7 |a 10.1007/978-3-662-46823-4  |2 doi 
035 |a (DE-627)1656500493 
035 |a (DE-576)430177003 
035 |a (DE-599)BSZ430177003 
035 |a (OCoLC)908701882 
035 |a (DE-He213)978-3-662-46823-4 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE 
050 0 |a QA76.9.L63  |a QA76.5913  |a QA76.63 
082 0 |a 005.1015113 
084 |a UM  |2 bicssc 
084 |a UYF  |2 bicssc 
084 |a COM051000  |2 bisacsh 
084 |a COM036000  |2 bisacsh 
100 1 |a Voronkov, Andrei  |0 (DE-627)1239072783  |0 (DE-576)169072789 
245 1 0 |a Perspectives of System Informatics  |b 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers  |c edited by Andrei Voronkov, Irina Virbitskaite 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2015 
300 |a Online-Ressource (XIII, 415 p. 106 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 8974 
490 0 |a SpringerLink  |a Bücher 
591 |a ZRED: Sacherschließungsdaten maschinell aus paralleler Ausg. übernommen ; IMD-Felder und 1131 maschinell ergänzt (SWB) 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer Science 
655 7 |a Konferenzschrift  |y 2014  |z Sankt Petersburg  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4196735-5  |0 (DE-627)105201693  |0 (DE-576)210109750  |a Theoretische Informatik  |2 gnd 
689 0 |5 DE-101 
689 1 0 |D s  |0 (DE-588)4076370-5  |0 (DE-627)106083031  |0 (DE-576)20920169X  |a Programmierung  |2 gnd 
689 1 1 |D s  |0 (DE-588)4116522-6  |0 (DE-627)104616369  |0 (DE-576)209502258  |a Softwareentwicklung  |2 gnd 
689 1 2 |D s  |0 (DE-588)4126945-7  |0 (DE-627)104636866  |0 (DE-576)209589426  |a Systementwicklung  |2 gnd 
689 1 |5 DE-101 
700 1 |a Virbitskaite, Irina  |e hrsg  |4 edt 
776 1 |z 9783662468227  |9 978-3-662-46822-7 
776 0 8 |i Druckausg.  |t Perspectives of system informatics  |d Heidelberg : Springer, 2015  |h XIII, 414 S  |w (DE-627)820096199  |w (DE-576)445109807  |z 3662468220  |z 9783662468227 
830 0 |a Lecture notes in computer science  |v 8974  |9 8974  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349 
856 4 0 |u https://doi.org/10.1007/978-3-662-46823-4  |x Verlag  |3 Volltext 
856 4 2 |u http://swbplus.bsz-bw.de/bsz430177003cov.htm  |m V:DE-576;X:springer  |q image/jpeg  |v 20160801121036  |3 Cover 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a GBV_ILN_2003 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a GBV_ILN_2005 
912 |a GBV_ILN_2006 
912 |a GBV_ILN_2007 
912 |a GBV_ILN_2009 
912 |a GBV_ILN_2014 
912 |a GBV_ILN_2015 
912 |a GBV_ILN_2017 
912 |a GBV_ILN_2021 
912 |a GBV_ILN_2034 
912 |a GBV_ILN_2055 
912 |a GBV_ILN_2057 
912 |a GBV_ILN_2059 
912 |a GBV_ILN_2061 
912 |a GBV_ILN_2068 
912 |a GBV_ILN_2149 
912 |a GBV_ILN_2455 
951 |a BO 
980 |2 2003  |1 01  |b 3388212414  |k Elektronischer Volltext - Universitätslizenz  |x 20076  |y l01  |z 18-04-15 
980 |2 2005  |1 01  |b 3388212635  |e n  |x 21355  |y l01  |z 18-04-15 
980 |2 2006  |1 01  |b 3388212821  |x 20301  |y l01  |z 18-04-15 
980 |2 2007  |1 01  |b 3388212902  |e n  |x 20302  |y l01  |z 18-04-15 
980 |2 2009  |1 03  |b 3388212953  |x 20354  |y l03  |z 17-01-17 
980 |2 2014  |1 01  |b 3388213003  |e n  |x 20592  |y l01  |z 18-04-15 
980 |2 2014  |1 02  |b 3388213011  |e n  |x 20592  |y l02  |z 18-04-15 
980 |2 2015  |1 01  |b 3388213062  |e p  |k Campuslizenz  |x 20593  |y l01  |z 18-04-15 
980 |2 2017  |1 01  |b 3388213119  |k Besitznachweis BSZ nur für Dateneinspielung, keine echte Lizenz vorhanden  |x 21738  |y l01  |z 18-04-15 
980 |2 2021  |1 01  |b 338821316X  |k Springer Lecture Notes in Computer Science  |x 20731  |y l01  |z 18-04-15 
980 |2 2034  |1 01  |b 3388213208  |d eBook  |k Zugriff von allen im Hochschulnetz befindlichen Rechnern; Hochschulangehörige können auch über VPN von außerhalb des Campusnetzes zugreifen  |x 20815  |y l01  |z 18-04-15 
980 |2 2055  |1 01  |b 3388213275  |d Springer E-Book  |e n  |k Campuslizenz  |x 21500  |y l01  |z 18-04-15 
980 |2 2057  |1 01  |b 338821333X  |e n  |k Campuslizenz  |x 20832  |y l01  |z 18-04-15 
980 |2 2059  |1 01  |b 3388213372  |d eBook Springer  |k Elektronischer Volltext - Campuslizenz  |x 20834  |y l01  |z 18-04-15 
980 |2 2061  |1 01  |b 3388213437  |d eBook Springer  |e n  |k eBook, Volltext nur im Campusnetz  |x 20836  |y l01  |z 08-02-16 
980 |2 2068  |1 01  |b 3388213488  |d eBook Springer  |x 21562  |y l01  |z 18-04-15 
980 |2 2149  |1 01  |b 3388213542  |d eBook Springer  |x 20900  |y l01  |z 18-04-15 
980 |2 2455  |1 01  |b 3388213577  |x 21710  |y l01  |z 18-04-15 
981 |2 2003  |1 01  |r http://www.redi-bw.de/start/unifr/EBooks-springer/10.1007/978-3-662-46823-4 
981 |2 2005  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2006  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2007  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2009  |1 03  |r http://primo-49man.hosted.exlibrisgroup.com/openurl/MAN/MAN_UB_service_page?u.ignore_date_coverage=true&rft.mms_id=9918335795502561 
981 |2 2014  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2014  |1 02  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2015  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2021  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2034  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2055  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2057  |1 01  |y HTWK-Zugang  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2059  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2061  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2068  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
981 |2 2149  |1 01  |r http://dx.doi.org/10.1007/978-3-662-46823-4 
983 |2 2034  |1 01  |8 00  |0 (DE-627)1329532325  |a eBOOK