Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- applied sciences 526 Treffer
- sciences appliquees 526 Treffer
- informatique 400 Treffer
- computer science 396 Treffer
- computer science; control theory; systems 343 Treffer
-
45 weitere Werte:
- informatique; automatique theorique; systemes 343 Treffer
- logiciel 318 Treffer
- software 317 Treffer
- genie logiciel 151 Treffer
- software engineering 151 Treffer
- earth, ocean, space 148 Treffer
- terre, ocean, espace 148 Treffer
- earth sciences 139 Treffer
- sciences de la terre 139 Treffer
- geologie 129 Treffer
- geology 129 Treffer
- sciences and techniques of general use 124 Treffer
- sciences et techniques communes 124 Treffer
- verification programme 113 Treffer
- program verification 112 Treffer
- verificacion programa 112 Treffer
- ciencias de la tierra 101 Treffer
- geologia 101 Treffer
- electronics 93 Treffer
- electronique 93 Treffer
- documentation 92 Treffer
- information and communication sciences 90 Treffer
- information science. documentation 90 Treffer
- sciences de l'information et de la communication 90 Treffer
- sciences de l'information. documentation 90 Treffer
- debugging 89 Treffer
- puesta a punto programa 88 Treffer
- urss 83 Treffer
- debogage 79 Treffer
- desarrollo logicial 79 Treffer
- developpement logiciel 79 Treffer
- software development 79 Treffer
- modelisation 71 Treffer
- computer systems and distributed systems. user interface 70 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 70 Treffer
- modeling 69 Treffer
- modelizacion 68 Treffer
- informatique theorique 63 Treffer
- theoretical computing 63 Treffer
- bug 61 Treffer
- telecommunications 61 Treffer
- automatique, recherche operationnelle 60 Treffer
- bouclier d'ukraine 60 Treffer
- control theory, operational research 60 Treffer
- ukrainian shield 60 Treffer
Verlag
- springer 127 Treffer
- elsevier 58 Treffer
- association for computing machinery 57 Treffer
- acm 50 Treffer
- ieee computer society 29 Treffer
-
45 weitere Werte:
- institute of electrical and electronics engineers 23 Treffer
- spie 19 Treffer
- elsevier science 18 Treffer
- ieee 16 Treffer
- schmidt 16 Treffer
- american chemical society 13 Treffer
- oxford university press 11 Treffer
- celog 10 Treffer
- emerald 10 Treffer
- taylor & francis 10 Treffer
- american institute of physics 8 Treffer
- inderscience publishers 8 Treffer
- wiley 7 Treffer
- american physical society 6 Treffer
- blackwell 6 Treffer
- information today 6 Treffer
- palladian publications 5 Treffer
- bowker-saur 4 Treffer
- haworth press 4 Treffer
- lavoisier 4 Treffer
- naukova dumka 4 Treffer
- online 4 Treffer
- society for industrial and applied mathematics 4 Treffer
- vch 4 Treffer
- acm press 3 Treffer
- centrum voor wiskunde en informatica 3 Treffer
- edp sciences 3 Treffer
- institute for operations research and the management sciences 3 Treffer
- institute of physics 3 Treffer
- institution of engineering and technology 3 Treffer
- jmg 3 Treffer
- mcgraw-hill 3 Treffer
- national research council 3 Treffer
- pennwell 3 Treffer
- penton media 3 Treffer
- uniwersytet marii curie-sklodowskiej 3 Treffer
- us department of transportation 3 Treffer
- adbs 2 Treffer
- aiim international 2 Treffer
- american geophysical union 2 Treffer
- american institute of chemical engineers 2 Treffer
- american nuclear society 2 Treffer
- archimag 2 Treffer
- aslib 2 Treffer
- association pour la diffusion de l'information technologique 2 Treffer
Publikation
- lecture notes in computer science 93 Treffer
- acm sigplan notices 46 Treffer
- operating systems review 17 Treffer
- computer und recht (koln) 16 Treffer
- communications of the acm 12 Treffer
-
45 weitere Werte:
- spie proceedings series 12 Treffer
- acm transactions on programming languages and systems 10 Treffer
- expertises des systemes d'information 10 Treffer
- ieee software 7 Treffer
- aadebug 2000 : fourth international workshop on automated debugging (munich, 28-30 august 2000 ) 6 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 6 Treffer
- computer (long beach, ca) 6 Treffer
- ieice transactions on information and systems 6 Treffer
- information management & computer security 6 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 6 Treffer
- acm transactions on computer systems 5 Treffer
- environmental earth sciences (print) 5 Treffer
- esec/fse'05 (proceedings of the joint 10th european software engineering conference (esec) and the 13th acm sigsoft symposium on the foundations of software engineering (fse-13)) 5 Treffer
- proceedings of 2005 acm sigplan conference on programming language design and implementation, pldi'05 5 Treffer
- theoretical computer science 5 Treffer
- 12th international conference on architectural support for programming languages and operating systems, october 21-25, 2006, san jose, california 4 Treffer
- applied mathematics and computation 4 Treffer
- asplos-xii: twelfth international conference on architectural support for programming languages and operating systems, october 21-25, 2006, san jose, ca, usa 4 Treffer
- computers in libraries 4 Treffer
- environmental science & technology 4 Treffer
- gidrobiologiceskij zurnal (kiev, 1965) 4 Treffer
- ieee transactions on reliability 4 Treffer
- ieee transactions on very large scale integration (vlsi) systems 4 Treffer
- information systems management 4 Treffer
- international journal of human-computer studies 4 Treffer
- international journal of information management 4 Treffer
- liebigs annalen der chemie 4 Treffer
- online (weston, ct) 4 Treffer
- world pipelines 4 Treffer
- annales universitatis mariae curie-sklodowska. sectio b. geographia, geologia, mineralogia et petrographia 3 Treffer
- atmospheric environment (1994) 3 Treffer
- chauffage, ventilation, conditionnement d'air 3 Treffer
- computer journal (print) 3 Treffer
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 3 Treffer
- electronic design 3 Treffer
- iccad-2005 (international conference on computer aided design) 3 Treffer
- ieee transactions on knowledge and data engineering 3 Treffer
- international journal of computer applications in technology 3 Treffer
- oil & gas journal 3 Treffer
- petroleum review (london. 1968) 3 Treffer
- physical review. b, condensed matter 3 Treffer
- proceedings of eurosys2006, leuven, belgium, april 18-21, 2006 3 Treffer
- proceedings of the acm sigplan 2003 conference on programming language design and implementation ® (pldi'03), san diego, california, usa, june 9-11, 2003 3 Treffer
- proceedings of the ieee 3 Treffer
- public roads 3 Treffer
Sprache
Geographischer Bezug
822 Treffer
-
In: Computer und Recht (Köln), Jg. 15 (1999), Heft 11, S. 683-685Online academicJournalZugriff:
-
In: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 15-26KonferenzZugriff:
-
In: 12th International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, California, Jg. 41 (2006), Heft 11, S. 219-228KonferenzZugriff:
-
In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation ® (PLDI'03), San Diego, California, USA, June 9-11, Jg. 38 (2003), Heft 5, S. 141-154KonferenzZugriff:
-
In: IEICE transactions on information and systems, Jg. 95 (2012), Heft 9, S. 2202-2210academicJournalZugriff:
-
In: International journal of computer applications in technology, Jg. 44 (2012), Heft 1, S. 61-71academicJournalZugriff:
-
In: IEEE transactions on very large scale integration (VLSI) systems, Jg. 19 (2011), Heft 4, S. 559-570Online academicJournalZugriff:
-
In: 2nd Brazilian Symposium on Graphs, Algorithms and Combinatorics. GRACO 2005, Jg. 156 (2008), Heft 7, S. 986-997Online academicJournal
-
In: ACM transactions on computer systems, Jg. 25 (2007), Heft 3, S. 1-33Online academicJournalZugriff:
-
In: Science of the total environment, Jg. 407 (2009), Heft 2, S. 899-916academicJournalZugriff:
-
In: ACM SIGPLAN notices, Jg. 39 (2004), Heft 12, S. 92-106academicJournalZugriff:
-
In: International journal of information management, Jg. 19 (1999), Heft 1, S. 3-15academicJournalZugriff:
-
In: International journal of information management, Jg. 19 (1999), Heft 1, S. 3-15academicJournalZugriff:
-
In: SIAM review (Print), Jg. 39 (1997), Heft 1, S. 54-67Online academicJournalZugriff:
-
In: Journal of hydrology (Amsterdam), Jg. 519 (2014), S. 2436-2447academicJournalZugriff:
-
In: Environmental earth sciences (Print), Jg. 72 (2014), Heft 12, S. 4787-4799Online academicJournalZugriff:
-
In: Computer und Recht (Köln), Jg. 15 (1999), Heft 11, S. 680-683Online academicJournalZugriff:
-
In: Chauffage, ventilation, conditionnement d'air, 1999, Heft MAI, S. 12-16academicJournalZugriff:
-
In: Computer und Recht (Köln), Jg. 15 (1999), Heft 11, S. 680-683Online academicJournalZugriff:
-
In: Software, practice & experience, Jg. 20 (1990), Heft 2, S. 181-189academicJournalZugriff: