Ergebnisse der Suche nach 'ccl=se,phr:"Tutorial"' › Campusbibliothek für Informatik und Mathematik

Ergebnisse
	61.	Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004 ; revised lectures Marco Bernardo ... (Eds.) von Bernardo, Marco [Hrsg.] Corradini, Flavio [oth] International School on Formal Methods for the Design of Computer, Communication and Software Systems 4 2004 Bertinoro [oth] Reihen: Tutorial \| ; 318500 \| Lecture notes in computer science ; 3185 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11315995 Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Cover Einführung/Vorwort Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3185. Vormerken Zum Korb hinzufügen (Entfernen)
	62.	Beginning UNIX Mike Joy von Joy, Michael [aut] Reihen: ; 1 \| Tutorial guides in computing and information systems ; 1 Materialtyp: Text; Format: Druck Verlag: London Chapman & Hall 1994 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) JOY m 1994:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	63.	Network analysis methodological foundations Ulrik Brandes; Thomas Erlebach (eds.) von Brandes, Ulrik, 1968- [Hrsg.] Erlebach, Thomas [oth] Reihen: Tutorial \| ; 341800 \| Lecture notes in computer science ; 3418 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11394051 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Einführung/Vorwort Cover Inhaltstext Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Publisher description Online-Zugang Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3418. Vormerken Zum Korb hinzufügen (Entfernen)
	64.	Embedded systems design the ARTIST roadmap for research and development Bruno Bouyssounouse ... (eds.) von Bouyssounouse, Bruno [Hrsg.] Reihen: Tutorial \| ; 343600 \| Lecture notes in computer science ; 3436 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11400707 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Verlagsangaben Cover Einführung/Vorwort Inhaltsverzeichnis Online-Zugang Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3436. Vormerken Zum Korb hinzufügen (Entfernen)
	65.	Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures Marco Bernardo; Alessandro Bogliolo (ed.) von Bernardo, Marco [Hrsg.] Bogliolo, Alessandro [oth] International School on Formal Methods for the Design of Computer, Communication, and Software Systems 5 2005 Bertinoro [oth] Reihen: Tutorial \| ; 346500 \| Lecture notes in computer science ; 3465 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11419822 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Verlagsangaben Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3465. Vormerken Zum Korb hinzufügen (Entfernen)
	66.	Advanced studies in biometrics Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 ; revised selected lectures and papers Massimo Tistarelli; Josef Bigun; Enrico Grosso von Tistarelli, Massimo [Hrsg.] Bigun, Josef [oth] Grosso, Enrico [oth] Summer School on Biometrics 2003 Alghero [oth] Reihen: Tutorial \| ; 316100 \| Lecture notes in computer science ; 3161 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11493648 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltstext Cover Einführung/Vorwort Inhaltsverzeichnis Online-Zugang Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3161. Vormerken Zum Korb hinzufügen (Entfernen)
	67.	Model-based testing of reactive systems advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004] Manfred Broy ...(ed.) von Broy, Manfred, 1949- [Hrsg.] Reihen: Tutorial \| ; 347200 \| Lecture notes in computer science ; 3472 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11498490 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltstext Inhaltsverzeichnis Einführung/Vorwort Cover Zentralblatt MATH Inhaltstext Online-Zugang Table of contents Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3472. Vormerken Zum Korb hinzufügen (Entfernen)
	68.	Nonlinear speech modeling and applications advanced lectures and revised selected papers ; [presented at the 9th International Summer School "Neural Nets E. R. Caianiello" on Nonlinear Speech Processing: Algorithms and Analysis, held in Vietri sul Mare, Salerno, Italy, during September 13 - 18, 2004] Gérard Chollet; Anna Esposito ... (eds.) von Chollet, Gérard [Hrsg.] Esposito, Anna [oth] International Summer School on Neural Nets 9 2004 Vietri sul Mare [oth] Reihen: Tutorial \| ; 3445 \| Lecture notes in computer science ; 3445 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11520153 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltstext Inhaltsverzeichnis Einführung/Vorwort Cover Table of contents Online-Zugang Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 3445. Vormerken Zum Korb hinzufügen (Entfernen)
	69.	Reasoning web first International Summer School ["Reasoning Web"] 2005, Msida, Malta, July 25 - 29, 2005 ; tutorial lectures Norbert Eisinger ... (ed.) von Eisinger, Norbert, 1953- [Hrsg.] International Summer School Reasoning Web 1 2005 Msida [oth] Reihen: Tutorial \| ; 356400 \| Lecture notes in computer science ; 3564 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover Online-Zugang Table of contents Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3564. Vormerken Zum Korb hinzufügen (Entfernen)
	70.	Formal methods for components and objects third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures Frank S. de Boer ... (ed.) von Boer, Frank S. de [Hrsg.] FMCO 3 2004 Leiden [oth] Reihen: Tutorial \| ; 365700 \| Lecture notes in computer science ; 3657 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Verlagsangaben Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Online-Zugang Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3657. Vormerken Zum Korb hinzufügen (Entfernen)
	71.	Advanced functional programming 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 ; revised lectures Varmo Vene ... (eds.) von Vene, Varmo [Hrsg.] AFP 5 2004 Tartu [oth] Reihen: Tutorial \| ; 362200 \| Lecture notes in computer science ; 3622 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11546382 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Inhaltstext Cover Zentralblatt MATH Inhaltstext Publisher description Table of contents only Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3622. Vormerken Zum Korb hinzufügen (Entfernen)
	72.	Formal methods for hardware verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006 ; advanced lectures Marco Bernardo; Alessandro Cimatti (eds.) von Bernardo, Marco [Hrsg.] Cimatti, Alessandro [oth] International School on Formal Methods for the Design of Computer, Communication, and Software Systems 6 2006 Bertinoro [oth] Reihen: Tutorial \| ; 396500 \| Lecture notes in computer science ; 3965 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11757283 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Zentralblatt MATH Inhaltstext Table of contents only Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3965. Vormerken Zum Korb hinzufügen (Entfernen)
	73.	Reasoning web second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 ; tutorial lectures Pedro Barahona ... (eds.) von Barahona, Pedro [Hrsg.] Summer School Reasoning Web 2 2006 Lissabon [oth] Reihen: Tutorial \| ; 412600 \| Lecture notes in computer science ; 4126 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11837787 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Table of contents only Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4126. Vormerken Zum Korb hinzufügen (Entfernen)
	74.	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 ; revised lectures Ana Cavalcanti; Augusto Sampaio; Jim Woodcock (eds.) von Cavalcanti, Ana [Hrsg.] Sampaio, Augusto [oth] Woodcock, Jim [oth] Pernambuco Summer School on Software Engineering 1 2004 Recife [oth] Reihen: Tutorial \| ; 316700 \| Lecture notes in computer science ; 3167 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11889229 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Online-Zugang Table of contents only Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3167. Vormerken Zum Korb hinzufügen (Entfernen)
	75.	Generative and transformational techniques in software engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4 - 8, 2005 ; revised papers Ralf Lämmel; João Saraiva; Joost Visser (eds.) von Lämmel, Ralf [Hrsg.] Saraiva, João [oth] Visser, Joost [oth] GTTSE 2005 Braga [oth] Reihen: Tutorial \| ; 414300 \| Lecture notes in computer science ; 4143 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11877028 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Online-Zugang Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4143. Vormerken Zum Korb hinzufügen (Entfernen)
	76.	Resource allocation in wireless networks theory and algorithms Sławomir Stańczak; Marcin Wiczanowski; Holger Boche von Stańczak, Sławomir [aut] Wiczanowski, Marcin [aut] Boche, Holger, 1966- [aut] Reihen: Tutorial \| ; 400000 \| Lecture notes in computer science ; 4000 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11818762 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltstext Cover Einführung/Vorwort Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4000. Vormerken Zum Korb hinzufügen (Entfernen)
	77.	Software engineering eduction in the modern age software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15 - 21, 2005 ; revised lectures Paola Inverardi; Mehdi Jazayeri (eds.) von Inverardi, Paola [Hrsg.] Jazayeri, Mehdi [oth] International Conference on Software Engineering 27 2005 Saint Louis, Mo [oth] Reihen: Tutorial \| ; 430900 \| Lecture notes in computer science ; 4309 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Table of contents only Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4309. Vormerken Zum Korb hinzufügen (Entfernen)
	78.	Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures Marco Bernardo; Jane Hillston (eds.) von Bernardo, Marco [Hrsg.] Hillston, Jane [oth] International School on Formal Methods for the Design of Computer, Communication, and Software Systems 7 2007 Bertinoro [oth] Reihen: Tutorial \| ; 4486 \| Lecture notes in computer science ; 4486 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12063000 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4486. Vormerken Zum Korb hinzufügen (Entfernen)
	79.	All about Maude - a high-performance logical framework how to specify, program, and verify systems in rewriting logic Manuel Clavel ... von Clavel, Manuel [oth] Reihen: Tutorial \| ; 4350 \| Lecture notes in computer science ; 4350 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12048595 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Cover Einführung/Vorwort Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Online-Zugang Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) OD 2574, ... Vormerken Zum Korb hinzufügen (Entfernen)
	80.	All about Maude - a high-performance logical framework how to specify, program and verify systems in rewriting logic Reihen: ; 4350,CD \| Lecture notes in computer science ; 4350,CD Materialtyp: Text Sprache: Deutsch Verlag: [Berlin Heidelberg] Springer 2007 Online-Ressourcen: Cover Einführung/Vorwort Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche

Verfügbarkeit

Verfasser

Sammlungen

Aktuelle Bibliotheken

Medientypen

Standorte

Reihen

Themen

Ihre Suche erzielte 153 Treffer.