Showing
1 - 2
results of
2
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Din konto
Log ud
KB Login
Sprog
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Library Catalog
Keyword
Title/Journal Title
Forfatter
Fag
Klassifikationsnummer
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Find
Udvidet søgning
|
Browse
|
Søgetips
|
Repeat Search in WorldCat
Foreslåede emner:
Computer science
OG
Computer programming
OG
Compilers (Computer programs)
Forfatter:
*-*
OG
Beckert, Bernhard
Show filters (5)
Foreslåede emner:
Computer science
OG
Computer programming
OG
Compilers (Computer programs)
Forfatter:
*-*
OG
Beckert, Bernhard
Søgeresultater
Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Compilers (Computer programs)
Compilers and Interpreters
2
Computer Science Logic and Foundations of Programming
2
Computer programming
Computer science
Electronic data processing—Management
2
IT Operations
2
mere ...
Programming Techniques
2
Software Engineering
2
Software engineering
2
Formal Languages and Automata Theory
1
Machine theory
1
mindre ...
Showing
1 - 2
results of
2
for search '
'
, Forespørselstid: 0.03s
Refine Results
Resultater pr. side
20
40
60
80
100
Sortér
Relevans
Nyeste øverst
Ældste øverst
Klassifikationsnummer
Forfatter
Titel
1
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Udgivet 2011
Klassifikationsnummer:
Loading...
Findes i:
Loading...
Available in Springer Computer Science eBooks 2011 English/International.
Electronisk
eBog
Føj til favoritter
Saved in:
2
Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
Udgivet 2012
Klassifikationsnummer:
Loading...
Findes i:
Loading...
Available in Springer Computer Science eBooks 2012 English/International.
Electronisk
eBog
Føj til favoritter
Saved in:
Søgeredskaber:
”Modtag RSS Feed
—
Email denne søgning
—
Gem søgning
Back
Indsnæver søgning
Format
Electronisk
2
eBog
2
Forfatter
Beckert, Bernhard
SpringerLink (Online service)
2
Damiani, Ferruccio
1
Gurov, Dilian
1
Marché, Claude
1
Sprog
English
2
Udgivelsesår
Fra:
Til:
Loading...