Navigation überspringen
Universitätsbibliothek Heidelberg
Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.
Neue Suche
+ Optionen
+ Suchhistorie (1 Recherche)
RSSDrucker
Suchfilter: nur Online-Angebote x 
Folder
Sortierung: 
Kein Fach bevorzugen

Treffer einschränken:

- Jahr
 bis  
- Einrichtung
- Sprache
 
- Datenträger
- Dokumenttyp
- Fach
- Schlagwort
- Geographischer Bezug
- Person
1. Brandau, Christoph: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets / Christoph Brandau. -
Wiesbaden: Springer Vieweg, [2019]. - Online-Ressource (XXXI, 281 Seiten) : Illustrationen, Diagramme, ISBN 978-3-658-25244-1
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-25244-1
Themen: Bedingungs-Ereignis-System | Digitalschaltung | Hardwareverifikation | Implementierung <Informatik> | Petri-Netz | Schaltungsentwurf | Schaltungslogik | Theoretische Informatik | Transformation | VHDL | Validierung
Online-Ressource 
→ Ähnliche Titel suchen   
2. Honsel, Kai: Integrated Usage Mining : Eine Methode zur Analyse des Benutzerverhaltens im Web / von Kai Honsel. -
Wiesbaden: Gabler Verlag, 2012. - Online-Ressource (XXI, 221S. 91 Abb., 50 Abb. in Farbe, digital), ISBN 978-3-8349-6883-8
(SpringerLink : Bücher)
DOI: 10.1007/978-3-8349-6883-8
Themen: Augenfolgebewegung | Benutzerverhalten | Data Mining | Implementierung <Informatik> | Navigieren | Protokollierung | Web-Seite | Website
Online-Ressource 
→ Ähnliche Titel suchen   
3. Groß, Christoph: Professionelle Softwareauswahl und -einführung in der Logistik : Leitfaden von der Prozessanalyse bis zur Einsatzoptimierung / von Christoph Groß, Roland Pfennig. -
Wiesbaden: Springer Gabler, 2017. - Online-Ressource (XXIX, 371 S, online resource), ISBN 978-3-658-14727-3
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-14727-3
Themen: Beschaffungspolitik | Implementierung <Informatik> | Informationsmanagement | Logistikunternehmen | Software
Online-Ressource 
→ Ähnliche Titel suchen   
4. Bagnoli, Philip: Politiques de la biodiversité: Impacts socio-économiques, enjeux et stratégies d'action des pouvoirs publics / Philip Bagnoli, Timo Goeschl et Eszter Kovacs. -
Paris: OECD Publishing, 2008. - Online-Ressource (292 p.) : ill., ISBN 978-92-64-03433-4
DOI: 10.1787/9789264034334-fr
Themen: Biodiversität | Erhaltung | Implementierung <Informatik> | Sozioökonomisches System | Umweltpolitik
Online-Ressource 
→ Ähnliche Titel suchen   
5. Wick, Thomas: Solving monolithic fluid-structure interaction problems in Arbitrary Lagrangian Eulerian coordinates with the deal.II library / Thomas Wick. -
Heidelberg: Universitätsbibliothek der Universität Heidelberg, 2011. - Online-Ressource
Themen: Finite-Elemente-Methode | Fluid-Struktur-Wechselwirkung | Implementierung <Informatik>
Online-Ressource 
→ Ähnliche Titel suchen   
6. Hermenegildo, Manuel: Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / by Manuel Hermenegildo, S.Doaitse Swierstra. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. - Online-Ressource, ISBN 978-3-540-60359-7

(SpringerLink : Bücher)
(Lecture Notes in Computer Science ; 982)
DOI: 10.1007/BFb0026808
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
7. Kuchen, Herbert: Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings / by Herbert Kuchen, S.Doaitse Swierstra. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. - Online-Ressource, ISBN 978-3-540-61756-3

(SpringerLink : Bücher)
(Lecture Notes in Computer Science ; 1140)
DOI: 10.1007/3-540-61756-6
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
8. Ershov, A.: Methods of Algorithmic Language Implementation / by A. Ershov, C.H.A. Koster. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1977. - Online-Ressource, ISBN 978-3-540-37510-4

(SpringerLink : Bücher)
(Lecture Notes in Computer Science ; 47)
DOI: 10.1007/3-540-08065-1
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
9. Hermenegildo, Manuel: Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / by Manuel Hermenegildo, Jaan Penjam. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. - Online-Ressource, ISBN 978-3-540-58402-5

(Lecture Notes in Computer Science ; 844)
(SpringerLink : Bücher)
DOI: 10.1007/3-540-58402-1
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
10. Bruynooghe, Maurice: Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings / by Maurice Bruynooghe, Jaan Penjam. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. - Online-Ressource, ISBN 978-3-540-57186-5

(Lecture Notes in Computer Science ; 714)
(SpringerLink : Bücher)
DOI: 10.1007/3-540-57186-8
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
11. Bruynooghe, Maurice: Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992. Proceedings / by Maurice Bruynooghe, Martin Wirsing. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. - Online-Ressource, ISBN 978-3-540-55844-6

(Lecture Notes in Computer Science ; 631)
(SpringerLink : Bücher)
DOI: 10.1007/3-540-55844-6
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
12. Małuszyński, Jan: Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / by Jan Maluszynski, Martin Wirsing. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. - Online-Ressource, ISBN 978-3-540-54444-9

(SpringerLink : Bücher)
(Lecture Notes in Computer Science ; 528)
DOI: 10.1007/3-540-54444-5
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
13. Deransart, Pierre: Programming Language Implementation and Logic Programming : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings / by Pierre Deransart, Jan Maluszynski. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. - Online-Ressource, ISBN 978-3-540-53010-7

(Lecture Notes in Computer Science ; 456)
(SpringerLink : Bücher)
DOI: 10.1007/BFb0024171
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
14. Deransart, Pierre: Programming Languages Implementation and Logic Programming : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / by Pierre Deransart, Bernard Lorho, Jan Maluszynski. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. - Online-Ressource, ISBN 978-3-540-50820-5

(Lecture Notes in Computer Science ; 348)
(SpringerLink : Bücher)
DOI: 10.1007/3-540-50820-1
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
15. Thayse, A.: P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms / by A. Thayse. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1984. - Online-Ressource, ISBN 978-3-540-13358-2

(SpringerLink : Bücher)
(Lecture Notes in Computer Science ; 175)
DOI: 10.1007/3-540-13358-5
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
16. Williams, J. H.: Design and Implementation of Programming Languages : Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976 / by J. H. Williams, D. A. Fisher. -
Berlin, Heidelberg: Springer Berlin Heidelberg, 1977. - Online-Ressource, ISBN 978-3-540-37260-8

(Lecture Notes in Computer Science ; 54)
(SpringerLink : Bücher)
DOI: 10.1007/BFb0021415
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
Folder
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang

© Universitätsbibliothek HeidelbergMailImpressum / Datenschutz   Design