Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0

oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München

+++ Versandkostenfreie Lieferung innerhalb Deutschlands

Haben Sie Fragen? Tel. 089/210233-0

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

JURISTISCHE LITERATUR

STUDIENLITERATUR

INFORMATIONEN

Zur Kategorie STUDIENLITERATUR

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "verification" wurden 465 Produkte gefunden

Filter

Nur Neuerscheinungen

APRESS (1)
Birkhäuser Boston (6)
Deutsche Gesellschaft für Zerstörungsfreie Prüfung (1)
Springer Berlin (225)
Springer International Publishing (59)
Springer London (23)
Springer Netherland (25)
Springer Tokyo (2)
Springer US (119)
Springer Wien (2)
tredition (1)
TUM.University Press (1)

Gebunden (93)
Kartoniert / Broschiert (368)
Kassette / Medienmix z.B. Audio und Buch (3)
Unbekannt (1)

Abdulla, Parosh Aziz Potapov, Igor (1)
Abramsky, S. Maibaum, T.S.E. (1)
Abrial, Jean-Raymond Börger, Egon Langmaack, Hans (1)
Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu (1)
Agha, Gul Danvy, Olivier Meseguer, José (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Ait Mohamed, Otmane Munoz, César Tahar, Sofiène (1)
Alfaro, Luca de Gilmore, Stephen (1)
Altenkirch, Thorsten Naraschewski, Wolfgang Reus, Bernhard (1)
Alur, Rajeev Pappas, George (1)
Antsaklis, Panos J. Kohn, Wolf Lemmon, Michael Nerode, Anil Sastry, Shankar (1)
Araki, Keijiro Galloway, Andy Taguchi, Kenji (1)
Arbab, Farhad Sirjani, Marjan (1)
Armando, Alessandro Baumgartner, Peter Dowek, Gilles (1)
Baaz, Matthias Voronkov, Andrei (1)
Baeten, Jos C.M. Mauw, Sjouke (1)
Bakker, Jacobus W. De Roever, Willem-Paul De Rozenberg, Grzegorz (1)
Bakker, Jacobus W. de Roever, Willem-Paul de Rozenberg, Grzegorz (1)
Ball, Thomas Jones, Robert B. (1)
Bandini, S. Worsch, T. (1)
Banieqbal, Behnam Barringer, Howard Pnueli, Amir (1)
Barthe, Gilles (1)
Bauer, F.L. Broy, M. (1)
Beckert, Bernhard (1)
Bemporad, Alberto Buttazzo, Giorgio C Bicchi, Antonio (1)
Berg, H.K. Giloi, W.K. (1)
Bernardo, Marco Cimatti, Alessandro (1)
Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Bertot, Yves Dowek, Gilles Hirschowitz, Andre Paulin, Christine Thery, Laurent (1)
Bertrand, Nathalie Jansen, Nils (1)
Bezhanishvili, Nick Goranko, Valentin (1)
Bibel, Wolfgang Jantke, Klaus P. (1)
Binder, Walter Bodden, Eric Löwe, Welf (1)
Bing Lu Ding-Zhu Du Sapatnekar, S. (2)
Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel (1)
Birtwistle, Graham Subrahmanyam, P.A. (1)
Bjørner, Dines Broy, Manfred Zamulin, Alexandre (1)
Blanchette, Jasmin Christian Merz, Stephan (1)
Blazy, Sandrine Chechik, Marsha (1)
Bloomfield, Robin E. Marshall, Lynn S. Jones, Roger B. (1)
Boel, R. Stremersch, Geert (2)
Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Bonsangue, Marcello M. Madelaine, Eric (1)
Borrione, Dominique Paul, Wolfgang (1)
Botterweck, Goetz Werner, Claudia (1)
Bouajjani, Ahmed Monniaux, David (1)
Brinksma, Ed Cleaveland, W. Rance Larsen, Kim G. Margaria, Tiziana Steffen, Bernhard (1)
Broy, Manfred (1)
Broy, Manfred Zamulin, Alexandre V. (1)
Bungartz, Hans-Joachim Hoppe, Ronald W. Zenger, Christoph (1)
Butler, Michael Jones, Cliff B. Romanovsky, Alexander Troubitsyna, Elena (1)
Caires, Luís (1)
Calude, Christian S. Sassone, Vladimiro (2)
Capocelli, Renato M. (1)
Carbone, Marco Petit, Jean-Marc (1)
Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark D. (1)
Catthoor, Francky Svensson, Lars-Gunnar (2)
Cavalcanti, Ana Baxter, James (2)
Cerná, Ivana Gyimóthy, Tibor Hromkovic, Juraj Jeffery, Keith Kralovic, Rastislav Vukolic, Marko Wolf, Stefan (1)
Cerone, Antonio Pihlajasaari, Pekka (1)
Chaudhuri, Swarat Farzan, Azadeh (2)
Colburn, Timothy T.R. Fetzer, J.H. Rankin, R.L. (2)
Csendes, Tibor (2)
Delgado Kloos, Carlos Breuer, P. (2)
Feijen, W.H.J. Gasteren, A.J.M. van Gries, David Misra, J. (2)
Gibbons, Jeremy (2)
Grasser, Tibor Selberherr, Siegfried (2)
Guttman, Joshua D. Wand, Mitchell (2)
Gámez, José A. Moral, Serafin Salmerón Cerdan, Antonio (2)
Göknar, Izzet Cem Sevgi, Levent (2)
Hassoun, Soha Sasao, Tsutomu (2)
Hinchey, Mike Kleinjohann, Bernd Kleinjohann, Lisa Lindsay, Peter Rammig, Franz J. Timmis, Jon Wolf, Marilyn (2)
Jain, Anil K. Flynn, Patrick Ross, Arun A. (2)
Kamareddine, F.D. (2)
Kaufmann, Matt Manolios, Panagiotis Moore, J Strother (2)
Kurshan, Robert (2)
Lin, Youn-Long Steve (2)
Lévy, Jean-Jacques Mayr, Ernst W. Mitchell, John C. (2)
Meng, Teresa H. Malik, Sharad (2)
Meyer, John-Jules Ch. Treur, Jan (4)
Miehe, Christian (2)
Müller, Matthias S. Resch, Michael M. Schulz, Alexander Nagel, Wolfgang E. (2)
Obaidat, Mohammad S. Papadimitriou, Georgios I. (2)
Ochoa, Sergio F. Roman, Gruia-Catalin (2)
Pfenning, Frank (2)
Rammig, Franz J. (2)
Ratha, N. K. Govindaraju, Venu (2)
Redmill, Felix Anderson, Tom (2)
Rouff, Christopher (2)
Sencar, Husrev T. Velastin, Sergio Nikolaidis, Nikolaos Lian, Shiguo (2)
Tari, Zahir (2)
Taylor, Brian J. (2)
Terano, T. Deguchi, H. Takadama, K. (2)
Tistarelli, Massimo Li, Stan Z. Chellappa, Rama (2)
Vafeiadis, Viktor (2)
Vermesan, Anca Coenen, Frans (2)
Vytopil, Jan (3)
Weirich, Stephanie (2)
Yi, Kwangkeun (2)

Adelman, Leonard Riedel, Sharon L. (2)
Agarwal, Ravi P. O'Regan, Donal (1)
Aldini, Alessandro Bernardo, Marco Corradini, Flavio (2)
Alford, M.W. Ansart, J.P. Hommel, G. Lamport, L. Liskov, B. Mullery, G.P. Schneider, F.B. (1)
Ashbourn, Julian (3)
Attoui, Ammar (1)
Avenhaus, R. (2)
Bachmair (1)
Barringer, Howard (1)
Bauer, F.L. Dijkstra, E.W. Gerhart, S.L. Gries, D. Griffiths, M. Guttag, J. V. Horning, J. J. Owicki, S. S. Pair, C. Partsch, H. Pepper, P. Wirsing, M. Wössner, H. (1)
Bergeron, Janick (2)
Bergeron, Janick Cerny, Eduard Hunter, Alan Nightingale, Andy (2)
Bolle, Ruud M. Connell, Jonathan H. Pankanti, Sharath Ratha, Nalini K. Senior, Andrew W. (2)
Boulé, Marc Zilic, Zeljko (2)
Bowen, Wyn Q. Elbahtimy, Hassan Hobbs, Christopher Moran, Matthew (2)
Bowman, Howard Gomez, Rodolfo (2)
Bradfield, J.C. (1)
Bradley, Aaron R. Manna, Zohar (2)
Burkart, Olaf (1)
Burnstein, Ilene (2)
Chen, Sao-Jie Lin, Guang-Huei Hsiung, Pao-Ann Hu, Yu-Hen (2)
Cho, Kikuo (2)
Chonnad, Shivakumar S. Balachander, Needamangalam B. (2)
Chopra, Shobha Srinivasan (1)
Chuat, Laurent Legner, Markus Basin, David Hausheer, David Hitz, Samuel Müller, Peter Perrig, Adrian (2)
Clavel, Manuel Durán, Francisco Eker, Steven Lincoln, Patrick Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn (1)
Cohen, Ben (2)
Cooke, D. John (1)
Drechsler, Rolf (2)
Drechsler, Rolf Becker, Bernd (2)
Drira, Khalil Martelli, Andrea Villemur, Thierry (1)
Esparza, Javier Heljanko, Keijo (2)
Fetzer, J.H. (1)
Fokkink, Wan (4)
Foster, Harry D. Krolnik, Adam C. Lacey, David J. (2)
Giese, Holger (1)
Greibach, Sheila A. (1)
Gritzalis, Dimitris A. (2)
Hachtel, Gary D. Somenzi, Fabio (2)
Hailpern, B. T. (1)
Halbwachs, Nicolas (2)
Harrison, John (1)
Hibbard, P. Hisgen, A. Rosenberg, J. Shaw, M. Sherman, M. (1)
Hooman, Jozef (1)
House, Donald (1)
Hunt, Warren A. Jr. (1)
Jordan, H.E. (2)
Kearfott, R. Baker (2)
Khoussainov, Bakhadyr Nerode, Anil (2)
Kreinovich, V. Lakeyev, A.V. Rohn, J. Kahl, P.T. (2)
Kroening, Daniel Strichman, Ofer (1)
Kropf, Thomas (2)
Kröger, Fred (1)
Laski, Janusz Stanley, William (2)
Linge, Svein Langtangen, Hans Petter (4)
Manko, David J. (1)
Manna, Zohar Pnueli, Amir (2)
McMillan, Kenneth L. (1)
Mises, Richard von Friedrichs, Kurt O. (1)
Mittra, Swapnajit (2)
Moll, Francesc Roca, Miquel (2)
Montali, Marco (1)
Müller-Olm, Markus (2)
Naumenko, Konstantin Altenbach, Holm (2)
Ol'shanskii, A.Yu. (2)
Peled, Doron A. (2)
Perlman, M. (2)
Polak, W. (1)
Reps, Thomas W. Teitelbaum, Tim (2)
Riddle, W.E. Fairley, R.E. (1)
Riis Nielson, Hanne Nielson, Flemming (1)
Schmoldt, Daniel L. Rauscher, H. Michael (2)
SCRIBNER RALSTON METZ (1)
Selvadurai, A.P.S. (4)
Sitnikovski, Boro (1)
Smith, Stewart G. Denyer, Peter B. (2)
Spear, Chris (1)
Staunstrup, Jørgen (2)
Staunstrup, Jørgen Wolf, Wayne (2)
Stirling, Colin (2)
Streicher, T. (1)
Sutherland, Stuart Mills, Don (2)
Szederkényi, Gábor Lakner, R. Gerzson, M. (2)
Tabuada, Paulo (2)
Thornton, Mitchell Aaron Drechsler, Rolf Miller, D. Michael (2)

Englisch (465)

HOME

1
2
3
4
5

Advances in Bayesian Networks

Advances in Bayesian Networks

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Advances in Bayesian Networks

Advances in Bayesian Networks

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computers and Cognition: Why Minds are not Machines

Computers and Cognition: Why Minds are not Machines

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Cyber Physical Systems. Model-Based Design

Cyber Physical Systems. Model-Based Design

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Serial-Data Computation

Serial-Data Computation

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Hybrid Systems V

Hybrid Systems V

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Simulation of Semiconductor Processes and Devices 2007

Simulation of Semiconductor Processes and Devices 2007

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model Checking Software

Model Checking Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

49,22 €*

Preise inkl. MwSt. zzgl. Versandkosten

Programming for Computations - Python

Programming for Computations - Python

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods for Components and Objects

Formal Methods for Components and Objects

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Practical Software Testing

Practical Software Testing

85,59 €*

Preise inkl. MwSt. zzgl. Versandkosten

Modelling Distributed Systems

Modelling Distributed Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

74,89 €*

Preise inkl. MwSt. zzgl. Versandkosten

Graph Transformation

Graph Transformation

51,36 €*

Preise inkl. MwSt. zzgl. Versandkosten

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Trust and Trustworthy Computing

Trust and Trustworthy Computing

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

FM8501: A Verified Microprocessor

FM8501: A Verified Microprocessor

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Layout Optimization in VLSI Design

Layout Optimization in VLSI Design

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3
4
5

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...