Serie
lecture notes in computer science
(28)programming and software engineering
(12)theoretical computer science and general issues
(6)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
broy, manfred
(2)d. n. prabhakar murthy
(2)david t yeomans
(2)gabriele taentzer
(2)huisman, marieke
(2)jay l. lemke
(2)liu, shaoying
(2)marvin rausand
(2)patrick w. jordan (the contemporary trends institute, london, uk)
(2)reiko heckel
(2)rouff, christopher
(2)stephen emmitt
(2)trond Østerås
(2)zhan, naijun
(2)alain ozanne
(1)bakker, jacobus w. de
(1)barner, sharon
(1)biro, miklos
(1)bollen, peter
(1)briand, lionel
(1)bulling, nils
(1)burn, geoffrey
(1)butler, michael
(1)chaudron, michel r. v.
(1)ciuciu, ioana
(1)david faitelson
(1)david stokes
(1)debruyne, christophe
(1)duan, zhenhua
(1)dubois, catherine
(1)ehrig, hartmut
(1)emsaieb mosbah geepalla
(1)engels, gregor
(1)feng, xinyu
(1)fensel, anna
(1)fränzle, martin
(1)gay, simon
(1)gerard o'regan
(1)gordon-spears, diana f.
(1)guler ozyildiran
(1)halina podsiadlo
(1)hardy, alison
(1)harris, ian
(1)havelund, klaus
(1)hillel wayne
(1)hinchey, michael
(1)holzmann, gerard
(1)huizing, c.
(1)jamroga, wojtek
(1)jantke, klaus p.
(1)jones, cliff
(1)joshi, rajeev
(1)kapur, deepak
(1)khomenko, victor
(1)king, andy
(1)krieg-brückner, bernd
(1)kroening, daniel
(1)kundig, tom
(1)kühn, eva
(1)le metayer, daniel
(1)lemoine, michel
(1)lewis, david j.
(1)lewis, paul
(1)lynda allata
(1)mashkoor, atif
(1)maurer, christian
(1)moez krichen
(1)mohammad abdul-al-murad chowdhury
(1)müller-olm, markus
(1)nagoya, fumiko
(1)nicholls, john e.
(1)nierstrasz, oscar
(1)opdyke, bill
(1)orejas, fernando
(1)osama alkrarha
(1)panetto, hervé
(1)petrucci, laure
(1)pezzè, mauro
(1)pugliese, rosario
(1)rash, james
(1)rayadurgam, sanjai
(1)raz, orna
(1)reussner, ralf
(1)robert blackburn
(1)roever, willem-paul de
(1)roux, olivier h.
(1)rubin, julia
(1)ryan, mark
(1)sands, david
(1)schewe, klaus-dieter
(1)schmidt, douglas c.
(1)seceleanu, cristina
(1)shankar, natarajan
(1)smolka, gert
(1)sofia mellah
(1)syed moazzem hossain
(1)szyperski, clemens
(1)thouraya bouabana-tebibel
(1)thouraya tebibel
(1)tian, cong
(1)Verlag / Hersteller
crc press
(6)knv besorgung
(2)lap lambert academic publishing
(6)springer berlin heidelberg
(19)springer international publishing
(15)springer london
(6)springer, berlin springer international publishing springer
(2)taylor & francis
(5)Éditions universitaires européennes
(2)Verlag
crc press
(6)knv besorgung
(2)lap lambert academic publishing
(6)springer
(4)springer berlin heidelberg
(19)springer international publishing
(17)springer london
(6)springer, berlin
(4)taylor & francis
(5)Éditions universitaires européennes
(2)Genre
mathematik
(42)medizin
(42)naturwissenschaften
(42)technik
(42)importe
(2)recht
(2)sozialwissenschaften
(2)wirtschaft
(2)Schlagwort
specification
(70)informatik
(51)edv
(47)software engineering
(33)verification
(21)theorie
(19)software-entw.
(18)model checking
(14)formal methods
(13)programmiersprachen
(13)softwareengineering
(13)programming
(12)semantics
(12)design
(10)logic
(9)modelchecking
(9)modeling
(9)formalmethods
(8)programming language
(8)programming languages, compilers, interpreters
(8)algorithms
(7)mathematical logic and formal languages
(7)software
(7)theoretische informatik
(7)theory of computation
(7)architecture
(6)formal verification
(6)programming techniques
(6)allgemeines
(5)analysis
(5)artificial intelligence
(5)compiler
(5)embedded systems
(5)formalverification
(5)java
(5)programmieren (edv)
(5)programming languages
(5)programminglanguage
(5)refinement
(5)software engineering/programming and operating systems
(5)theorem proving
(5)complexity
(4)concurrency
(4)formal logic
(4)formal method
(4)general
(4)informatik, computer
(4)logics and meanings of programs
(4)mathematical logic and foundations
(4)mathematik
(4)model
(4)process
(4)product
(4)programmieren
(4)software architecture
(4)technology & engineering
(4)übersetzer (edv)
(4)agents
(3)algorithm
(3)bottom
(3)computer
(3)computer software selection and evaluation
(3)computers
(3)computersoftwareselectionandevaluation
(3)debugging
(3)embeddedsystems
(3)floor
(3)follow
(3)formal
(3)formalmethod
(3)graph transformation
(3)graphtransformation
(3)künstliche intelligenz
(3)language
(3)language implementation
(3)languageimplementation
(3)nguages
(3)programmentwicklung
(3)programmier- und skriptsprachen, allgemein
(3)programming systems
(3)programming theory
(3)programmingtheory
(3)real-time
(3)real-time systems
(3)reverse engineering
(3)software evaluation
(3)specific
(3)spezifikation
(3)testing
(3)1983a
(2)1988b
(2)abstraction
(2)advanced building specification techniques
(2)affective engineering
(2)algorithmus
(2)architectural detailing
(2)architektur
(2)architektur: berufliche praxis
(2)art
(2)aufrüsten, reparieren, selbstbau
(2)Erscheinungsjahr
1987
(1)1990
(1)1991
(2)1992
(2)1993
(2)1995
(2)1999
(1)2000
(2)2001
(1)2002
(2)2003
(2)2005
(2)2007
(2)2008
(5)2010
(5)2011
(2)2012
(4)2013
(1)2014
(2)2015
(3)2016
(4)2017
(5)2018
(5)2019
(4)2020
(3)2021
(1)2023
(1)2024
(3)Ergebnis: 70 Artikel
Schlagwort: specification
