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: Global change biology (Print), Jg. 16 (2010), Heft 1, S. 73-87Online academicJournalZugriff:
-
In: Chemical innovation, Jg. 31 (2001), Heft 10, S. 28-34academicJournalZugriff:
-
In: Information systems management, Jg. 18 (2001), Heft 3, S. 17-24Online academicJournalZugriff:
-
In: Information systems management, Jg. 18 (2001), Heft 3, S. 17-24Online academicJournalZugriff:
-
In: IEEE software, Jg. 25 (2008), Heft 5, S. 22-29Online academicJournalZugriff:
-
In: Operations research, Jg. 56 (2008), Heft 5, S. 1047-1065Online academicJournalZugriff:
-
In: Information processing letters, Jg. 102 (2007), Heft 2-3, S. 118-123academicJournalZugriff:
-
In: The black sea, Jg. 43 (1999), Heft 2, S. 157-171academicJournalZugriff:
-
In: European coatings journal, 2006, Heft 1-2, S. 46-49academicJournalZugriff:
-
In: European coatings journal, 2006, Heft 12, S. 28-32academicJournalZugriff:
-
In: Bioscience, biotechnology, and biochemistry, Jg. 66 (2002), Heft 6, S. 1415-1418Online academicJournalZugriff:
-
In: Knowledge-based intelligent information and engineering systems (Part I,III-IV : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005KonferenzZugriff:
-
In: Water environment & technology, Jg. 15 (2003), Heft 4, S. 63-66Online academicJournalZugriff:
-
In: IEEE transactions on reliability, Jg. 44 (1995), Heft 2, S. 315-321Online academicJournalZugriff:
-
In: Computers & security, Jg. 43 (2014)academicJournalZugriff:
-
In: Annales de la Société entomologique de France, Jg. 46 (2010), Heft 1-2, S. 100-102academicJournalZugriff:
-
In: Informatiques : enjeux, tendances et évolutions, Jg. 19 (2000), Heft 1-3, S. 75-78academicJournalZugriff:
-
In: Biocycle, Jg. 41 (2000), Heft 8, S. 33-37Online academicJournalZugriff:
-
In: Oil & gas journal, Jg. 97 (1999), Heft 7, S. 22-25Online academicJournalZugriff:
-
In: Computer (Long Beach, CA), Jg. 40 (2007), Heft 2, S. 107-109Online academicJournalZugriff: